离散数学课件：1-3 公式的等价.ppt

公式的等价：若命题公式A和B的所有真值全都相同， 则称A和B是等价的或逻辑相等，记作A?B. A?B，当且仅当A?B为重言式. 置换 子公式：如果X是合式公式A的一部分，且X本身也是一个合式公式，则称X为公式A的子公式. 置换原理 (Rule of Replacement)：设X是合式公式A的子公式，且X ?Y，将A中的X用Y来置换，得到新的公式B，则A ?B. * * 三、公式的等价 如： ? (P ? Q) ? (? P? ? Q)的真值全为真，则 ? (P ? Q) 与 (? P? ? Q) 是等价的或逻辑相等. 反之亦然. (一) 公式等价的概念 例1.3.1 试证? P ? Q ? P?Q. 证： Q P ? P F F T F F T T T T T F F ? P? Q T T F T 列出真值表 P ? Q T T F T 可知? P ? Q 与P?Q真值相同， 牢记本题结论：P?Q ? ? P ? Q. 所以? P ? Q ? P?Q. (二)用真值表证明公式等价 三、公式的等价 证： Q P F F T F F T T T P ? Q T F F T 列出真值表 P ? Q T T F T P ? Q与(P?Q) ? (Q ? P)真值相同， 记住这个简单的结论. 得证二者等价. Q ? P T F T T (P?Q) ? (Q ? P) T F F T 例1.3.2 试证P ?Q ? (P?Q) ? (Q ? P). 用真值表证明公式等价 三、公式的等价 证： Q P F F T F F T T T P ? Q T F F T 列出真值表 P ? Q与(P ? Q) ?(? P ? ? Q)真值相同， 建议记住这个结论：这是?向?, ?的转化式. 得证二者等价. (P ? Q) ?(? P ? ? Q) T F F T 例1.3.3 试证P ?Q ? (P ? Q) ?(? P ? ? Q). 用真值表证明公式等价 三、公式的等价 1. ?? P 对合律 2. P?P 3. P?P 幂等律 4. P?Q 5. P?Q 交换律 ? P ? P ? P ?Q?P ?Q?P (三)常用的等价公式 三、公式的等价 6. (P?Q)? R 7. (P?Q)?R 结合律 8. P?(Q?R ) 9. P?(Q ? R) 分配律 10. ? (P?Q) 11. ? (P?Q) 德 ·摩根律 ? P?(Q?R) ? P?(Q?R) ?(P?Q) ?(P?R) ?(P?Q) ? (P?R) ? ? P?? Q ? ? P??Q 常用的等价公式 三、公式的等价 12. P?(P?Q) 13. P?(P?Q) 吸收律 14. P?T 15. P?F 零律 16. P?F 17. P?T 同一律 ? P ? P 19. P?? P 18. P?? P 否定律 ? P ? P ? T ? F ? F ? T 常用的等价公式 三、公式的等价 20. P?Q 21. ? (P?Q) 22. P?Q 23. P ? (Q ?R) 24. P ?Q 25. P ?Q ? ? P ? Q ? P ? ? Q 26. ?(P ? Q) ? (P?Q) ? (Q ? P) ? (P ? Q) ?(? P ? ? Q) ? P ? ? Q ? (P ? Q) ?R ? ?Q??P 常用的等价公式 三、公式的等价 例1.3.4 试证P ? (Q ?R) ? (P ? Q) ?R 证： P ? (Q ?R) ? ? P ? (Q?R) ? ? P ? (? Q?R) ? (? P ? ? Q) ?R ? ?(P ?Q) ?R ? (P ?Q) ? R E20 德 ·摩根律 结合律 E20 E20 注 P ? (Q ?R) ? (P ? Q) ?R 三、公式的等价 证： 注意到P ?Q ? (P ? Q) ?(? P ? ? Q)，有 例1.3.5 证明?(P ? Q) ? P ? ? Q P ? ? Q ? P ? ? Q ? (P ? ? Q) ?(? P ? Q). (1) ?(P ? Q) ? 即 又 (P ? ? Q) ?(? P ? ? ? Q). ?(P ? ? Q) ?(? P ? Q). (2) 由(1), (2)两式，得 ?(P ? Q) ?P ? ? Q 三、公式的等价 (?P ?? Q) ?(P ? Q) ?(?P ? P) ? (? Q ? P) ? (? P ? Q) ? (? Q ? Q) 即，如果 则A ?B. 三、公式的等价 例如 (P?Q)?R中以Q?P代P?Q ，得 (P?Q)?R ? (Q?P)?