Se todos os pássaros têm asas e algumas aves são pinguins, o que você pode inferir sobre os pinguins?

Alternativa B

O raciocínio lógico apresentado é um exemplo clássico de dedução por silogismo categórico. Para encontrar a resposta correta, precisamos analisar como as propriedades das categorias se relacionam no enunciado.

Desenvolvimento

O problema fornece duas premissas fundamentais para a construção da conclusão:

1. Premissa Universal: "Todos os pássaros têm asas". Isso estabelece uma regra obrigatória para todo o grupo dos pássaros.
2. Premissa de Pertencimento: "Algumas aves são pinguins". Neste contexto, esta frase serve para identificar os pinguins como integrantes da categoria "aves" (ou pássaros).

Em lógica dedutiva básica, quando uma espécie ou grupo específico é definido como parte de uma categoria maior, ele herda automaticamente as características universais daquela categoria.

Análise Detalhada

• Opção A: "Os pinguins têm asas". Embora indique a verdade, é uma afirmação genérica. Em provas de lógica, busca-se a precisão que reflita a universalidade da premissa original.
• Opção B: "Todos os pinguins têm asas". Esta é a conclusão lógica rigorosa. Se a regra diz que todos os pássaros têm asas, e os pinguins são pássaros, então a propriedade se aplica a todos os pinguins.
• Opção C: "Os pinguins são os únicos pássaros que têm asas". O texto não impõe nenhuma exclusividade. Outros pássaros (como galinhas ou pardais) também têm asas.
• Opção D: "Alguns pinguins não têm asas". Esta alternativa contradiz diretamente a primeira premissa, que afirma categoricamente que todos os pássaros possuem asas.

Conclusão

A inferência correta baseia-se na inclusão dos pinguins no conjunto dos pássaros. Como a característica "ter asas" é universal para esse conjunto, ela deve ser atribuída integralmente aos pinguins.

Portanto, a alternativa correta é a B.