Help -Negate statement then reexpress as equiv positive statement

[IntroAnalysis]

Homework Statement

\foralla \inA\existsb\inB(a\inC \leftrightarrow b\inC).

Homework Equations

The Attempt at a Solution

\forall

This is equivalent to \existsa\inA\neg\existsb\inB(a\inC \leftrightarrowb\inC).

Homework Statement

 

[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.