命题演算中逻辑推理的推导法

Derivative Methods of Logical Reasoning in Propostional Calculus

本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确。

This paper,on the basis of the equivalence and inclusion relation properties,preseuts the reasoning method in proving propositionnal calculus and gives some examples.the adoption of this method makes the logical reasoning calculus simpler,more definite and easier to master.