离散数学逻辑推理证明方法的探讨

Discussion on the Method on Discrete Mathematics for Logic Inference Demonstration

命题逻辑的推理证明是《离散数学》课程的重点内容之一。该文对在命题逻辑推理证明题中常用的证明方法和技巧进行了分析和探讨，以加深学生理解，以便灵活使用。

Proposition Logic inference demonstration is one of highlights in of discrete mathematics course. This paper discusses the analysis of the demonstration method and skill in the Proposition Logic inference proof, in order to make students understand better and handle with facility.