The Properties of a Upgrade Algorithm in the Revised RDP Logic System

By the study of the revised RDP logic system,congruence partitions about~onF( S)have been given in the revised RDP logic system.Moreover,a upgrade algorithm among generalized tautologies have been give and its properties have been discussed in the revised RDP logic system.It is proved that in the revised RDP logic system,tautologies can not be get by using upgrade algorithm to non-tautologies within finite times of upgrade algorithm.