Flashcard FC302965
Qual é a negação lógica de um enunciado com quantificador universal?
Lógica de Proposições
FGV · 2022
Qual é a negação lógica de um enunciado com quantificador universal?
Mostrar resposta e comentário
Resposta
Negação: \( \exists x\ \neg P(x) \) — existe pelo menos um elemento que torna P falsa.Se \( \forall x\,P(x) \) é falso, então há pelo menos um contraexemplo, isto é \( \exists x\,\neg P(x) \).
Exemplo:
Enunciado: "Todos os dispositivos têm bateria."
Negação correta: "Existe pelo menos um dispositivo que não tem bateria."
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300055
Conteúdo do catálogo FC Concursos · Atualizado em