Quantificatore universale   


Partiamo dalla frase classica:

Tutti gli uomini sono mortali

puo' essere trasformata nella frase equivalente

Per ogni uomo quell'uomo e' mortale

Cioe' se vogliamo dire tutti diremo per ogni e in simboli useremo

Inoltre se specifichiamo l'universo in cui considerare la proprieta' allora potremo sempre dire se la frase e' vera o falsa

Ad esempio in matematica per scrivere:
Per tutti gli x appartenenti ad R vale la proprieta' P(x)
cioe'
Per ogni x appartenente ad R vale la proprieta' P(x) (con R universo)
scriveremo
x R: P(x)

Pagina iniziale Indice di logica Pagina successiva Pagina precedente