Diskret matte: tolkning av påstående med mer än 2 kvantorer

Hur brukar man läsa ut påståenden med fler än två kvantorer? Exempelvis

$\forall x : \exists y : \forall z : G (x, y, z)$

För alla x det finns ett y som för alla z ger att G(x,y,z) är sant. (G är en öppen utsaga)

Är det rätt?

Så tänker jag också.

Låt x och y vara element i mängden av människor och t vara någon tidpunkt.

Alla x: existerar y: existerar t : x älskar y vid t

Känner du igen den?

Svara