Il costume da gru

[piero_1]

Su un numero de LeScienze di qualche tempo fa ho trovato questo quesito, che mi sembra divertente.

Nessun gatto che indossa costumi da gru è avverso alla compagnia.

Nessun gatto senza coda gioca con un gorilla.
I gatti con le vibrisse indossano sempre costumi da gru.
Nessun gatto favorevole alla compagnia ha gli artigli smussati.
Un gatto non ha la coda se ha le vibrisse.

quindi:
Nessun gatto con gli artigli smussati gioca con un gorilla.

la deduzione è logicamente corretta?

[marco99991]

gatto che indossa costumi da gru = A
gatto non avverso alla compagnia = B
gatto con le vibrisse = C
gatto che gioca con un gorilla = D
gatto con gli artigli smussati = E
gatto con la coda = F

dalle ipotesi sappiamo che A$rArr$B, D$rArr$F, C$rArr$A, B$rArr$nonE, C$rArr$nonF. E' vero che E$rArr$nonD ?
Dai conti che ho fatto sembrerebbe di no. In ogni caso belli i problemi sui gatti...

[piero_1]

Vi spiegherei il fatto del costume da gru, ma il mio gatto mi ha negato il permesso perchè la cosa potrebbe essere usata contro di lui.
(Ian Stewart)