数理逻辑中几种常见的证明方法

数理逻辑是《离散数学》的难点之一,其主要原因是内容比较抽象且方法较独特,加之题型以知识较广的证明题居多。结合适当的例题总结数理逻辑中几种常见的推理证明方法,以期在帮助学生掌握命题逻辑的推理证明方法的同时,又能对学生进行逻辑思维能力的训练,培养学生分析问题和解决问题的能力。