Flashcard FC219611
Como se nega um condicional cujo consequente é uma afirmação universal?
Lógica de Proposições
VUNESP · 2025
Como se nega um condicional cujo consequente é uma afirmação universal?
Mostrar resposta e comentário
Resposta
Negação: mantenha o antecedente e negue o consequente; ao negar um todo obtém‑se um existe com o predicado negado.Explicação completa:
Se temos \( (A)\to (\forall x\,P(x)) \), sua negação é \( (A)\land \neg(\forall x\,P(x)) \), que é equivalente a \( (A)\land (\exists x\,\neg P(x)) \).
Exemplo:
Frase: "Se um veículo é elétrico e é novo, então todo veículo tem garantia"
Simbolização: \( (p\land q)\to r \), com \(r\) = "todo veículo tem garantia".
Negação: \( (p\land q)\land \neg r \equiv (p\land q)\land (\exists x\,\neg\text{Garantia}(x)) \).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Negação e Leis de Morgan
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/219578
Conteúdo do catálogo FC Concursos · Atualizado em