Theory of Generalized Tautology in the System RDP
Daowu Pei · Mohu xitong yu shuxue · 2010
In this paper,the theory of generalized tautology in the Parametric RDP System is discussed.The obtained results show that in the system RDP,there are three different generalized tautologies,namely,(1/2)-tautologies,(1/2)+-tautologies and tautologies.In addition,the usefulness of the important upgrade algorithm of this system has been investigated.It is proved that the algorithm is useful to attainable 0-tautologies and attainable(1/2)-tautologies which can be upgraded to attainable(1/2)-tautologies and attainable(1/2)+-tautologies respectively.But the algorithm is useless for attainable(1/2)+-tautologies.This shows that generally speaking,tautologies can not be got necessarily from non-tautologies by using upgrade algorithm finite times.