Flashcard FC302813
Qual é a negação lógica de um condicional \(p \to q\)?
Lógica de Proposições
FGV · 2023
Qual é a negação lógica de um condicional \(p \to q\)?
Mostrar resposta e comentário
Resposta
\( \neg(p \to q) \equiv p \land \neg q\)Um condicional é falso apenas quando o antecedente é verdadeiro e o consequente é falso.
Assim, negar \(p \to q\) afirma exatamente que o antecedente ocorre e o consequente não ocorre, ou seja \(p \land \neg q\).
Exemplo:
Se \(p\) = está chovendo e \(q\) = uso guarda‑chuva.
Condicional: Se está chovendo, então uso guarda‑chuva (\(p \to q\)).
Negação: Está chovendo e não uso guarda‑chuva (\(p \land \neg q\)).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299903
Conteúdo do catálogo FC Concursos · Atualizado em