交大数理逻辑课件2-1 命题逻辑及等值和推理演算.pptVIP

请交作业1 第2章 命题逻辑的等值和推理演算 2.1 等值定理 2.2 等值公式 2.3 命题公式与真值表的关系 2.4 联结词的完备集 2.5 对偶式 2.6 范式 2.7 推理形式 2.8 基本的推理公式 2.9 推理演算 2.10 归结推理法 公式的类型 定义 设A为一个合式公式 (1) 若A无成假赋值，则称A为重言式(也称永真式) (2) 若A无成真赋值，则称A为矛盾式(也称永假式) (3) 若A不是矛盾式，则称A为可满足式 2.1 等值定理 等价的定义 设A和B是两个命题公式，对A和B的任一赋值，A和B的真值都相同，则称A和B是等值的（或等价的）， 记为A = B 或A?B 注意：?是关系符， ?是联结词 显然，根据真值表可判明任何两个公式是否等值 如 ?(P?Q) 与 ?P ? ?Q 和 ?P ? ?Q 等值定理 等值定理 对公式A和B， A=B的充分必要条件是A?B是重言式 即若A?B是重言式，则在任一解释下，A和B都只能有相同的真值 命题公式的等值关系“=”有下面的性质： 自反性—— A = A 对称性—— 若A = B，则B = A 传递性—— 若A = B，B = C，则A = C 2.2 等值公式 1. 基本的等值公式（命题定律） 双重否定律 : ? ?A = A 等幂律： A?A = A, A?A = A A?A = T， A?A = T 交换律: A?B = B?A, A?B = B?A A?B = B?A， A?B ≠ B?A 2.2 等值公式 1. 基本的等值公式（命题定律） 结合律: (A?B)?C = A?(B?C) , (A?B)?C = A?(B?C) (A?B)?C = A?(B?C), (A?B)?C ≠ A?(B?C) 分配律: A?(B?C) = (A?B)?(A?C), A?(B?C) = (A?B)?(A?C) A?(B?C) = (A?B) ?(A?C) A ?(B ? C) ≠ (A ? B) ? (A ? C) 等值公式 基本的等值公式（命题定律） 摩根律 : ?(A?B) = ?A??B， ?(A?B) = ?A??B 吸收律: A?(A?B) = A, A?(A?B) = A 零律: A?T = T, A?F = F 同一律: A?F = A, A?T = A T?A = A， T ? A = A， 补余律: A??A = T， A??A = F， 等值公式 2. 常用等值公式 A?B = ?A?B （由联结词的真值表得） A?B = ?B??A （由逆否命题=原命题得） A?(B?C) = (A∧B) ?C A?B = (A∧B)?(?A∧?B) （由联结词的真值表得） A?B = (A∨?B)?(?A∨B) A?B = (A?B)?(B?A) (由联结词的定义得) A?(B?C) = B?(A?C) （前提条件可交换次序） (A?C)?(B?C) = (A?B) ?C 基本等值公式的证明举例 原则上说，上面的公式均可用真值表证明。下面仅验证摩根律。 ?(A∨B) = ?A∧?B 等值演算与置换规则 置换——对公式A的子公式，用与之等值的公式代换。 置换规则 公式A的子公式置换后，A化为公式B，必有A = B 等值演算 由已知的等值公式推演出新的等值公式的过程 如已知: A?A = A 则: B?A?A = B?A 等值演算的基础： (1) 等值关系的性质：自反、对称、传递 (2) 基本的等值式 (3) 置换规则 等值演算举例1 例1 证明 P?(Q?R) = (P?Q)?R 证: P?(Q?R) = ?P?(?Q?R) （蕴涵等值式，置换规则）