FC ConcursosFC Concursos

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:

  1. Nenhum Z é X.
  2. Alguns X são Z.
  3. Alguns Z são X.
  4. 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

Continue aprendendo