Theorem T000089

∧ ¬ ⇒ ¬