Flashcard FC831625
Como se nega logicamente uma afirmação universal?
Lógica de Proposições
SELECON · 2018
Como se nega logicamente uma afirmação universal?
Mostrar resposta e comentário
Resposta
\( \neg \forall x\,P(x) \equiv \exists x\,\neg P(x)\)Uma sentença universal afirma que todos os elementos satisfazem P, sua negação afirma que existe pelo menos um elemento que não satisfaz P, basta um contraexemplo para refutar a universalidade.
exemplo:
Afirmação: Todos os livros da estante são de história. Formalmente \( \forall x\,H(x)\).
Negação: Existe pelo menos um livro na estante que não é de história. Formalmente \( \exists x\,\neg H(x)\).
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/829111
Conteúdo do catálogo FC Concursos · Atualizado em