Flashcard FC302953
Como se nega uma afirmação universal do tipo "Todo x, se P(x) então não Q(x)"?
Lógica de Proposições
FGV · 2023
Como se nega uma afirmação universal do tipo "Todo x, se P(x) então não Q(x)"?
Mostrar resposta e comentário
Resposta
Existe pelo menos um x tal que P(x) e Q(x).Explicação:
Negar um quantificador universal troca-o por existencial e nega o predicado. Assim:
\( \neg\forall x\,[P(x)\to\neg Q(x)] \equiv \exists x\,[P(x)\land Q(x)] \).
Exemplo:
Frase universal: "Todo produto testado não é defeituoso."
Negação correta: "Existe pelo menos um produto que foi testado e é defeituoso."
⬇️ Assista à vídeoaula ⬇️ Aula sobre Lógica de Argumentação
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/300043
Conteúdo do catálogo FC Concursos · Atualizado em