Theorem pm3.4

Conjunction implies implication. Theorem *3.4 of [WhiteheadRussell] p. 113. (Contributed by NM, 31-Jul-1995.)

Conclusion

\( \vdash \varphi \wedge \psi \rightarrow \varphi \rightarrow \psi \)

Proof

simpr

a1d _