Anche qui partiamo dalla frase classica: Tutti gli uomini sono mortali Neghiamo la frase: abbiamo visto che per negare non possiamo dire "nessun uomo e' mortale" ma dobbiamo aggiungere un "non" alla frase precedente Non tutti gli uomini sono mortali e puo' essere trasformata nella frase equivalente Esiste qualche uomo che non e' mortale "Esiste qualche uomo" significa uno oppure due ,... oppure tutti ed e' la negazione della frase iniziale. Cioe' se vogliamo dire non per tutti vale diremo esiste qualcuno per cui non vale Useremo il simbolo  (esiste)
Inoltre se specifichiamo l'universo in cui considerare la proprieta' allora potremo sempre dire se la proposizione e' vera o falsa Ad esempio in matematica per scrivere: Esiste almeno un x appartenente ad R per cui vale la proprieta' P(x) (con R universo) scriveremo x  R: P(x)
|
|
|
|
|