离散数学命题符号化的三种方法

Three Skills of Proposition Symbolization in Discrete Mathematics

命题符号化是离散数学课程的重要内容,看似简单,学生在学习过程中却常常犯错,甚至经典教材配套用书也存在一些错误.针对这一教学难题,分析出错的原因,并结合教学实际,提出了解决命题符号化问题的三种方法:真值表法、类比法和平衡主谓法.

Proposition symbolization, which appears to be easy but is error-prone for students, is one of the important contents of discrete mathematics. Errors even can be found in the answer books of classic teaching materials. To solve this difficult teaching problem, the cause of errors is analyzed and three skills, namely truth table method, analogism and the method of balancing subject and predicate, are put forward according to teaching practice.