Flashcard FC98695
Quando uma fórmula proposicional é considerada uma tautologia?
Lógica de Proposições
CEBRASPE (CESPE) · 2018
Quando uma fórmula proposicional é considerada uma tautologia?
Mostrar resposta e comentário
Resposta
É verdadeira para todas as avaliações das suas variáveis proposicionais.Uma fórmula é tautologia quando, independentemente dos valores de verdade das variáveis, o resultado é sempre V.
Logo, se o consequente de uma implicação for tautologia, a implicação inteira será sempre verdadeira.
Exemplo:
Considere \(P\to(P\vee Q)\).
- Se \(P\) é verdadeira, então \(P\vee Q\) é verdadeira, logo a implicação vale V.
- Se \(P\) é falsa, a implicação \(P\to(P\vee Q)\) é V por definição de implicação.
Portanto, \(P\to(P\vee Q)\) é uma tautologia.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tautologia, Contradição e Contingência
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/94277
Conteúdo do catálogo FC Concursos · Atualizado em