O silogismo é uma forma de raciocínio dedutivo. Na sua forma...

I)  A premissa 1 nos afirma que nenhuma mulher é tabagista, a 2 nos diz que algumas mulheres são atletas, logo a conclusão é verdadeira, pois se algumas mulheres são atletas e nenhuma mulher é tabagista, logo há atletas não tabagistas.

II)  Aqui a conclusão não é verdade, pois o fato de alguns homens serem tabagistas e alguns tabagistas serem médicos, nada nos garante que estes homens tabagistas são médicos.

III)  De acordo com as premissas 1 e 2, se todo engenheiro é atleta e se alguém for atleta será também engenheiro, logo não há atletas que não sejam engenheiros, conclusão verdadeira.

Analisemos o conjunto II.

 Premissa 1.
Alguns homens são tabajistas, outros não => que o conjunto H (homem) é formado por 2 subconjuntos, H_T (Homens tabajistas) e H_NT(Homens não tabajistas).
Alguns tabajistas são homens, outros são mulheres => o conjunto T(tabajistas) é formado de 2 subconjuntos, H_T e M_T (mulheres tabajistas).

Premissa 2.
Alguns tabajistas são médicos => O conjunto M(médicos) é formado de 2 subconjuntos, T (tabajistas) e NT (não tabajistas).

Perceba que nada implica que pelo menos 1 médico deva ser homem. Da premissa 2 apenas temos que pelo menos 1 médico deva ser tabajista, que pode muito bem ser simplesmente alguém do subconjunto M_T (mulheres tabajistas).


Destarte,  a conclusão do Silogismo não pode ser verificada.

Os outros 2 conjuntos são silogismos => Alternativa (D)