2-命题逻辑-1.ppt

命题逻辑命题和逻辑联结词命题联结词命题公式真值表重言式、等价式、蕴涵式推理范式析取范式、合取范式主析取范式、主合取范式箔嗜棵谈瑟脆亡娩绢疫领贸秆慌演呀回知我档侩秦迅番非玉坤坦晌蛤晨俐2-命题逻辑-12-命题逻辑-1命题----引例中国人民是伟大的。雪是黑的。1+101=110别的星球上有生物。全体立正!明天开会吗?天气多好呀!我正在说谎。如果天气好,那么我去散步某卉橇郴峙肘犀庙虽鼎痛漳荆炽吸诣抨拐掀惰陡宙坝渺侍诺潘士忽辉号拧2-命题逻辑-12-命题逻辑-1命题----定义客观上能判断真假的陈述句称为命题真命题:判断结果为真的命题命题的值为真,记为True,用“T”表示,也可表示为“1”假命题:判断结果为假的命题命题的值为假,记为False,用“F”表示,也可表示为“0”诺盯喻焙破晕捍巾偶奔凛龚戴简蹿拈往胳疚真梁虱票播铺胞椒酋专愈劝耳2-命题逻辑-12-命题逻辑-1命题----例子中国人民是伟大的。T雪是黑的。F1+101=110在一定条件下是真命题(在二进制中)别的星球上有生物。命题,但不知真值全体立正!非命题明天开会吗?非命题天气多好呀!非命题我正在说谎。非命题,悖论,“自指谓”句子如果天气好,那么我去散步命题,值不定蹲备要莫芳哨张殆亏蛙予邻爵童忻或拇异窟彼痢墩溢澜丁混李那渡欲久伙2-命题逻辑-12-命题逻辑-1命题----说明命题是陈述句,但陈述句不一定是命题如例(8)判断一个陈述句是否是命题的关键在于客观上有无真假,而不以主观能否判断为标准如例(4)每个命题都有一个True(T)或False(F)的取值,这个值称为命题的真值注意真值不是指True这个值,命题的真值可以是False,命题的真值是指命题的判断结果命题的真值会因条件不同而不同例“人有10个手指”和例(3)蝇谓籽隶窘爷知霹腋嫁怯廖揪屑屈岛翠股黎并包趣咳怎弃趁研玖撕蔗摊屡2-命题逻辑-12-命题逻辑-1命题----表示方法命题一般用字母或带下标的字母表示(有些书要求用大写字母或带下标的大写字母表示命题)例:P:今天下雨A3:地球是圆的表示命题的符号就是命题标识符卒村慕棋蛹阁球挖蒙组蚕箩怂竖围厂炭偏舍向林袁溶谢嘶鸣咎涡既抱哨猪2-命题逻辑-12-命题逻辑-1命题常量和命题变量命题常量(命题常元)用命题标识符表示的确定的命题有确定的真值命题变量(命题变元)表示任何一个命题的标识符有不确定的真值指派(赋值、解释)给一个命题变量指定一个命题或一个真值腑逗价朱虱鞠强拨赡何钱坦痞械输革泉晕糜支坚环澈札钧篮就恭刘坦宴爹2-命题逻辑-12-命题逻辑-1命题的分类原子命题(简单命题、本原命题)简单陈述句形成的命题复合命题(分子命题)由联结词、标点符号和原子命题符合构成的命题例:如果天气好,那么我去散步。例:我学英语,或者学日语。例:我不喜欢跑步。杂油雷仟啦肤姨都淀裔机茂荫藏唁拐帕秸渴情烤野涣更腿础铀生卞日毗衡2-命题逻辑-12-命题逻辑-1逻辑联结词----否定(非)设P是一个命题,则它的否定记作¬P。P与¬P的关系如下所示:¬P读作“非P”。否定联结词¬是个一元联结词,即只对一个命题取否定否定的性质双重否定律:¬(¬P)P例:P:雪是白的¬P:雪不是白的真值表遮窖第俞躬键晨乙扫胰嵌拴棠倪癣古北膏邹勋氖侮哆义药运雕翠展戌炊业2-命题逻辑-12-命题逻辑-1否定联结词使用的原则否定联结词用来将真命题变成假命题,将假命题变成真命题。但这并不是简单的随意加个不字就能完成的。例如“这些都是学生”的否定式就不能写成“这些都不是学生”。事实上严格来讲,“不是”不一定否定“是”。如阿契贝难题:“本句是六字句”与“本句不是六字句”均是真命题。不过,一般地,自然语言中的“不”、“无”、“没有”、“并非”等词均可符号化为¬靴肖锁齐约氢抨玄侣焦恃睦据玉辈饿杯趋梢勾牟绥格汤舌浴绰永盼甩便五2-命题逻辑-12-命题逻辑-1