Flashcard FC302879
Como representar o condicional \(p\to q\) usando apenas negação e disjunção?
Lógica de Proposições
FGV · 2018
Como representar o condicional \(p\to q\) usando apenas negação e disjunção?
Mostrar resposta e comentário
Resposta
\(\neg p \vee q\)Explicação:
O condicional \(p\to q\) é falso somente quando \(p\) é verdadeira e \(q\) é falsa; a disjunção \(\neg p \vee q\) tem exatamente as mesmas condições de verdade, portanto \(p\to q \equiv \neg p \vee q\).
Exemplo:
Enunciado: "Se chover, então levarei guarda-chuva."
Formalização: \(p\): "chover", \(q\): "levarei guarda-chuva".
Equivalente: "Não chover ou levarei guarda-chuva" — \(\neg p \vee q\).
Verificação rápida dos casos:
1) p=T, q=T → \(p\to q\)=T, \(\neg p\vee q\)=T
2) p=T, q=F → \(p\to q\)=F, \(\neg p\vee q\)=F
3) p=F, q=T → ambos = T
4) p=F, q=F → ambos = T
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299969
Conteúdo do catálogo FC Concursos · Atualizado em