Quantificatore esistenziale (simbolo): differenze tra le versioni

aggiunto l'esistenza e unicità con ∃!
(Ho cambiato il simbolo ":", che si può confondere con la divisione, con "|" (...tale che...))
(aggiunto l'esistenza e unicità con ∃!)
</center>
che si legge "''per ogni [[x]] '''esiste una''' [[y]] tale che x al [[quadrato (algebra)|quadrato]] è [[uguale]] a y''". Esistono naturalmente anche numerosi altri usi, dove ∃ può assumere anche il significato di ''qualche'' (in opposizione a ∀, che vuol dire ''tutti''); spesso lo si usa unito ad altri [[simbolo|simboli]] di logica matematica, quali [[Congiunzione logica (simbolo)|et]], [[Disgiunzione logica (simbolo)|vel]] o [[Negazione logica (simbolo)|non]].
 
Un altro contesto di utilizzo è per definire l'unicità aggiungendo un punto esclamativo dopo di esso " ∃! ". In questa forma si legge "esiste ed è unico".
 
== Bibliografia ==
Utente anonimo