Sierra Nevada
Formalizzando nel linguaggio della logica enunciativa la prima frase sarebbe:
1) è vero che ho un cane = P
Quindi: "è vero che non è vero che è vero che ho un cane" è semplicemente: (~ P).
Risposta giusta: D
2) la seconda: "Non è vero che mia sorella non ha detto che sono una chimica"
"Mia sorella ha detto che sono una chimica"= P
"Mia sorella non ha detto che sono una chimica" = ~ P
"Non è vero che mia sorella non ha detto che sono una chimica" = ~ (~ P) <---> ~ ~ P <---> P (per la legge della doppia negazione).
Risposta giusta: C
3) Infine per l'ultima serve la logica predicativa del primo ordine: "Nessun gatto non ha la coda" <---> "Tutti i gatti hanno la coda" (per la legge del passaggio da N (universale negativa) ad A (universale affermativa).
Risposta giusta: D