Theorem T000622

∧ ¬

The converse ( ∧ ¬ ) follows from these theorems:

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