Predicate analysis II

With the specified domain and interpretation, determine which of the formulae below are true and which are false:

Domain: formulae in the language of propositional logic L₁;
Nxy: x is the negation of y;
Exy: x semantically entails y.

1. $\exists$x$\forall$yExy.
2. $\forall$xExx.
3. $\forall$x$\forall$y$\forall$z[[Exy $\wedge$ Eyz] $\rightarrow$ Exz].
4. $\forall$x$\forall$y[[Exy $\wedge$ Eyx] $\leftrightarrow$ x = y].
5. $\exists$x$\exists$y[Nxy $\wedge$ Exy].