命题逻辑中等价公式的证明方法探讨

On the Proof Methods of Propositional Equivalences in Propositional Logic

命题公式是命题逻辑中的基本研究对象。判定两个命题公式是否逻辑等价是一个重要问题。本文结合例题讲解,对证明两个命题公式等价的方法进行了总结,共提出六种方法,并对各种方法进行了分析和探讨。

Propositional formulas are the basic contents in propositional logic. It is an important problem to determine whether two propositional formulas are logically equivalent. The paper summarizes six methods about how to prove the equivalence of two propositional formulas by specific examples, and discusses the relations of these methods.