摘要
在数理逻辑教学中，通过适当的例题选择，可以加强学生逻辑思维能力的训练，培养他们分析问题和解决问题的能力。
In the course of mathematical logic teaching, we can improve the students' ability of logic thinking by well - chosen examples, and train their ability to analyse and solve problems.
关键词
离散数学
数理逻辑
联结词
教学
例题
discrete mathematical
mathematical logic
connective
conjunctive normal form
predicate
prenex normal form
