Se: Todo A é B. Todo B é C. Podemos concluir que:

Tradução para lógica de conjuntos:

• “Todo A é B” significa $A \subseteq B$.
• “Todo B é C” significa $B \subseteq C$.

Pela propriedade de transitividade da inclusão de conjuntos: Se $A \subseteq B$ e $B \subseteq C$, então necessariamente $A \subseteq C$.

Logo, podemos concluir que todo A é C.

Analisando rapidamente as demais:

• a) “Todo C é A” ($C \subseteq A$) não decorre das premissas.
• c) “Nenhum A é C” contradiz $A \subseteq C$ (a menos de $A=\varnothing$, mas não é o que se conclui logicamente).
• d) “Alguns C são A” exige existência de pelo menos um elemento em $A$; das premissas não podemos garantir que $A$ não seja vazio.