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

第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 1 1 1基本概念命题 能够判断真假的陈述句 命题的真值 命题的判断结果 命题的真值只取两个值 真 用T true 或1表示 假 用F false 或0表示 真命题 判断为正确的命题 即真值为真的命题 假命题 判断为错误的命题 即真值为假的命题 因而又可以称命题是具有唯一真值的陈述句 判断命题的两个步骤 1 是否为陈述句 2 是否有确定的 唯一的真值 例 判断下列句子是否为命题 1 雪是白色的 T 2 太阳从西方升起 F 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 3 4 2 8 F 4 吃饭了吗 疑问句 不是命题 5 明天是晴天 是命题 其真值到明天方可知道 6 x 3 9不是命题 7 他正在说谎 是悖论 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 说明 1 只有具有确定真值的陈述句才是命题 一切没有判断内容的句子 无所谓是非的句子 如感叹句 祁使句 疑问句等都不是命题 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 2 具有确定真值 是指客观上的具有 与我们是否知道它的真值是两回事 如上例中的 5 和 12 1 1 2命题的表示方法在本书中 用大写英文字母A B P Q或带下标的字母P1 P2 P3 或数字 1 2 等表示命题 称之为命题标识符 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 例如 Q 2是负数 P3 明天天气晴朗 2 太阳从西方升起 皆为符号化的命题 其真值依次为F T或F F 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 命题标识符又有命题常量 命题变元和原子变元之分 命题常量 表示确定命题的命题标识符 命题变元 命题标识符如仅是表示任意命题的位置标志 就称为命题变元 原子变元 当命题变元表示原子命题时 该变元称为原子变元 命题变元也用A B P Q P1 P2 P3 表示 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 1 1 3命题的分类 简单 原子命题 不能分解为更简单的陈述语句的命题 如上例中的命题 复合命题 由简单命题通过联结词联结而成的命题 联结词就是复合命题中的运算符 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 注意 1 一个符号 如P 它表示的是命题常量还是命题变元 一般由上下文来确定 2 命题变元可以表示任意命题 它不能确定真值 故命题变元不是命题 这与 变数x不是数 是一样的道理 第一章命题逻辑 PropositionalLogic 1 1命题及其表示方法 1 1 4小结 本节主要介绍了命题 命题的真值 原子命题 复合命题 命题标识符 命题常量 命题变元和原子变元的概念 重点理解和掌握命题 命题变元 简单 原子 命题 复合命题四个概