离散数学1命题逻辑教学课件

离散数学第一篇数理逻辑蔡广军001111100000011Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL数理逻辑简介(1)数理逻辑(MathematicalLogic)用数学方法(主要是建立符号体系的方法)来研究推理形式结构和推理规律的嶽学学科通过引入一套符号体系来研宪推理规律的学科,故又称之为符号逻辑(Symbo|icLogic)001111100000011Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL土耳其商人和帽子的故事个土耳其商人想找一个十分聪明的助手协助他经商,有两人前来应聘,这个商人为了试试个更聪明些,就把两个人带进间漆黑的屋子里,他打开灯后说:“这张桌子上有五顶帽子,两顶是红色的,三顶是黑色的,现在,我把灯关掉,而且把帽子摆的位置弄乱,然后我们三个人每人摸顶帽子戴在自己头上,在我开灯后,请你们尽快说出自己头上戴的帽子是什么颜色的。”0Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL土耳其商人和帽子的故事说完后,商人将电灯关掉,然后三人都摸了一顶帽子戴在头上,同时商人将余下的两顶帽子藏了起来,接着把灯打开。这时,那两个应试者看到商人头上戴的是一顶红帽子,其中一个人便喊道:“我戴的是黑帽子。”请问这个人说得对吗?他是怎么推导出来的呢?001111100000011Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL土耳其商人和帽子的故事要回答这样的问數,实际上就是看由一些诸如“商人戴的是红帽子”这样的前提能舌推出“精出答案的应试者戴的是黑帽子”这样的结论来。这又需要经历如下过程(1)什么是前提?有哪些前提?(2)结论是什么?(3)根据什么进行推理?(4)怎么进行推理?000000Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL第一章命题逻辑①命题符号化及联接词2)命题公式及分类3〉等值演算4联接词全功能集5)对偶与范式〈6推理理论001111100000011Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL第第1节命题符号化及联接词内容:命题;逻辑联接;命题符号化。重点(1)掌握命题攏念(2)掌握联接词含义及其真值(3)掌握命题符号化方法001111100000011Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL、命题的概念命题的概念1、命题:具有确定(唯一)真值的陈述句或能判断真假的陈述句为命题真值:作为命题的陈述句所表达的判断结果真(记为T或1)真值假(记为F或0)包含两层含义(1)陈述句(2)有确定的真值Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL角例1判断命题例1、判断下列句子中鄂些是命题(1)中国人民是伟大的(2)雪是黑色的(3)3×4=12(4)1+101=110(5)请把门关上!(6)X是有理数。001111100000011Evaluationonly.chAsposeslidesforNET4odientPEvaluationonly.CreatedwithAsposeSlidesforNET4.0dientProfilo71Copyright2019-2019AsposePtyL例1判断命题例1、判断下列句子中哪些是命题(1)中国人民是伟大的(陈述句真值为真命题)(2)雪是黑色的(陈述句真值为假命题)(3)3×4=12(陈述句真值为真命题)(4)1+101=110(陈述句真值不能确定不是命题)(5)请把门关上!(祈使句不是命题)(6)X是有理数。(陈述句真值不能确定不是命题)001111100000011Evaluationonly.c