Flashcard FC511694
Qual é a negação logicamente equivalente de uma implicação p → q?
Lógica de Proposições
IBFC · 2019
Qual é a negação logicamente equivalente de uma implicação p → q?
Mostrar resposta e comentário
Resposta
p ∧ ¬qExplicação:
\( \neg(p\to q)\equiv p\land\neg q\).
A implicação \(p\to q\) é falsa somente quando \(p\) é verdadeira e \(q\) é falsa, portanto sua negação afirma exatamente que \(p\) ocorre e \(q\) não ocorre.
exemplo:
Se \(p\): estudo para o exame, e \(q\): sou aprovado no exame, então \( \neg(p\to q)\) é equivalente a \(p\land\neg q\), ou seja, estudo para o exame e não sou aprovado no exame.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509326
Conteúdo do catálogo FC Concursos · Atualizado em