数理逻辑教学内容研究

数理逻辑是研究推理的数学分支，这部分内容概念抽象，方法灵活，学生很难理解和掌握。为了提高教学效果，研究数理逻辑的主要内容，即命题逻辑与一阶逻辑，分析两部分之间的内在联系及区别，并列举实例来说明它们的联系，在教学过程中始终把握住它们的关联性，可以明显提高教学效果。

Research on the Teaching Content of Mathematical Logic

Mathematical logic is a branch of mathematics about reasoning, the contents are difficult for students to understand and master as it is ab- stract in concept and flexible in method. In order to improve the teaching effect, studies the main content of mathematical logic, namely propositional logic and first-order logic, analyzes the internal relations and differences between them and enumerates examples to illus- trate their relationship. In the teaching process always grasp the relationship between them, can significantly improve the effect of teach- ing.