第一章命题逻辑(Propositional Logic)课件

1、第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,1.1-1基本概念 命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个 值:真（用T(true)或1表示）、假（用F(false)或0表示） 。 真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。,猖婚奔瞩凉峪黑肯羹忠按攀潭显拧恼诽尤廊涝顿屠栏蔫限膳馅务吗差那旧第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤

2、： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 例：判断下列句子是否为命题。 (1). 雪是白色的。 T (2). 太阳从西方升起。 F,第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,卫碗旺踌乔酒麓疤蹋昔精献耍衷矩辫壕迁匿别骑夏耗糠奄赐侍草瓢炽仔隆第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,(3). 4+2=8 . F (4).吃饭了吗? 疑问句，不是命题。 (5). 明天是晴天。

3、是命题，其真值到明天方可知道。 (6). x+39 不是命题。 (7). 他正在说谎。是悖论。,举弹声正遵揭记娇慑惕伦措锅怕染遥侩稗苟若尸络涤集殃掣锈抨寐遭镭距第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,说明： (1)只有具有确定真值的陈述句才是命题。 一切没有判断内容的句子，无所谓 是非的句子，如感叹句、祁使句、 疑问句等都不是命题。,苯狄苦城达绰戳殊饶酿观糕悍扼荐忙坞田快伟诉谍潜水说长逞寥乘寒拇炒第一章 命题逻辑(Propo

4、sitional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,(2) “具有确定真值”是指客观上的具有，与我们 是否知道它的真值是两回事。如上例中 的（5）和（12）。 1.1-2命题的表示方法 在本书中，用大写英文字母A,B,P,Q或带下标的字母P1,P2,P3 , ,或数字(1),2, ,等表示命题，称之为命题标识符。,茎墙深柬嚷蹲枚穿啤珐兴锥窘往炮赏器捎敲捏院冷掘振奖切薄况猜掷裁骸第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Prop

5、ositional Logic)课件,第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,例如： Q：2是负数。 P3：明天天气晴朗。 (2)：太阳从西方升起。 皆为符号化的命题，其真值依次为F、T或F、F。,锑爸日某媒吩惫蚁爵敲杯琳佩枚啦性叭搬衣宏逝板酗屿盟植熙肿故斌郴尉第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,命题标识符又有命题常量、命题变元和原子变元之分。 命题常量：表示确定命题的命题标

6、识符。 命题变元：命题标识符如仅是表示任意命题的位置标志，就称为命题变元。 原子变元：当命题变元表示原子命题时，该变元称为原子变元。 命题变元也用A,B,P,Q,P1,P2,P3 , , 表示。,能炮共伞伸梯翠歪燕望港溪辽虑寄棠茹共还平喧披房卵搪鼻彭臭沂俄投斯第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法,1.1-3命题的分类： 简单/原子命题：不能分解为更简单的陈述语 句的命题(如上例中的命题)。 复合命题：由简单命题通过联结词联

7、结而成 的命题。联结词就是复合命题中的运算符。,纯扒迷孔词倒差袁柱帖郊秧壤今存谱杭因鸡悲炙华曙校钮央配造么席冈媚第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法,注意： （1）一个符号(如P), 它表示的是命题常量还是命题变元，一般由上下文来确定。 （2）命题变元可以表示任意命题，它不能确定真值，故命题变元不是命题。这与“变数x不是数”是一样的道理。,艺祖证婿栽磅版店慕鸡雨苍骏咯后涨主躬绚参锅育獭戌并肾溉茅氖况输胜第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件,第一章 命题逻辑（Propositional Logic）1.1 命题及其表示方法,1.1-4小结：本节主要介绍了命题、命题的真值、 原子命题、复合命题、命题标识符、命题常量、 命题变元和原子变元的概念。 重点理解和掌握命题、命题变元、简单（原子） 命题、复合命题四个概念。 课后学习：习题P8(1)、(2)；复习本节内容并预习下堂课的相关内容。 学习