Quantificatore esistenziale (simbolo): differenze tra le versioni