951等值式与置换规则 豪 口第二类等值式: 4.量词分配等值式 x在公式A(X)和B(x)中自由出现 (1)Vx(A(x)∧B(X)分XA(x)∧XB(X) (2 3x (A(X)VB(X)+3X AXv3XB(X (3)3x(A(X)→B(X)分VXA(xX)→XB(X)9 ❑ 第二类等值式： 4. 量词分配等值式 x在公式A(x)和B(x)中自由出现 (2) x (A(x)  B(x))   x A(x)  x B(x) (1) x (A(x)  B(x))  x A(x)  x B(x) (3) x (A(x) → B(x))  x A(x) →x B(x) 5.1 等值式与置换规则