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