Determine qual das seguintes afirmações é uma conclusão lógica baseada nas premissas dadas: 1. Todos os mamíferos têm pelos. 2. O cachorro é um mamífero.

Gabarito

D

Comentário do professor

O cachorro tem pelos. Essa conclusão decorre diretamente das premissas: "Todos os mamíferos têm pelos" (premissa universal) e "O cachorro é um mamífero" (premissa particular).

Formalmente, aplicamos a instanciação universal para obter que, do enunciado geral, segue-se que, para o cachorro, vale a propriedade: \(Mamífero(cachorro)\rightarrow Pelos(cachorro)\).

Em seguida usa-se modus ponens: sabendo que \(Mamífero(cachorro)\) é verdadeiro, podemos inferir \(Pelos(cachorro)\). Essa cadeia lógica — universal → particular → conclusão — é um exemplo clássico de silogismo categórico.

Portanto, a afirmação "O cachorro tem pelos" é uma conclusão logicamente válida e necessária a partir das premissas dadas.