第一部分 数理逻辑 第五章 一阶逻辑等值演算与推理

1 - 要点
等值式：设A，B是一阶逻辑公式，若A↔B为永真式，则称A与B等值，记为A⇔B
基本等值式：
第一组：命题逻辑中基本等值式的代换实例
第二组：一阶逻辑中的重要公式
（1）在有限个体域中的重要等值式
设个体域D={ a₁，a₂，…，a_n}，则：∀xA(x)⇔A(a₁)∧A(a₂)∧…∧A(a_n)，∃xA(x)⇔A(a₁)∨A(a₂)∨…∨A(a_n)，
（2）量词否定等值式
¬∀xA(x)⇔∃x¬A(x)，¬∃xA(x)⇔∀x¬A(x)
（3）量词辖域收缩与扩张等值式：下面公式中，A(x)是含x自由出现的公式，B中不含x的自由出现，则
∀x(A(x)∨B)⇔∀xA(x)∨B
∀x(A(x)∧B)⇔∀xA(x)∧B
∀x(A(x)→B)⇔∃xA(x)→B
∀x(B→A(x))⇔B→∀xA(x)
∃x(A(x)∨B)⇔∃xA(x)∨B
∃x(A(x)∧B)⇔∃xA(x)∧B
∃x(A(x)→B)⇔∀xA(x)→B
∃x(B→A(x))⇔B→∃xA(x)
（4）量词分配等值式
∀x(A(x)∧B(x))⇔∀xA(x)∧∀xB(x)