Flashcard FC98404
Qual a diferença entre tautologia e consequência lógica?
Lógica de Proposições
CEBRASPE (CESPE) · 2014
Qual a diferença entre tautologia e consequência lógica?
Mostrar resposta e comentário
Resposta
Uma tautologia é verdadeira em todas as valorações; consequência lógica significa que a fórmula é verdadeira em todas as valorações que tornam as premissas verdadeiras.Explicação:
Tautologia não depende de premissas — é válida universalmente. Consequência lógica (entailment) exige apenas que, sempre que todas as premissas sejam verdadeiras, a conclusão também seja verdadeira.
Logo, uma fórmula pode não ser tautologia e ainda ser consequência lógica de certas premissas.
Exemplo:
Premissa: \(S\land T\)
Conclusão: \(S\)
Observação: \(S\) não é tautologia (ex.: valoração \(S=false,T=true\) torna \(S\) falsa).
Porém, sempre que \(S\land T\) é verdadeira, \(S\) também é verdadeira, logo \(S\) é consequência lógica de \(S\land T\).
⬇️ Assista à vídeoaula ⬇️ Aula sobre Tautologia, Contradição e Contingência
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/89996
Conteúdo do catálogo FC Concursos · Atualizado em