Tautologia

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.