数理逻辑主要解题方法及疑点剖析

Main Solution Methods and Questionable Points Analysis of Mathematical Logic

数理逻辑是离散数学的重要组成部分,是学好离散数学的基础。由于概念抽象、推理独特、方法灵活等原因,学生学习困难,对问题不易入手解决。本文通过解析疑点,归纳主要解题方法,使学生掌握解题方法的要领,提高分析问题和解决问题的能力。

Mathematical logic is an important component part of dispersed mathematics and a base of learning dispersed mathematics well. Owning to abstract conception, unique reasoning and flexible method, students have some difficulties in learning and solving. The paper sums up some main solution methods that help the students master the main points of solution and improve the ability of analyzing and solving problems through the analysis of questionable points.