Theorem
pm2.38
Theorem *2.38 of [WhiteheadRussell] p. 105. (Contributed by NM, 6-Mar-2008.)
Conclusion
\( \vdash (\psi \rightarrow \chi) \rightarrow \psi \vee \varphi \rightarrow \chi \vee \varphi \)
Proof
id
orim1d
_
This is the content in the right pane.