Questão FC688302
Assinale a opção que apresenta a negação da proposição “Todo vampiro é notívago”.
Lógica de Proposições
QUADRIX · 2025
Assinale a opção que apresenta a negação da proposição “Todo vampiro é notívago”.
- Nenhum vampiro é notívago.
- Se alguém não é notívago, então não é um vampiro.
- Algum vampiro não é notívago.
- Todo notívago é um vampiro.
- Se alguém é vampiro, então é notívago.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Partimos da proposição "Todo vampiro é notívago". O termo Todo indica um quantificador universal, que afirma algo para todos os elementos da classe.
Formalmente: \( \forall x\,(V(x)\rightarrow N(x)) \), onde \(V(x)\) = "x é vampiro" e \(N(x)\) = "x é notívago".
A negação de uma afirmação universal transforma-se em uma afirmação existencial: \( \neg\forall x\,\phi(x) \equiv \exists x\,\neg\phi(x)\).
Aplicando: \( \neg\forall x\,(V(x)\rightarrow N(x)) \equiv \exists x\,(V(x)\land\neg N(x))\).
Em linguagem natural isso é exatamente: Algum vampiro não é notívago, ou seja, existe pelo menos um vampiro que não é notívago. Portanto essa é a negação correta.
Conteúdo do catálogo FC Concursos · Atualizado em