Theorem T000843

∧ ¬ ∧ ⇒

The converse ( ⇒ ∧ ¬ ∧ ) cannot be proven from other theorems or disproven from a counterexample.

You can learn how to contribute a theorem or counterexample here.