命题逻辑讲义.ppt

* * * * * * * * * * * * * * * * * * * * 可满足的：公式A，若?赋值v，使得v A，则称A是可满足的。 不可满足的：若?赋值v，使得v A，则称A是不可满足的。 例、 (p?q)?r 可满足的 (p? ? p) 不可满足的 v满足U：公式集U，若?赋值v，使得对?公式A?U，有 v A，则称v为U的成真赋值。 否则，U是不可满足的。 扩充到公式集U 例、 重言式、矛盾式 重言式（永真式） 任意赋值v， 有v A 矛盾式（永假式）任意赋值v， 有v A 例、(p? ? p) (p? ? p) A是永真的当且仅当?A是永假的。 若A是永真的，则A是可满足的；反之不对。 设A是公式，则A是矛盾式当且仅当A是不可满足的。 证明： A是矛盾式? ?赋值v， 有v A ??赋值v， 有v(A)=0 ?不存在赋值v，使得v(A)=1 ? A是不可满足的 等值式：若等价式A?B是重言式，则称A与B等值，记作A?B。 注意： ?与?是两个完全不同的 符号 用真值表可检查两个公式是否等值 基本等值式（见课本pp.17-18） * 置换规则（置换定理） 设Ｘ是公式A的子公式, Ｘ? Y。将A中的Ｘ（可以是全部或部分X）用Y来置换，所得到的公式B，则 A?B。 判断下列各组公式是否等值: (1) p?(q?r) 与 (p?q) ?r * 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 (p?q)?r p?(q?r) q?r p q r p?q 0 0 0 0 0 0 1 1 结论: p?(q?r) ? (p?q) ?r 等值式例题 (2) p?(q?r) 与 (p?q) ?r * 0 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 (p?q)?r p?(q?r) q?r p q r p?q 1 1 1 1 0 0 1 1 结论: p?(q?r) 与 (p?q) ?r 不等值 基本等值式 双重否定律 ??A?A 幂等律 A?A?A, A?A?A 交换律 A?B?B?A, A?B?B?A 结合律 (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)??A??B ?(A?B)??A??B 吸收律 A?(A?B)?A, A?(A?B)?A * 基本等值式 零律 A? ? , A? ? ? ? 同一律 A? ? ?A. A? ?A 排中律 A??A ? 矛盾律 A??A? ? 蕴涵等值式 A?B??A?B 等价等值式 A?B?(A?B)?(B?A) 假言易位 A?B??B??A 等价否定等值式 A?B??A??B 归谬论 (A?B)?(A??B) ??A 特别提示：必须牢记这16组等值式，这是继续学习的基础 * ? ? ? ? 等值演算——由已知的等值式推演出新的等值式的过程。 证明两个公式等值 例2 证明 p?(q?r) ? (p?q)?r 证 p?(q?r) ? ?p?(?q?r) （蕴涵等值式，置换规则） ? (?p??q)?r （结合律，置换规则） ? ?(p?q)?r （德摩根律，置换规则） ? (p?q)?r （蕴涵等值式，置换规则） * 3、范式 概念： 文字，析取范式，极小项，主析取范式，合取范式，极大项，主合取范式 文字 设A??