第1章 命题逻辑-4.pptVIP

例如:对公式(P?Q)∧R，赋值011(即令P=0， Q=1， R=1) 为(P?Q)∧R的成真赋值; 另一组 赋值010为(P?Q)∧R的成假赋值；还有000， 001，111…… 为方便构造真值表， 特约定如下： ① 命题变元按字典序排列。 ② 对每个指派，以二进制数从小到大或从大到小顺序列出。 ③ 若公式较复杂，可先列出各子公式的真值(若有括号，则应从里层向外层展开)，最后列出所求公式的真值。 例1. 给出┐(P∧Q)?(┐P∨┐Q)的真值表： 例2：构造公式 (P? Q) ∧R的 真值表。 例2：构造公式 (P? Q) ∧R的 真值表。 练习1：构造公式 (P?Q)?(┐Q? ┐P)真值表。 练习1：构造公式 (P?Q)?(┐Q? ┐P)真值表。 1.4.2 公式分类与等价公式 由定义可知，重言式必是可满足式，反之一般不真。 重点将研究重言式，它最有用，因为它有以下特点： ①重言式的否定是矛盾式，矛盾式的否定是重言式，这样只研究其一就可以了。 ②两重言式的合取式、析取式、条件式和双条件式等都仍是重言式。于是，由简单的重言式可构造出复杂的重言式。 ③由重言式使用公认的规则可以产生许多有用等价式和蕴涵式。 判定给定公式是否为永真式、永假式或可满足式的问题，称为给定公式的判定问题。 在命题逻辑中，由于任何一个命题公式的指派数目总是有限的，所以命题逻辑的判定问题是可解的。其判定方法有真值表法和公式推演法(等值演算法)。 定义1.4.4:设A和B是两个命题公式，如果A、B在其任意指派下，其真值都是相同的，则称A和B是等价的，或逻辑相等，记作A?B，读作A等价B，称A?B为等价式。例1中， A?B 。 显然，若公式A和B的真值表是相同的，则A和B等价。因此，验证两公式是否等价，只需做出它们的真值表即可。 注: (1) “? ”不是逻辑联结词. (2)命题公式之间的逻辑相等关系具有： 自反性：A?A ； 对称性：若A?B，则B?A； 传递性：若A?B且B?C，则A?C。 证明公式等价的方法： 1. 真值表法 2. 等值演算法 1. 真值表法 例1.┐(P∧Q) ?(┐P∨┐Q) 见真值表例题1. 例2. 证明: P?Q ?(P→Q)∧(Q→P) 2. 等值演算法 代入和替换有两点区别： ① 代入是对原子命题变元而言的，而替换可对命题公式实行。 ② 代入必须是处处代入，替换则可部分替换，亦可全部替换。 常用的等价式： 1.双重否定律： ┐┐P? P 2.结合律：(P∧Q)∧R?P∧(Q∧R) (P∨Q)∨R?P∨(Q∨R) (P?Q)?R?P?(Q?R) 3.交换律: P∧Q?Q∧P P∨Q? Q∨P P?Q ?Q?P 4. 分配律: P∧(Q∨R )?(P∧Q)∨(P∧R) P∨(Q∧R)?(P∨Q)∧(P∨R) 5.幂等律: P∨P? P P∧P? P 6.吸收律: P∧(P∨Q) ?P P∨(P∧Q)?P 7.德.摩根律: ┐(P∨Q)?┐P∧┐Q ┐(P∧Q)?┐P∨┐Q 8.同一律: P∨F?P P∧T?P 9.零律: P∨T?T P∧F?F 10.否定律： P∨┐P?T P∧┐P?F 11. 蕴涵等值式: P?Q? ┐P∨Q 12. 等价等值式: P?Q?(P→Q)∧(Q→P) ?(P∧Q)∨(?P∧?Q) 13. 假言易位: P?Q?┐Q?┐P 14. 等价否定等值式: P?Q?┐P?┐Q 15. 归谬论: (P?Q )∧( P?┐Q)?┐P 16. 输出律：(P∧Q)→R?P→(Q→R) 例1： 证明 Q→(P∨(P∧Q))?Q→P 证: Q→(P∨(P∧Q)) ?Q→P ~~~~~~~~ P(吸收律) 例2： 证明 (P∧┐Q)∨Q?P∨Q 证： 左式=(P∧┐Q)∨Q ?(P∨Q)∧(┐Q∨Q) ?(P∨Q)∧T ?P∨Q =右式 例3：证明(P→Q)→(Q∨R)? P∨Q∨R 证：左式=(P→Q)→(Q∨R)