数理逻辑中联接词“蕴含”的引入方法  

作　　者：徐光联[1] 

机构地区：[1]鹤壁职业技术学院,河南鹤壁458030

出　　处：《理科爱好者（教育教学版）》2009年第4期16-16,145,共2页

摘　　要：数理逻辑的初学者，对联接词“蕴含”存在着疑问，为什么“前件假，后件不论真假，都能推出结论真？”。本文从不违反承诺（即约定）、合理性和等价命题的角度引入联接词“蕴含”的定义，使学生容易理解蕴含概念的正确性。

关 键 词：数理逻辑 蕴含 联接词 

分 类 号：O141.12[理学—数学]