Quantificatore esistenziale (simbolo): differenze tra le versioni

m
(per Filotto: collegamento a voce cancellata (da valutare l'autorevolezza e l'opportunità della presenza in bibliografia); per Manca, si tratta certo di altra persona)
 
Un esempio di utilizzo del quantificatore esistenziale è il seguente:
<div align="center">
<math>\forall x \exist y| x^2\,=\, y</math>
</centerdiv>
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]].
 
867 855

contributi