修正的RDP逻辑系统中的广义重言式理论

Theory of generalized tautology in revised RDP logical system

提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。

A revised RDP logic system was proposed,in which the generalized tautology was finely partitioned. A new partition of F（ S） was obtained by utilizing the concept of generalized tautologies. A variety of generalized semantic MP rules and generalized semantic HS rules were obtained in the revised RDP logic system.