Theorem T000391

¬ ∧ ¬ ⇒ ¬

The converse ( ¬ ⇒ ¬ ∧ ¬ ) follows from these theorems:

Id If Then
T139
T68