Theorem T000642
¬ ∧ ∧ ¬ ⇒ ¬
The converse ( ¬ ⇒ ¬ ∧ ∧ ¬ ) cannot be proven from other theorems or disproven from a counterexample.
You can learn how to contribute a theorem or counterexample here.
The converse ( ¬ ⇒ ¬ ∧ ∧ ¬ ) cannot be proven from other theorems or disproven from a counterexample.
You can learn how to contribute a theorem or counterexample here.