top of page
Proprietà delle proposizioni universali affermative
“Tutti i delta sono lambda”. Da un punto di vista logico equivale a dire che:
A) I non-delta sono non-lambda
B) Tutti i lambda sono delta
C) Solo alcuni delta sono lambda
D) I non-lambda sono non-delta
E) Nessun lambda è delta
Soluzione commentata:
Dire che "Tutti i delta sono lambda" equivale a dire che la classe logica dei delta è una sotto-classe della classe logica dei lambda. La visualizzazione insiemistica di tale relazione aiuterà a leggerne le proprietà. In particolare, se un x non è un lambda è certo che non sarà nemmeno un delta, poiché se fosse un delta, allora sarebbe per ciò stesso anche un lambda, essendo la prima una sotto-classe della seconda.
La risposta esatta è quindi la D. Confronta anche la proprietà del modus tollens.
bottom of page