• Se y non occorre (neanche vincolata) in P(x)

$$ \forall x P(x)\Leftrightarrow_{FO}\forall y P(y) \\ \exist x P(x) \Leftrightarrow_{FO}\exist y P(y) $$

• Neanche vincolata perche:

$$ \forall x \exist y Q(x,y) \nLeftrightarrow_{FO} \forall y \exist y Q(x,y) $$