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