Theorem 3jaoian

Disjunction of three antecedents (inference). (Contributed by NM, 14-Oct-2005.)

Hypotheses
3jaoian.1
\( \vdash \varphi \wedge \psi \rightarrow \chi \)
3jaoian.2
\( \vdash \theta \wedge \psi \rightarrow \chi \)
3jaoian.3
\( \vdash \tau \wedge \psi \rightarrow \chi \)
Conclusion
\( \vdash (\varphi \vee \theta \vee \tau) \wedge \psi \rightarrow \chi \)
Proof
3jaoian.1
l1
ex _
3jaoian.2
l3
ex _
3jaoian.3
ex _
3jaoi l1 l3 _
imp _