Well, in this case i is equal to true and h for false.
$ \underline{4} = \{ 1,2,3,4\}$ The statements are the following:
$ \{a \in \underline{4}:(\exists x \in \underline{4})(Q(a,x) \land Q(x,x)$
Well I think that I have to check the pairs:$(1,x) \land (x,x)$,$(2,x) \land (x,x)$,$(3,x) \land (x,x)$,$(4,x) \land (x,x)$ and these $(x,x)$pairs are in the diagonal, and in the diagonal these are always i so true. But how can I give the elements of the set? I still can see what would be the difference if I would use $\forall$ instead of $\exists$.
The other statement is:
$ \{a \in \underline{4}:(\forall x \in \underline{4})(\exists y \in \underline{4})(Q(a,x) \implies Q(x,y) \land Q(y,a)))\}$
I'm a little bit perplexed again