湘潭大学离散数学1课件-第十四章命题逻辑.pdfVIP

* n14.1 命题与逻辑连接词 n14.2 命题公式与等值演算 n14.3 对偶与范式 n14.4 推理理论 n14.5 命题演算的公理系统 * 14.1 命题 与逻辑连接词 本节的知识点 ： 1. 命题的概念 2. 简单命题与复杂命题的概念 3. 五种常用的连接词 * 1. 命题的概念—— 凡具有真假意义的陈述句均称为命题。 　　 若一个命题是真的，则称该命题的真 值为 “真”，用 Ｔ或 １表示；如果一个 命题是假的，则称为该命题的真值为 “假”，用 Ｆ或 ０表示。 由于一个命题的真值只可能取 “真” 或 “假”两种值，因此，命题逻辑又称 为 “二值逻辑”。 * 下面三类是命题： 1) 现实可判断真假的陈述句。 2) 有些陈述句，目前还不知道真假，但它们 本身是具有真假意义的。 3) 其真假与讨论问题范围 （论域）有关的陈 述句。 下面的不是命题： 感叹句 ，疑问句，祈使句。 * 举例说明： 1) 地球绕着月亮转。 2) 1+1 3。 3) 禁止烟火 ！ 4) 地球有一天会爆炸。 5) 明天会下雨吗？ 6) 如果明天天气晴朗，我就出去散步。 * 2. 简单命题与复合命题 n 复合命题——　命题可以通过命题逻辑 连接词构成新的命题，即复合命题。复 合命题的子命题也可以是复合命题。 n 简单命题——　不是复合命题的命题。 它不含任何连接词。在命题逻辑中，简 单命题被看作是一个整体，不再分析其 内部的逻辑形式。 显然，复合命题的真值依赖于其中 简单命题的真值。 * n 为了对命题做逻辑演算，需要将命题符号化。 n 命题符号——　用大写字母 Ｐ，Ｑ，Ｒ…表 示命题。这些字母就称为命题符号。 如： Ｐ： ５加 ２等于 ３。 这时Ｐ表示一个具体的命题，称 Ｐ为一个 命题常元。 如果Ｐ表示任何一个命题，则称 Ｐ为命题 变元。命题变元不是命题。 为方便记，用1表示一个抽象的真命题， 用0表示一个抽象的假命题。 * 3. 五种常用的连接词 1) 否定连接词 “”的定义 (14.1.1) 　设Ｐ是命题，复合命题 “Ｐ”是Ｐ 的否定，规定Ｐ为真当且仅当Ｐ为 假。即 　 Ｐ为 １，则Ｐ为 ０； 　 Ｐ为 ０，则Ｐ为 １。 例： Ｐ：今天出太阳。 Ｐ：今天不出太阳。 　　 * 2) 合取连接词 “∧”的定义 (14.1.2) 　设 Ｐ，Ｑ是命题，复合命题 “Ｐ并且 Ｑ” 称为 Ｐ和 Ｑ的合取。规定Ｐ∧Ｑ为真当且 仅当Ｐ与 Ｑ同时为真。真值表如下： Ｐ Ｑ Ｐ∧Ｑ ０ ０ ０ ０ １ ０ １ ０ ０ １ １