Questão FC262323
Se nenhum X é Y, e todos os Z são Y, então, é correto afirmar que:
Lógica de Proposições
IDECAN · 2024
Se nenhum X é Y, e todos os Z são Y, então, é correto afirmar que:
- Nenhum Z é X.
- Alguns X são Z.
- Alguns Z são X.
- Todos os Z são X.
Mostrar resposta e comentário
Gabarito
A
Comentário do professor
Se nenhum X é Y, isto significa que os conjuntos são disjuntos: \(X \cap Y = \varnothing\).
Se todos os Z são Y, então \(Z\) está contido em \(Y\): \(Z \subseteq Y\).
Dado que todo elemento de \(Z\) pertence a \(Y\) e não existe elemento comum entre \(X\) e \(Y\), nenhum elemento de \(Z\) pode pertencer a \(X\). Formalmente, de \(Z \subseteq Y\) e \(X \cap Y = \varnothing\) segue \(Z \cap X = \varnothing\).
Portanto, conclui‑se logicamente que Nenhum Z é X, que é exatamente a alternativa correta.
Conteúdo do catálogo FC Concursos · Atualizado em