«Tutti i felini sono mammiferi. Tutti i gatti sono felini.» Quale conclusione è logicamente corretta?
- A Tutti i gatti sono mammiferi. ✓
- B Alcuni mammiferi non sono gatti, quindi non sono felini.
- C Nessun gatto è un mammifero.
Risposta corretta: A
Spiegazione
Dalle due premesse universali si deduce, per transitività, che tutti i gatti sono mammiferi: se l'insieme dei gatti è incluso in quello dei felini, a sua volta incluso nei mammiferi, allora i gatti sono inclusi nei mammiferi.