离散数学1-1.pptVIP

在给定的仅使用联结词 ? 、∧和∨的命题公式 A ，若把∧和∨互换，F 和 T 互换而得到一个命题公式 A*，则称 A* 为 A 的对偶式。 显然，A 也是 A* 的对偶式。 对偶式 定义 定理1.2-1 设A和A*互为对偶式，P1，P2，…，Pn是出现A和A* 中的原子命题变元，则 ? A(P1，P2，…，Pn)?A*(? P1，? P2，…，? Pn) 公式A的否定等价于其命题变元否定的对偶式 公式的证明将留待学习数学归纳法后给出。 对偶原理 定理1.2-2 设A和B为两个命题公式，若A?B则A*?B* 证明： 若A?B，则 A(P1, P2, …, Pn) ? B(P1, P2, …, Pn) 永真。 所以，?A(P1, P2, …, Pn) ? ?B(P1, P2, …, Pn) 永真。 由定理1.2-1可知： A*(?P1, ?P2, …, ?Pn) ? B*(?P1, ?P2, …, ?Pn) 永真。 因为上式是永真式, 可以使用代入规则, 以 ?Pi 代Pi, 1≤i ≤n, 得： A*(P1, P2, …, Pn) ? B*(P1, P2, …, Pn) 永真。所以，A*?B*。 定理1.2-3 设A和B为两个命题公式，若A?B, 则B*?A* 证明： A?B意味着 A(P1, P2 , … ,Pn)→B(P1, P2, …. , Pn)永真, ? B(P1, P2, … , Pn)→ ? A (P1, P2, … , Pn)永真。 由定理 1.2 -1 得 B*(? P1, ? P2 , … ,? Pn)→A*(? P1, ? P2 , … ,? Pn) 永真 因为上式是永真式, 可以使用代入规则, 以 ?Pi 代 Pi, 1≤i≤n, 得：B*?A*。 证毕。 例：对偶原理的应用 分配律 A?(B?C)?(A?B)?(A?C), 由对偶原理可得： A?(B?C)?(A?B)?(A?C) 德摩根律 ?(A?B)??A??B, 由对偶原理可得： ?(A?B)??A??B (P?Q)?(?P?(?P?Q))?(P?Q)?(?P?Q)?(P?Q)?Q??P ?Q??P, 则可推出： (P?Q)?(?P?(?P?Q))?Q??P 等值演算的应用举例 证明两个公式等值 例2 证明 P?(Q?R) ? (P?Q)?R 证： P?(Q?R) ? ?P?(?Q?R) （蕴涵恒等式，置换规则） ? (?P??Q)?R （结合律，置换规则） ? ?(P?Q)?R （德摩根律，置换规则） ? (P?Q)?R （蕴涵恒等式，置换规则） 今后在注明中省去置换规则 注意：用等值演算不能直接证明两个公式不等值 证明两个公式不等值 例3 证明 P?(Q?R) 与 (P?Q)?R 不等值 证：方法一 真值表法, 见例1(2) 方法二 观察法. 观察到000, 010是左边的成真赋值，是右边的成假赋值 方法三 先用等值演算化简公式，然后再观察 P?(Q?R) ??P??Q?R (P?Q)?R ??(?P?Q)?R?(P??Q)?R 更容易看出前面的两个赋值分别是左边的成真赋 值和右边的成假赋值 等值演算的应用举例 判断公式类型: A为矛盾式当且仅当A ? 0 A为重言式当且仅当A ? 1 例4 用等值演算法判断下列公式的类型 (1) Q??(P?Q) (2) (P?Q)?(?Q??P) (3) ((P?Q)?(P??Q))?R) 等值演算的应用举例 解 (1) Q??(P?Q) ? Q??(?P?Q) （蕴涵等值式） ? Q?(P??Q) （德摩根律） ? P?(Q??Q) （交换律，结合律） ? P?0 （矛盾律） ? 0 （零律） 矛盾式 判断公式类型 (2) (P?Q)?(?Q??P) ? (?P?Q)?(Q??P) （蕴涵等值式） ? (?P?Q)?(?P?Q) （交换律） ? 1 重言式 (3) ((P?Q)?(P??Q))? R) ? (P?(Q??Q))?