Theorem
conax1
Contrapositive of [ax-1]. (Contributed by BJ, 28-Oct-2023.)
Conclusion
\( \vdash \neg (\varphi \rightarrow \psi) \rightarrow \neg \psi \)
Proof
ax-1
con3i
_
This is the content in the right pane.