Utilizzo dei quantificatori universali......

[Enzopre]

Salve a tutti
Volevo chiedere aiuto su un piccolo dubbio che ho riguardo ai quantificatori universali della logica dei predicati.
In particolare il dubbio è il seguente:

Scrivere \(\displaystyle \forall x,y \) ( x < y ) è la stessa cosa che scrivere \(\displaystyle \forall x, \forall y \)( x < y ) ??

Grazie anticipatamente.

[j18eos]

Sì, anzi, il secondo modo in effetti è quello rigorosamente corretto; per comodità di scrittura, lettura, esposizione e chi più ne ha più ne metta si preferisce il primo!

Pensa te a voler scrivere "per ogni numero naturale" nel secondo modo

[Enzopre]

thanks per la risposta. Molto chiaro e gentile.

[j18eos]

It's a pleasure!