西安电子科技大学推理证明方法$1.5.3软件学院茶2. 反证法要证明P→Q，即证明-PVQ为重言式，也即证明PA-Q为矛盾式。简单的说如果由PA-Q成立可以推出矛盾，说明它是不可满足，即PA-Q是矛盾式。西安电子科技大学 §1.5.3 推理证明方法 软件学院 2. 反证法