- #1
IntroAnalysis
- 64
- 0
Homework Statement
[itex]\forall[/itex]a [itex]\in[/itex]A[itex]\exists[/itex]b[itex]\in[/itex]B(a[itex]\in[/itex]C [itex]\leftrightarrow[/itex] b[itex]\in[/itex]C).
Homework Equations
The Attempt at a Solution
\forallThis is equivalent to [itex]\exists[/itex]a[itex]\in[/itex]A[itex]\neg\exists[/itex]b[itex]\in[/itex]B(a[itex]\in[/itex]C [itex]\leftrightarrow[/itex]b[itex]\in[/itex]C).