Flashcard FC302854
Como transformar \( \alpha\to\beta \) em termos de negação e disjunção?
Lógica de Proposições
FGV · 2021
Como transformar \( \alpha\to\beta \) em termos de negação e disjunção?
Mostrar resposta e comentário
Resposta
\( \alpha\to\beta \equiv \neg\alpha\lor\beta \).Aplicando isso quando a antecedente é uma negação: substitua \( \alpha=\neg p \) e \( \beta=q \), obtendo
\( (\neg p)\to q \equiv \neg(\neg p)\lor q \equiv p\lor q \).
Exemplo:
Sentença: "Se não estudo, então não passo na prova."
Seja \(p\): "estudo" e \(q\): "passo na prova".
Formalmente: \( (\neg p)\to(\neg q) \equiv \neg(\neg p)\lor(\neg q) \equiv p\lor\neg q \).
Interpretação: "Ou estudo, ou não passo na prova."
⬇️ Assista à vídeoaula ⬇️ Aula sobre Equivalências
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/299944
Conteúdo do catálogo FC Concursos · Atualizado em