Questão FC300046
A negação de “Nenhuma cobra voa” é
Lógica de Proposições
FGV · 2022
A negação de “Nenhuma cobra voa” é
- Pelo menos uma cobra voa.
- Alguns animais que voam são cobras.
- Todas as cobras voam.
- Todos os animais que voam são cobras.
- Todas as cobras são répteis.
Mostrar resposta e comentário
Gabarito
A
Comentário do professor
A frase "Nenhuma cobra voa" é uma afirmação com um quantificador universal negativo: interpreta-se como \( \forall x\,(Cobra(x)\to \neg Voa(x)) \), o que é equivalente a \( \neg\exists x\,(Cobra(x)\land Voa(x)) \).
Ao aplicar a negação, tiramos a negação exterior: \( \neg(\neg\exists x\,(Cobra(x)\land Voa(x))) \), que se simplifica para \( \exists x\,(Cobra(x)\land Voa(x)) \).
Isso corresponde ao quantificador existencial positivo: existe pelo menos um indivíduo que é cobra e que voa. Em linguagem natural: "Pelo menos uma cobra voa".
Conteúdo do catálogo FC Concursos · Atualizado em