等值式.pptVIP

* 第二章 命题逻辑等值运算 第1节 等值式 第2节 析取范式与合取范式 第3节 联结词的完备集 一、等值式的概念 二、用真值表判断公式的等值 第1节 等值式 三、等值演算 一、等值式的概念 1、定义 设公式A,B共同含有n个命题变项，可能A或B有哑元，若A与B有相同的真值表，则说明在 个赋值的每个赋值下，A与B的真值都相同。于是等价式A?B应为重言式。 设A,B式两个命题公式，若A, B构成的等价式A?B为重言式，则称A与B是等值的，记作 A 　 B. 定义2.1 注 意 判断等值式有如下方法： 1）真值表 2）等值演算 3）范式 定义中给出的符号 不是联结词符，它是用来说明A与B等值（A?B是重言式）的一种记法，因而是元语言符号。不要将它与 ? 混为一谈，同时也要注意它与一般等号 “=” 的区别。 二、用真值表判断公式的等值 例2.1 判断下面两个公式是否等值： ┐(p∨q)与┐p∧┐q 解: 用真值表法判断┐(p∨q) ?(┐p∧┐q)是否为重言式。 从表2.1中可知它是重言式，即 ┐(p∨q) ? (┐p∧┐q) ┐(p∨q) ? (┐p∧┐q)的真值表 表2.1 例2.2 判断下列各组公式是否等值： （1）p→(q→r)与(p∧q)→r （2）(p→q)→r与(p∧q)→r 解: 表2.2中列出了p→(q→r)，(p∧q)→r，(p→q)→r的真值表 表2.2 3个公式的真值表 可见??p→(q→ r ) (p∧q)→r , 且?????(p→q)→r (p∧q)→r . 三、等值演算 虽然用真值法可以判断任何两个命题公式是否等值，但当命题变项较多时，工作量是很大的.可以先用真值表验证一组基本的又是重要的重言式，以它们为基础进行公式之间的演算，来判断公式之间的是否等值. 我们给出 16 组重要的等值式，在下面公式中出现的 A, B, C 仍然是元语言符号，它们代表任意的命题公式. 4. 结合律 (A∨B)∨C A∨(B∨C) ， (A∧B)∧C A∧(B∧C) （2.4） 5. 分配律 A∨(B∧C) (A∨B)∧(A∨C) （∨对∧的分配律） （∧对∨的分配律） A∧(B∨C) (A∧B)∨(A∧C) （2.5) 3. 交换律 ?A∨B B∨A， A∧B B∧A （2.3） 2. 幂等律 A A∨A, A A∧A （2.2） 1. 双重否定律 A ┐┐A （2.1） 重要等值式 ┐(A∧B) ┐A∨┐B （2.6） ?6. 德摩根律 ┐(A∨B) ┐A∧┐B， 10. 排中律 A∨┐A 1 （2.10） ?11. 矛盾律 A∧┐A 0 （2.11） 9. 同一律 A∨0 A， A∧1 A （2.9） 8. 零律 A∨1 1, A∧0 0 （2.8） 7. 吸收律 A∨(A∧B) A， A∧(A∨B) A （ 2.7） 重要等值式 15. 等价否定等值式 A? B ┐A? ┐B （2.15） 16. 归谬论 ?(A→B)∧(A→┐B) ┐A （2.16） 14. 假言易位 A→B ┐B→┐A （2.14） 12. 蕴涵等值式 A→B ┐A∨B （2.12） 13. 等价等值式 (A B) (A→B)∧(B→A) （2.13） 重要等值式 (1) 以上16组等值式包含了24个重要等值式。 (2)由于A, B, C可以代表任意的公式，因而以上各等值式都是用元