消去量词等值式 设个体域为有限集D={a1,a2,…,an},则有 (1)VxA(x)分A(a1)∧A(a2)∧…AAan) (5.1) (2)彐xA(x)分A(a1)∨A(a2)V…VAa消去量词等值式 设个体域为有限集D={a1,a2,…,an},则有 （1）xA(x)  A(a1 )∧A(a2 )∧…∧A(an ) （2）xA(x)  A(a1 )∨A(a2 )∨…∨A(an ) （5.1）