Flashcard FC97655
Como expressar o condicional p → q usando apenas negações e disjunção?
Lógica de Proposições
CEBRASPE (CESPE) · 2023
Como expressar o condicional p → q usando apenas negações e disjunção?
Mostrar resposta e comentário
Resposta
\(p\to q \equiv \neg p \lor q\)Explicação:
O condicional é logicamente equivalente à disjunção entre a negação do antecedente e o consequente.
A contrapositiva equivalente é \( \neg q \to \neg p\).
Exemplo:
Considere p = "está chovendo" e q = "o chão está molhado".
Se \(p=true\) e \(q=false\): \(p\to q = false\).
Calcule \( \neg p \lor q = false \lor false = false\).
Portanto \(p\to q\) e \( \neg p \lor q\) concordam neste caso.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83151
Conteúdo do catálogo FC Concursos · Atualizado em