命题逻辑中几种常见的推理证明方法

数理逻辑是《离散数学》的难点之一．其主要原因是内容比较抽象且方法较独特，加之题型以知识较广的证明题居多．而命题逻辑又是数理逻辑的基础，熟练而灵活地掌握好命题逻辑中推理证明的方法既是学习命题逻辑的重点，又会为进一步学习谓词逻辑打下良好的基础．本文结合适当的例题总结了命题逻辑中几种常见的推理证明方法，以期在帮助学生掌握命题逻辑的推理证明方法的同时，又能对学生进行逻辑思维能力的训练，培养学生分析问题和解决问题的能力．

Some Familiarly Inferential Proof Methods in the Propositional Logic Wang min

Propositional logic is one of the difficulties of ＂Discrete Mathematics＂. Because it is abstract and its methods are quite unique. In addition, most of its subjects are proof ones. Propositional logic is the basis of symbolic logic. It is important to study propositional logic and master inferential proof methods. At the same time, it is the basis of predicate logic. This paper summarizes some inferential proof methods in propositional logic uses some examples. We expect that students can master some inferential proof methods in propositional logic with our help and improve their ability to analyze and solve problems. On the other hand, we also want to train their ideation of logic.