Como alguns loiros são casados, marcamos a intersecção entre esses dois conjuntos (onde eles se sobrepõem) para mostrar que ali existem engenheiros. Nenhum engenheiro antigo é casado, os conjuntos "Antigos" e "Casados" são completamente separados (disjuntos).

O resultado lógico, é que o conjunto de "Engenheiros Antigos" está excluído da intersecção de "Loiros" e "Casados". Portanto, se um engenheiro é antigo, podemos afirmar com certeza que ele não é um loiro casado.

Sempre que aparecer: “Alguns A são B”

Traduza automaticamente na cabeça: Existe um A que é B

Nesse caso: Existe um loiro casado

Quando aparecer: “Nenhum A é B”

Traduza: A e B não podem andar juntos

Nesse caso: antigo não pode ser casado

já tem:

• Existe loiro casado
• Mas antigo não pode ser casado

Agora vem o raciocínio automático: Se ele é casado, então não pode ser antigo

Existe loiro que NÃO é antigo

Alternativa D

T ----> A

A ----> N

N ----> A

A ----> T

Fui por eliminação kk

Para resolver questões de lógica de argumentação que envolvem quantificadores (todo, algum, nenhum), a melhor estratégia é utilizar os Diagramas de Venn. Eles ajudam a visualizar as intersecções e exclusões entre os grupos.

• "Alguns dos engenheiros loiros são casados": Isso significa que existe uma intersecção entre o conjunto dos Loiros e o dos Casados. Há pelo menos uma pessoa que pertence aos dois grupos.
• "Nenhum engenheiro antigo é casado": Isso significa que os conjuntos Antigos e Casados são disjuntos, ou seja, eles não se tocam. Não existe ninguém que seja antigo e casado ao mesmo tempo.

A) Nenhum engenheiro loiro é antigo: Não podemos afirmar isso. O conjunto dos Loiros poderia ter uma parte que encosta nos Antigos, desde que essa parte não seja de pessoas casadas.

B) Todo engenheiro loiro é antigo: Incorreto. Sabemos que alguns loiros são casados, e como nenhum casado é antigo, esses loiros casados certamente não são antigos.

C) Nenhum engenheiro antigo é loiro: Também não podemos afirmar. Pode haver engenheiros antigos que são loiros, desde que eles não sejam casados.

D) Algum engenheiro loiro não é antigo: Correto. Sabemos que existe um grupo de engenheiros que é, simultaneamente, Loiro e Casado. Como a segunda premissa diz que nenhum casado é antigo, esse grupo específico de "loiros casados" obrigatoriamente não pode ser antigo. Portanto, existe, no mínimo, um engenheiro loiro que não é antigo.

E) Algum engenheiro loiro antigo é casado: Incorreto e contraditório. Se a pessoa é casada, ela não pode ser antiga (segundo a segunda premissa).

A lógica aqui é a transitividade negativa: se o "Loiro A" é "Casado" e nenhum "Casado" é "Antigo", logo o "Loiro A" não é

"Antigo".

Gabarito: Letra D.