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

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.