$\forall$ means "for all" or "for each". $\forall x, y \in \mathbb{N} ...$ means that no matter what natural numbers $x, y$ you choose, what follows has to be true. The square brackets are just for grouping things; they behave like parentheses for most purposes. The $\implies$ means "implies". $A \implies B$ means that whenever $A$ is true, $B$ must also be true too.
Knowing all this, let's decipher the notation. All those symbols you posted define a set; let's call it $S$. Then we have $S = \{n \in \mathbb{N}\ |\ (n > 1) \wedge (\forall x, y \in \mathbb{N})[(xy = n) \implies (x = 1 \vee y = 1)] \}$.
The first thing is $n \in \mathbb{N}$. This tells us that whatever the elements of $S$ are, they will be natural numbers. Then comes the vertical bar (a forward slash or a colon are also sometimes used), which tells us that if $n$ is going to be in $S$, then $n$ has to satisfy all the following conditions. We have two conditions joined by an "and" symbol. This means that both have to be true at the same time if $n$ is to be in $S$.
$n > 1$ just means that we exclude $1$ from $S$. The other part is $(\forall x, y \in \mathbb{N})[(xy = n) \implies (x = 1 \vee y = 1)]$. As I said, the square brackets can be replaced by parentheses if you prefer: $(\forall x, y \in \mathbb{N})((xy = n) \implies (x = 1 \vee y = 1))$. The first thing here is $\forall x, y \in \mathbb{N}$. This means that no matter which pair of natural numbers $x,y$ we choose, what follows has to be true. If we manage to find just one pair $x,y$ that don't fulfill the conditions we're about to set, $n$ can't be in $S$.
The condition is: $(xy = n) \implies (x = 1 \vee y = 1)$. So if the product of the $x,y$ we picked is $n$, this means that at least one of them is $1$. This must be true no matter what $x,y$ we use. Therefore, $S$ is the set of prime numbers. Note something: if the $x,y$ we picked don't satisfy $xy = n$, then we don't care what happens next. The definition of $A \implies B$ is that whenever $A$ is true then $B$ must also be true. If $A$ is false, well, we don't care what happens to $B$.
As for your last question: we want to prove that if $A \subseteq B$ and $B \subseteq C$ then $A \subseteq C$. Let's work from the definition: $A \subseteq B$ means that for every $x \in A$ that we choose, then it also happens that $x \in B$. Likewise, $B \subseteq C$ means that for all $x \in B$, $x \in C$. Let's take some $a \in A$. The fact that $A \subseteq B$ tells us that $a \in B$. But since $a \in B$, $B \subseteq C$ implies that $a \in C$. We have proved that no matter what element of $A$ we pick, it will also belong in $C$. Therefore, $A \subseteq C$.