Questão FC509400
Considerando que alguns animais voam e todos os pássaros voam, é correto afirmar que:
Lógica de Proposições
IBFC · 2023
Considerando que alguns animais voam e todos os pássaros voam, é correto afirmar que:
- Todos os pássaros são animais
- Todos os animais são pássaros
- Pode haver animal que é pássaro
- Não pode haver pássaro que não é animal
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Das duas afirmações do enunciado podemos representar por conjuntos: seja A o conjunto dos animais, V o conjunto dos seres que voam e P o conjunto dos pássaros. "Alguns animais voam" significa \(A \cap V \neq \varnothing\). "Todos os pássaros voam" significa \(P \subseteq V\).
Como \(P\) está contido em \(V\) e há elementos comuns entre \(A\) e \(V\), não há contradição em que um desses elementos comuns também pertença a \(P\). Portanto é possível que exista um elemento \(x\) tal que \(x \in A\) e \(x \in P\), ou seja, pode haver animal que é pássaro.
Em termos práticos, basta construir um modelo no qual um ser que é animal e voador seja também classificado como pássaro; isso respeita ambas as sentenças dadas.
Conteúdo do catálogo FC Concursos · Atualizado em