西安电子科技大学S2.4.2含量词的基本永真式软件学院茶教茶教家【例题】已知(xA()AB())()(A()A()B()成立，证明(x)(A(x) VB(x))(日x)(A(x) Y(x)B(x)也成立。证明：因为有(Vx)(A(x)AB())台(Vx)(A(x)A(x)B(x)，用-A(x)置换A(x),-B(x)置换 B(x)得(Vx)(-A(x)A-B(x)(Vx)-A(x)A(x)-B(x)。(Vx)(-A(x)AB(x)(x)(-(A() Y-B(x)))-(x) (A(x) VB(×))(X)-A(X)A(X)-B(X)-(X)A(X)A-(X)B()-((EX)A(X) V(X)B(X)所以有-(x)(A(x)B(x)-((x)A()V(x)B(x)，即(Fx)(A(x) VB(x)) (x)(A(x) Y (x)B(x)西安电子科技大学 §2.4.2 含量词的基本永真式 软件学院