Theorem T000622

∧ ∧ ¬ ⇒

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

Id If Then
T599
T681
T764
T729
T601
T765
T728
T584 ¬
T545 ∧
T598