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

第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 1.1-1基本概念 命题：能够判断真假的陈述句。 命题的真值：命题的判断结果。命题的真值只取两个 值:真（用T(true)或1表示）、假（用F(false)或0表示） 。 真命题：判断为正确的命题，即真值为真的命题。 假命题：判断为错误的命题，即真值为假的命题。 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 因而又可以称命题是具有唯一真值的陈述句。 判断命题的两个步骤： 1、是否为陈述句； 2、是否有确定的、唯一的真值。 例：判断下列句子是否为命题。 (1). 雪是白色的。 T (2). 太阳从西方升起。 F (3). 4+2=8 . F (4).吃饭了吗? 疑问句，不是命题。 (5). 明天是晴天。是命题，其真值到明天方可知道。 (6). x+39 不是命题。 (7). 他正在说谎。是悖论。 说明： (1)只有具有确定真值的陈述句才是命题。 一切没有判断内容的句子，无所谓 是非的句子，如感叹句、祁使句、 疑问句等都不是命题。 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 (2) “具有确定真值”是指客观上的具有，与我们 是否知道它的真值是两回事。如上例中 的（5）和（12）。 1.1-2命题的表示方法 在本书中，用大写英文字母A,B,…,P,Q或带下标的字母P1,P2,P3 , …,或数字(1),[2], …,等表示命题，称之为命题标识符。 例如： Q：2是负数。 P3：明天天气晴朗。 (2)：太阳从西方升起。 皆为符号化的命题，其真值依次为F、T或F、F。 命题标识符又有命题常量、命题变元和原子变元之分。 命题常量：表示确定命题的命题标识符。 命题变元：命题标识符如仅是表示任意命题的位置标志，就称为命题变元。 原子变元：当命题变元表示原子命题时，该变元称为原子变元。 命题变元也用A,B,…,P,Q,P1,P2,P3 , …, 表示。 1.1-3命题的分类： 简单/原子命题：不能分解为更简单的陈述语 句的命题(如上例中的命题)。 复合命题：由简单命题通过联结词联结而成 的命题。联结词就是复合命题中的运算符。 注意： （1）一个符号(如P), 它表示的是命题常量还是命题变元，一般由上下文来确定。 （2）命题变元可以表示任意命题，它不能确定真值，故命题变元不是命题。这与“变数x不是数”是一样的道理。 1.1-4小结：本节主要介绍了命题、命题的真值、 原子命题、复合命题、命题标识符、命题常量、 命题变元和原子变元的概念。 重点理解和掌握命题、命题变元、简单（原子） 命题、复合命题四个概念。 课后学习：习题P8(1)、(2)；复习本节内容并预习下堂课的相关内容。 学习交流：TEL Email:xfwdhdy@163.com * 富垢涩铲凑赠拿兴听铺密惧免雹吕勾舔抗肄患疮辽潘袭休研墅林昭硒偿瞄第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件 间馆滓铅袒嚼给袱贼胳缅盆理嚼恿阀蔬挫巩豆碴信全尽间贝厌嘿诽副构睹第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 澈视衅需往武援稻量氨箭裹啃辱拯彪仁祭令拂院悯照胜减王裹暴扁稻违宴第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件 第一章 命题逻辑（Propositional Logic） 1.1 命题及其表示方法 喳澄鸯于丢亥目憋炎沥宫戚康绘蓑凋铃作鲁秆艾苇烃清式貌入碾捞驰漠占第一章 命题逻辑(Propositional Logic)课件第一章 命题逻辑(Propositional Logic)课件 掌乳涧枯盔艾救掌日衬葵狠覆掐醋罪诽方宽控诊朽吓例裴做舱札蝶漂门烹第一