Flashcard FC511729
Qual é a negação logicamente equivalente de um condicional \(p \rightarrow q\)?
Lógica de Proposições
IBFC · 2017
Qual é a negação logicamente equivalente de um condicional \(p \rightarrow q\)?
Mostrar resposta e comentário
Resposta
\(\neg(p \rightarrow q)\equiv p \land \neg q\)A negação de um condicional conserva o antecedente e nega o consequente, portanto \(\neg(p\rightarrow q)\) equivale a \(p\) e não \(q\).
Exemplo:
Considere \(p\) = "há combustível", \(q\) = "o carro funciona".
Então \(\neg(p\rightarrow q)\equiv p\land\neg q\), que em linguagem natural é: há combustível e o carro não funciona.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509361
Conteúdo do catálogo FC Concursos · Atualizado em