Theorem
pm2.83
Theorem *2.83 of [WhiteheadRussell] p. 108. Closed form of
syld
. (Contributed by NM, 3-Jan-2005.)
Conclusion
\( \vdash (\varphi \rightarrow \psi \rightarrow \chi) \rightarrow (\varphi \rightarrow \chi \rightarrow \theta) \rightarrow \varphi \rightarrow \psi \rightarrow \theta \)
Proof
imim1
imim3i
_
This is the content in the right pane.