Theorem
annim
Express a conjunction in terms of a negated implication. (Contributed by NM, 2-Aug-1994.)
Conclusion
\( \vdash \varphi \wedge \neg \psi \leftrightarrow \neg (\varphi \rightarrow \psi) \)
Proof
iman
con2bii
_
This is the content in the right pane.