Flashcard FC329784
Como reescrever logicamente a implicação p → q usando apenas negação e disjunção?
Lógica de Proposições
IBGP · 2021
Como reescrever logicamente a implicação p → q usando apenas negação e disjunção?
Mostrar resposta e comentário
Resposta
\(p \to q \equiv \neg p \lor q\)Explicação:
Se p é verdadeira, \(p\to q\) exige que q seja verdadeira; na disjunção \(\neg p\) é falsa, restando \(q\).
Se p é falsa, \(p\to q\) é verdadeira; na disjunção \(\neg p\) é verdadeira, tornando \(\neg p\lor q\) verdadeira.
Exemplo:
Seja p = “faço revisão” e q = “acerto a prova”.
\(p\to q\) = “Se faço revisão, então acerto a prova”.
\(\neg p\lor q\) = “Não faço revisão ou acerto a prova”.
Se p=V e q=F então \(p\to q\)=F e \(\neg p\lor q\)=F; nos demais casos ambos são V, logo são equivalentes.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329369
Conteúdo do catálogo FC Concursos · Atualizado em