¬(P⇒Q)⇒¬¬P∧¬Q