Theorem
conax1k
Weakening of
conax1
. General instance of
pm2.51
and of
pm2.52
. (Contributed by BJ, 28-Oct-2023.)
Conclusion
\( \vdash \neg (\varphi \rightarrow \psi) \rightarrow \chi \rightarrow \neg \psi \)
Proof
conax1
a1d
_
This is the content in the right pane.