Flashcard FC831612
Qual é a negação lógica de uma proposição com quantificador universal?
Lógica de Proposições
SELECON · 2021
Qual é a negação lógica de uma proposição com quantificador universal?
Mostrar resposta e comentário
Resposta
Existe pelo menos um elemento cujo predicado é falso.Explicação: A negação de ∀x P(x) é logicamente equivalente a \( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x) \), ou seja, afirmar que nem todos satisfazem P é afirmar que existe pelo menos um que não satisfaz P.
Exemplo: Afirmação: "Todos os empregados têm seguro."
Negação: "Existe pelo menos um empregado que não tem seguro."
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829098
Conteúdo do catálogo FC Concursos · Atualizado em