Flashcard FC511671
Qual é a equivalência lógica da condicional \(p \rightarrow q\)?
Lógica de Proposições
IBFC · 2022
Qual é a equivalência lógica da condicional \(p \rightarrow q\)?
Mostrar resposta e comentário
Resposta
\(\lnot p \lor q\)
A condicional \(p \rightarrow q\) é equivalente a \(\lnot p \lor q\), porque a implicação só é falsa quando \(p\) é verdadeira e \(q\) é falsa, nos demais casos é verdadeira, o que coincide com a disjunção \(\lnot p \lor q\).
Exemplo:
Seja \(p\): há engarrafamento, \(q\): chegarei atrasado.
Frase condicional: Se há engarrafamento, então chegarei atrasado.
Equivalente: Não há engarrafamento ou chegarei atrasado.
Em fórmulas: \(p \rightarrow q \equiv \lnot p \lor q\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509303
Conteúdo do catálogo FC Concursos · Atualizado em