Theorem T000846

∧ ∧ ¬ ⇒

Show markdown

• Converse
• References

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

Id	If	Then
T888
T776
T82
T704
T762		¬
T63
T760