Se todo X é Y e nenhum Y é Z, então é correto concluir que:

Gabarito

Certo

Comentário do professor

Todo X é Y significa que o conjunto \(X\) está contido em \(Y\), isto é \(X \subseteq Y\).

Nenhum Y é Z indica que \(Y\) e \(Z\) não têm elementos em comum, ou seja \(Y \cap Z = \varnothing\).

Se \(X \subseteq Y\) e \(Y \cap Z = \varnothing\), então todos os elementos de \(X\) pertencem a \(Y\) e, como \(Y\) não intersecta \(Z\), nenhum elemento de \(X\) pode pertencer a \(Z\).

Em termos formais: de \(X \subseteq Y\) e \(Y \cap Z = \varnothing\) segue \(X \cap Z = \varnothing\).

Portanto, a conclusão correta é: nenhum X é Z.