Flashcard FC97968
Como se nega formalmente uma proposição universal afirmativa?
Lógica de Proposições
CEBRASPE (CESPE) · 2021
Como se nega formalmente uma proposição universal afirmativa?
Mostrar resposta e comentário
Resposta
\( \neg(\forall x\,P(x)) \equiv \exists x\,\neg P(x)\)Significado: Negar "todo A é B" equivale a afirmar que "existe pelo menos um A que não é B".
exemplo:
Proposição: "Todos os livros da biblioteca estão digitalizados."
Formal (universo = livros): \( \forall x\,D(x)\), com \(D(x)\) = "x está digitalizado".
Negação: "Existe pelo menos um livro da biblioteca que não está digitalizado."
Formal: \( \exists x\,\neg D(x)\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/86484
Conteúdo do catálogo FC Concursos · Atualizado em