Quantificatore esistenziale (simbolo): differenze tra le versioni

Nessun cambiamento nella dimensione ,  6 anni fa
Ho cambiato il simbolo ":", che si può confondere con la divisione, con "|" (...tale che...)
Nessun oggetto della modifica
(Ho cambiato il simbolo ":", che si può confondere con la divisione, con "|" (...tale che...))
Un esempio di utilizzo del quantificatore esistenziale è il seguente:
<center>
<math>\forall x \exist y:| x^2\,=\, y</math>
</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]].
Utente anonimo