西安电子科技大学$2.6.1谓词逻辑推理证明方法软件学院-【例题)证明(Vx)(P(≤) VQ(×)=(Vx)P(×)V (x)Q(x)方法一、反证法(9) (日x)Q(β)T (8) EGT (2) I(10 -(3x)Q(x) (11 (3x)Q(x)△-(x)Q(x)矛盾）西安电子科技大学 §2.6.1 谓词逻辑推理证明方法 软件学院 【例题】证明 ( ∀x)(P(x)∨Q(x)) ⇒ ( ∀x)P(x)∨( ∃x)Q(x) 方法一、反证法 （9） ( ∃x)Q(x) T (8) EG （10 ） ¬ ( ∃x)Q(x) T (2) I （11 ） ( ∃x)Q(x) ∧ ¬ ( ∃x)Q(x) 矛盾