Flashcard FC98720
Qual é a negação lógica de uma proposição universal afirmativa?
Lógica de Proposições
Qual é a negação lógica de uma proposição universal afirmativa?
Mostrar resposta e comentário
Resposta
\(\exists x\,\neg P(x)\)Explicação:
A negação de \(\forall x\,P(x)\) é \(\exists x\,\neg P(x)\).
Em linguagem natural, troca-se "todo" por "algum" e afirma-se que existe pelo menos um contraexemplo que não satisfaz \(P\).
Exemplo:
Proposição: "Todos os livros são técnicos" = \(\forall x\,P(x)\).
Negação correta: "Algum livro não é técnico" = \(\exists x\,\neg P(x)\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94303
Conteúdo do catálogo FC Concursos · Atualizado em