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

On the Proof Methods of Propositional Equivalences in Propositional Logic

作　　者：杨恒云[1] 

机构地区：[1]上海海事大学文理学院,上海

出　　处：《创新教育研究》2020年第4期442-445,共4页Creative Education Studies

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

关 键 词：命题逻辑 命题公式 逻辑等价 

分 类 号：G63[文化科学—教育学]