Theorem
jca31
Join three consequents. (Contributed by Jeff Hankins, 1-Aug-2009.)
Hypotheses
jca31.1
\( \vdash \varphi \rightarrow \psi \)
jca31.2
\( \vdash \varphi \rightarrow \chi \)
jca31.3
\( \vdash \varphi \rightarrow \theta \)
Conclusion
\( \vdash \varphi \rightarrow \psi \wedge \chi \wedge \theta \)
Proof
l0
jca31.1
jca31.2
l2
jca
l0
_
jca31.3
jca
l2
_
This is the content in the right pane.