基本的等值式（续）量词分配等值式Vx(A(x)B(x)VxA(x)AVxB()3x(A(x)vB(x)<>xA(x)v日xB(x)注意：V对V无分配律，3对无分配律2026/3/156计算机科学与工程系
2026/3/15 计算机科学与工程系 6 基本的等值式(续) 量词分配等值式 x(A(x)B(x))xA(x)xB(x) x(A(x)B(x))xA(x)xB(x) 注意： 对无分配律，对无分配律
第二章谓词逻辑（PredicateLogic)■量词分配等值式设A(x)、B(x)是任意的含自由出现个体变元x的公式，则(1)Vx(A(x) ^B(x))台V x A(x) ^ Vx B(x)(2)3x(A(x) VB(x)) x A(x) V x B(x)(3)Vx(A(x)VB(x)) ± Vx A(x)V Vx B(x)(4)x(A(x) ^B(x)) ≠ x A(x)^ x B(x)2026/3/157计算机科学与工程系
2026/3/15 计算机科学与工程系 7 第二章 谓词逻辑（Predicate Logic） ◼ 量词分配等值式 设A(x)、B(x)是任意的含自由出现个体变元x的公 式，则 (1) x(A(x)∧B(x)) x A(x) ∧ x B(x) (2)x(A(x)∨B(x)) x A(x) ∨ x B(x) (3)x(A(x)∨B(x)) ≠ x A(x)∨ x B(x) (4) x(A(x)∧B(x)) ≠ x A(x)∧ x B(x)