Flashcard FC97610
O que caracteriza uma tautologia em lógica proposicional?
Lógica de Proposições
CEBRASPE (CESPE) · 2023
O que caracteriza uma tautologia em lógica proposicional?
Mostrar resposta e comentário
Resposta
Uma tautologia é uma proposição que é sempre verdadeira, independentemente dos valores das variáveis proposicionais envolvidas.Por exemplo, considere a proposição:
P: "Se está chovendo, então está chovendo ou não está chovendo."
Podemos simbolizá-la como: \(p \to (p \lor \neg p)\).
Independente do valor de \(p\) (verdadeiro ou falso), a proposição \(p \lor \neg p\) é sempre verdadeira, tornando \(P\) uma tautologia. Portanto, a proposição nunca resultará em falso.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tautologia, Contradição e Contingência
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/83106
Conteúdo do catálogo FC Concursos · Atualizado em