Flashcard FC558355
Qual é a negação lógica da afirmação universal "Todos x: P(x)"?
Lógica de Proposições
SELECON · 2025
Qual é a negação lógica da afirmação universal "Todos x: P(x)"?
Mostrar resposta e comentário
Resposta
A negação é que existe pelo menos um x tal que P(x) não é verdadeiro.Formalmente, ¬(∀x P(x)) ≡ ∃x ¬P(x).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546131
Conteúdo do catálogo FC Concursos · Atualizado em