Theorem
3ad2ant3
Deduction adding conjuncts to an antecedent. (Contributed by NM, 21-Apr-2005.)
Hypothesis
3ad2ant.1
\( \vdash \varphi \rightarrow \chi \)
Conclusion
\( \vdash \psi \wedge \theta \wedge \varphi \rightarrow \chi \)
Proof
3ad2ant.1
adantl
_
3adant1
_
This is the content in the right pane.