Flashcard FC558321
Por que a fórmula (P→Q)→(¬P∨Q) é uma tautologia?
Lógica de Proposições
CPCON UEPB · 2025
Por que a fórmula (P→Q)→(¬P∨Q) é uma tautologia?
Mostrar resposta e comentário
Resposta
A fórmula é uma tautologia porque P→Q é equivalente a ¬P∨Q, logo F reduz-se a (¬P∨Q)→(¬P∨Q), que é da forma A→A e é sempre verdadeira.
• Equivalência lógica: P→Q é logicamente equivalente a ¬P∨Q, permitindo substituir um pelo outro na fórmula.
• Condicional reflexivo: Uma implicação A→A é sempre verdadeira porque não existe situação em que o antecedente seja verdadeiro e o consequente seja falso.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tabela Verdade
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/546097
Conteúdo do catálogo FC Concursos · Atualizado em