Help! -Negate statement then reexpress as equiv positive statement

IntroAnalysis

1. The problem statement, all variables and given/known data
[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).



2. Relevant equations



3. The attempt at a solution\forall

This 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).
1. The problem statement, all variables and given/known data
1. The problem statement, all variables and given/known data



2. Relevant equations



3. The attempt at a solution

4189

The first part of your solution appears correct however you still need to negate that which is in the parantheses. It may help to write out the logical operators in words to give you a better picture of the question. I came up with a solution, but I will wait to post till you give the rest of your problem a shot.