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

Three Skills of Proposition Symbolization in Discrete Mathematics

作　　者：郭芸[1] 王朝晖[1] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006

出　　处：《苏州市职业大学学报》2013年第3期44-46,共3页Journal of Suzhou Vocational University

基　　金：苏州市应用基础研究计划(SYG201116)

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

关 键 词：离散数学 数理逻辑 命题符号化 

分 类 号：G642[文化科学—高等教育学]