Theorem T000622

∧ ¬

The converse ( ∧ ¬ ) follows from these theorems:

Id If Then
T599
T342
T343
T600
T601
T14
T3
T584 ¬
T107
T598