武汉理工大学离散数学课件-第1章命题逻辑.pdfVIP

第 1 章 命题逻辑 武汉理工大学《离散数学》 第 1 章 命题逻辑 授课内容 知识点1 ：命题、联结词及命题符号化 知识点2 ：命题公式、真值表及公式分类 知识点3 ：等价式与等价演算 知识点4 ：对偶式与蕴涵式 知识点5 ：范式 第 1 章 命题逻辑 授课内容 知识点6 ：主析取范式与主合取范式 知识点7 ：命题演算的推理理论 知识点8 ：有效结论证明方法 知识点9 ：命题演算推理实例解析 知识点1 ：命题、联结词及命题符号化 一 问题的引入 命题逻辑是研究由命题为基本单位构成的前提和结论 之间的可推导关系。那么，什么是命题？如何表示和构成？ 如何进行推理的？例如： 已知：  如果今天星期三，那么公鸡会下蛋。  今天是星期三。 问题：根据以上前提你能推出什么结论？ 二 命题、联结词及命题符号化 1 命题的概念 定义1.1.1： 能够判断真假的陈述句称作命题。 命题仅有两种可能的真值：真和假，且二者只能居其一。 真用1或T表示，假用0或F表示。 由于命题只有两种真值，所以称这种逻辑为二值逻辑。 例1.1.1 判断下列语句哪些是命题 ① -1是整数。 ② 地球是围绕月亮转的。 ③ 3+5=8。 ④ 木星的表面温度是20F。 ⑤ 不要讲话 ！ ⑥ 你吃饭了吗？ ⑦本命题是假的。（他正在说谎。等） 解 ①-④都是命题，①和③的真值为真 ， ②真值是假，④不知真和假 ，但真值是可以确定的。 ⑤ ⑥都不是命题。 ⑦无法确定它的真值 ，当它假时，它便真； 当它真时，它便假。这种断言叫悖论。 2 命题的分类与表示 • 命题分为两类，第一类是原子命题，它是由 再也不能分解成更为简单的语句构成的命题， 称为原子命题。用英文字母P，Q ，R，… 或带下标Pi，Qi ，Ri，…表示之。 例如 ，用P表示武汉是一座美丽的城市， 记为P：武汉是一座美丽的城市。 冒号：代表表示的意思 • 第二类是复合命题，它由原子命题、 命题联结词和圆括号组成。 3 联结词 1.3.1 否定联结词﹁P 定义1.1.2 设P表示一个命题，由命题联结词 和命题P连接成P， 称P为P的否定式复合命题，P读“非P”。称为否定联结词。 P是真当且仅当P为假； 否定联结词“”的定义可由表1-1表示。 表1-1 p P 0 1 1 0 令命题P：武汉是一座美丽的城市。 命题的否定为P： 武汉不是一座美丽的城市。 1.3.2 合取联结词∧ 定义1.1.3 设P和Q为两个命题，由命题联结词∧将P和Q连接成P∧Q ， 称P∧Q为命题P和Q的合取式复合命题，P∧Q读做“P与Q”，或“P 且Q”。称∧为合取联结词。 • 当且仅当P和Q的真值同为真，命题P∧Q的 真值才为真；否则，P∧Q 的真值为假。 合取联结词∧的定义由表1-2表示。 表1-2 p q P∧Q 0 0 0 0 1