Flashcard FC452409
O que é uma tautologia em lógica proposicional?
Lógica de Proposições
Instituto Verbena · 2025
O que é uma tautologia em lógica proposicional?
Mostrar resposta e comentário
Resposta
Uma fórmula que é verdadeira em toda atribuição de valores.Explicação:
Uma tautologia é uma fórmula proposicional cujo valor lógico é sempre verdadeiro para qualquer combinação de valores das proposições atômicas que a compõem, ou seja, todas as linhas da tabela-verdade resultam em verdadeiro.
Exemplo:
Considere a fórmula \( (p \land q) \to p \).
Para \(p=V,q=V\): \(p\land q=V\), \((p\land q)\to p=V\).
Para \(p=V,q=F\): \(p\land q=F\), \((p\land q)\to p=V\).
Para \(p=F,q=V\): \(p\land q=F\), \((p\land q)\to p=V\).
Para \(p=F,q=F\): \(p\land q=F\), \((p\land q)\to p=V\).
Como todas as linhas dão verdadeiro, \( (p \land q) \to p \) é uma tautologia.
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tautologia, Contradição e Contingência
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/451141
Conteúdo do catálogo FC Concursos · Atualizado em