Si consideri la seguente affermazione: “Ogni numero pari è somma di due numeri primi”. Qual è la sua negazione logica?
Il quiz verte sulla negazione di una affermazione: Ogni numero pari è somma di due numeri primi.
Grazie alla parola “ogni”, che assume un ruolo di PAROLA CHIAVE, riconosciamo in questa affermazione la struttura logica di un quantificatore assoluto.
Applichiamo la regola:
« La NEGAZIONE di TUTTI SONO equivale a ALMENO UNO NON È »
È facile riconoscere che la risposta C) esprime l’applicazione della regola.
CONSIGLIO: si procede più agevolmente applicando la regola ed andando a cercare la risposta corretta tra quelle proposte piuttosto che analizzare singolarmente le varie risposte. In particolare la risposta E è quella che più facilmente confonde il lettore; essa è errata perché risponde alla generalizzazione (ogni numero…) con un’altra generalizzazione (nessun numero..). La generalizzazione del quantificatore assoluto ogni invece viene negata con il parziale (almeno uno..).