( ∧¬ ) ⇒ ¬

The converse ( ¬ ⇒ ( ∧¬ )) cannot be proven or disproven from other known theorems