|
Introduciamo ore il concetto di quantificatore per potere trattare logicamente anche frasi quali: Tutti i numeri sono divisibili per 1 Esistono numeri non primi La loro introduzione nella logica deriva dalla necessita' di utilizzare la logica per dimostrare che una proprieta' e' valida oppure non e' valida: Una proprieta' e' valida se e' valida sempre, cioe' se e' valida per tutti gli oggetti su cui opera una proprieta' non e' valida se non e' valida per almeno un elemento su cui opera, cioe' se esiste almeno un elemento per cui non e' valida Quindi in logica dovremo indicare come considerare "per tutti gli elementi" oppure "esiste almeno un elemento" Ci serviranno quindi i concetti di: |
|
|
|
|