Theorem orc

Introduction of a disjunct. Theorem *2.2 of [WhiteheadRussell] p. 104. (Contributed by NM, 30-Aug-1993.)

Conclusion

\( \vdash \varphi \rightarrow \varphi \vee \psi \)

Proof

pm2.24

orrd _