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:
- pode haver vertebrado que é animal
- pode haver vertebrado que não é do Brasil
- não pode haver vertebrado que é do Brasil
- 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