FC ConcursosFC Concursos

Questão FC509404

Se todos os animais são do Brasil e alguns vertebrados não são do Brasil, então é incorreto afirmar que:

Lógica de Proposições

IBFC · 2022

Se todos os animais são do Brasil e alguns vertebrados não são do Brasil, então é incorreto afirmar que:

  1. pode haver vertebrado que é animal
  2. pode haver vertebrado que não é do Brasil
  3. não pode haver vertebrado que é do Brasil
  4. pode haver animal que é vertebrado
Mostrar resposta e comentário

Gabarito

Certo

Comentário do professor

A alternativa afirma que não pode haver vertebrado que é do Brasil, ou seja, que é impossível existir \(x\) tal que \(Vx\) e \(Bx\).

Das premissas temos: Animais ⊆ Brasil, que escrevemos \( \text{Animais} \subseteq \text{Brasil} \), e também \( \exists x\,(Vx \land \neg Bx) \) (alguns vertebrados não são do Brasil).

Nada nessas premissas impede que exista um vertebrado que seja também animal. Se existir \(y\) com \(Vy \land Ay\), então, por \( \text{Animais} \subseteq \text{Brasil} \), segue \(By\). Assim é possível ter \( \exists x\,(Vx \land Bx) \).

Portanto é incorreto afirmar que não pode haver vertebrado que é do Brasil: as premissas admitem modelos onde há vertebrados no Brasil. A alternativa C é falsa.

Conteúdo do catálogo FC Concursos · Atualizado em

Continue aprendendo