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

摘要

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