交大数理逻辑课件2-1命题逻辑的等值和推理演算幻灯片.ppt

* F1=0， F1=P ?Q, 请交作业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为可满足式 P Q 0 0 0 1 1 0 1 1 P ?Q 1 1 0 1 1 1 1 1 ? (?P ? Q) ? Q 0 0 0 0 可满足式 永真式 矛盾式 (P ?Q)? (?P ? Q) 2.1 等值定理 等价的定义 设A和B是两个命题公式，对A和B的任一赋值，A和B的真值都相同，则称A和B是等值的（或等价的）， 记为A = B 或A?B 注意：?是关系符， ?是联结词 显然，根据真值表可判明任何两个公式是否等值 如 ?(P?Q) 与 ?P ? ?Q 和 ?P ? ?Q P Q 0 0 0 1 1 0 1 1 ? P 1 1 0 0 1 0 0 0 ?P ? ? Q 1 1 1 0 ?(P ? Q) ? Q 1 0 1 0 P ? Q ?P ?? Q 0 1 1 1 1 0 0 0 等值定理 等值定理 对公式A和B， A=B的充分必要条件是A?B是重言式 即若A?B是重言式，则在任一解释下，A和B都只能有相同的真值 命题公式的等值关系“=”有下面的性质： 自反性—— A = A 对称性—— 若A = B，则B = A 传递性—— 若A = B，B = C，则A = C A B A ?B 0 0 0 1 1 0 1 1 1 0 0 1 对任意命题公式A，B和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 A,B,C代表任意的命题公式 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,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， A,B代表任意的命题公式 等值公式 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) （前提条件可交换次序）