Tautologia

term: Tautologia etymology: Do grego tauto (mesmo) + logos (dizer) — "dizer a mesma coisa". summary: "Proposição composta que é verdadeira para todas as combinações de valores-verdade." relatedModules: [propositional-logic] seeAlso: [contradicao, tabela-verdade]

Definição

Proposição composta que é verdadeira sob toda atribuição de valores às suas componentes.

Intuição

Sempre verdadeira. Conteúdo informacional zero — não diz nada sobre o mundo.

Exemplos

$P \vee \neg P$ (terceiro excluído) — em linguagem natural, chove ou não chove. Outras: $P \rightarrow P$, $(P \wedge Q) \rightarrow P$.

Registro computacional

Função () => true, independente das entradas.