西安电子科技大学S2.4.2含量词的基本永真式软件学院家【例题1证明：(x)(A(x)B(x))(x)A(x)—(x)B(x)证明：(3x)(A(x)→B()(x)(-A(x)VB(x))(3xA(x) V(x)B(x)(X)A(X)(Ex)B(X)西安电子科技大学 §2.4.2 含量词的基本永真式 软件学院