Theorem T000524

∧ ¬ ∧ ¬ ⇒ ¬

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

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