951等值式与置换规则 豪 口第二类等值式: 1.消去量词等值式 给定有限个体域D={a1,a2,an} VX A(X+Aa1) A(a2A.A A(an XA(x)分A(a1)vA(a)v…vA(an) 2.量词否定等值式 x在公式A(x)中自由出现 VXA(X)冷3xA(x) 彐XA(x)分Vx-A(x) 66 ❑ 第二类等值式： 1. 消去量词等值式 给定有限个体域 D={a1,a2,…,an} 2. 量词否定等值式 x在公式A(x)中自由出现 x A(x)  A(a1)  A(a2) …  A(an) x A(x)  A(a1)  A(a2)  …  A(an) x A(x)  x  A(x) x A(x)  x  A(x) 5.1 等值式与置换规则