命题逻辑等值演算2.pdf

Discrete Mathematics ©2002 Liu Aimin (刘爱民) 命题逻辑等值演算 2 学习目的 本章主要涉及命题演算中两个重要内容之一：等值 演算。首先理解命题公式等值的含义，掌握构造真 值表和不构造真值表两种方法证明等值式，熟练应 用于命题公式的化简和范式表示 基本内容 命题公式等值关系及其证明 联结词的全功能集 命题公式的范式表示 2-1 Discrete Mathematics ©2002 Liu Aimin (刘爱民) 等值关系 基本概念 等值的两种定义： 如果两个逻辑形式对其中的命题变项的任何取 值，都具有相同的值，则称它们是相等的。 A 、B 等值是指等价式 A↔B 为重言式，记为 A⇔B 。 可直接构造真值表证明两个命题形式的等值。 等值演算 根据已知的等值式，可以推演出另外许多的等值 式，这种推演过程称为等值演算。 这些已知等值式通常是经过证明了的常用等值式， 其中许多是布尔代数或逻辑代数的主要组成部分， 称为等值关系模式： (1) 双重否定律： A ⇔¬¬A (2) 等幂律： (2a) A ⇔ A∧A (2b) A ⇔ A∨A (3) 交换律： (3a) A∧B ⇔ B∧A 2-2 Discrete Mathematics ©2002 Liu Aimin (刘爱民) (3b) A∨B ⇔ B∨A (3c) A∨B ⇔ B∨A (3d) A↔B ⇔ B↔A (4) 结合律： (4a) (A∧B)∧C ⇔ A∧(B∧C) (4b) (A∨B)∨C ⇔ A∨(B∨C) (4c) (A∨B) ∨C ⇔ A∨ (B∨C) (4d) (A↔B) ↔C ⇔ A↔ (B↔C) (5) 分配律： (5a) A∨(B∧C) ⇔ (A∨B)∧(A∨C) (5b) A∧(B∨C) ⇔ (A∧B)∨(A∧C) (5c) A∧(B∨C) ⇔ (A∧B) ∨ (A∧C) (6) 德•摩根律： (6a) ¬(A∧B) ⇔¬B∨¬A (6b) ¬(A∨B)⇔¬B∧¬A (7) 吸收律： (7a) A∨(A∧B)⇔A (7b) A∧(A∨B)⇔A (7c) A∨(¬A∧B)⇔A∨B (7d) A∧(¬A∨B)⇔A∧B (7e) (A∧B) ∨ (¬A∧C) ∨ (B∧C) ⇔ (A∧B) ∨ (¬A∧C) (8) 零