Com base nessas premissas, qual conclusão é logicamente correta e mantém a coerência formal?

Gabarito

Certo

Comentário do professor

Todo A é B significa que todo elemento de A pertence a B, ou seja \(A \subseteq B\).

Nenhum B é C indica que não há elementos em comum entre B e C, isto é \(B \cap C = \varnothing\).

Para verificar a conclusão, considere um elemento qualquer x tal que x ∈ A. Pela primeira premissa, x ∈ B. Pela segunda premissa, nenhum elemento de B pertence a C, então x ∉ C.

Como qualquer elemento de A não pode pertencer a C, segue-se que A e C não se intersectam: \(A \cap C = \varnothing\). Logo, a conclusão Nenhum A é C é logicamente válida.