Flashcard FC302843
Qual é a forma logicamente equivalente de uma condicional p → q usando disjunção e negação?
Lógica de Proposições
FGV · 2022
Qual é a forma logicamente equivalente de uma condicional p → q usando disjunção e negação?
Mostrar resposta e comentário
Resposta
¬p ∨ qJustificativa:
A implicação \(p\rightarrow q\) é falsa apenas quando \(p\) é verdadeira e \(q\) é falsa.
A disjunção \(\neg p \lor q\) atribui os mesmos valores de verdade em todos os casos, portanto \(p\rightarrow q \equiv \neg p \lor q\).
Exemplo:
Sentença: Se estudar, então passa no exame.
Forma equivalente: não estuda ou passa no exame.
Em símbolos: \(p\rightarrow q \equiv \neg p \lor q\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299933
Conteúdo do catálogo FC Concursos · Atualizado em