将修正的Kleene逻辑系统中的语义MP规则和语义HS规则推广后应用于RDP逻辑系统,讨论了RDP逻辑系统中广义重言式的广义语义MP规则和广义语义HS规则,得出在逻辑系统D1/2中,广义语义(1/2)+-MP,(1/2)+-HS,1-MP,1-HS规则成立,而广义语义1/2-MP,1/2-HS规则不成立。
The generalized semantic MP rule and generalized semantic HS rule in the revised Kleene logic system have been applied to RDP logic system. The properties of generalized semantic MP rule and generalized semantic HS rule of generalized tautologies in RDP logic system have been discussed. It is obtained that in logic system D1/2, generalized semantic rule(1/2)+-MP, (1/2)+-HS, 1-MP and 1-HS is true, but generalized semantic rule 1/2-MP,1/2-HS is not.