Riscrivere in simboli la seguente proposizione, utilizzando i quantificatori: “Per ogni coppia di numeri razionali $x$ e $y$, tali che $ x<y$, esiste un  numero razionale $z$ tale che  $y>z$ e $x<z$”.

SOLUZIONE

$\forall  x,  y  \in  \mathbb{Q} \: |\: x<y,\exists \:z\in \mathbb{Q}\: | \:y>z\wedge x<z$.