Flashcard FC511710
Qual condicional é logicamente equivalente a \(p \vee \neg q\)?
Lógica de Proposições
IBFC · 2018
Qual condicional é logicamente equivalente a \(p \vee \neg q\)?
Mostrar resposta e comentário
Resposta
¬p → ¬qExplicação:
Usa-se a equivalência \(r\to s \equiv \neg r \vee s\).
Tomando \(r=\neg p\) e \(s=\neg q\) obtém-se \(\neg(\neg p)\vee\neg q = p\vee\neg q\), logo \(p\vee\neg q\equiv\neg p\to\neg q\).
exemplo:
Seja \(p\): há combustível, \(q\): o motor funciona.
\(p\vee\neg q\) é "há combustível ou o motor não funciona", equivalente a "se não há combustível, então o motor não funciona", formalmente \(p\vee\neg q\equiv\neg p\to\neg q\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/509342
Conteúdo do catálogo FC Concursos · Atualizado em