Quantificatore esistenziale (simbolo): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
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 |
m →Storia e utilizzo: Fix tecnico tag HTML obsoleto per Wikipedia:Bar/Discussioni/Passaggio da Tidy a RemexHTML: c'è del lavoro da fare using AWB |
||
Riga 9:
Un esempio di utilizzo del quantificatore esistenziale è il seguente:
<div align="center">
<math>\forall x \exist y| x^2\,=\, y</math>
</
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]].
| |||