Theorem 19.29

Theorem 19.29 of [Margaris] p. 90. See also 19.29r. (Contributed by NM, 21-Jun-1993.) (Proof shortened by Andrew Salmon, 13-May-2011.)

Conclusion

\( \vdash \forall x \, \varphi \wedge \exists x \, \psi \rightarrow \exists x \, (\varphi \wedge \psi) \)

Proof

pm3.2

aleximi _

imp _