小编cac*_*ghu的帖子

我试图用tatics [intros],[apply],[assume],[destruct],[left],[right],[split]证明这个引理但是失败了.任何人都可以教我如何证明它吗？

Lemma a : (P \/ Q) /\ ~P -> Q.
proof.

一般来说,如何证明诸如false-> P,P/~P等简单命题？