离散数学命题符号化的三种方法
郭芸
王朝晖
1.苏州大学 计算机科学与技术学院,江苏 苏州,2150062.苏州大学 计算机科学与技术学院,江苏 苏州,215006
摘要：命题符号化是离散数学课程的重要内容，看似简单，学生在学习过程中却常常犯错，甚至经典教材配套用书也存在一些错误。针对这一教学难题，分析出错的原因，并结合教学实际，提出了解决命题符号化问题的三种方法：真值表法、类比法和平衡主谓法。
关键词：离散数学数理逻辑命题符号化
分类号：G642(高等教育)
资助基金：苏州市应用基础研究计划(SYG201116)
论文发表日期：2013-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：3( 44-46 )
英文信息