¬(P⇒Q)⇒P∧¬Q