05. Tautologia

Una tautologia logica è una proposizione composta che risulta vera per qualsiasi valore di verità assunto dalle proposizioni che la compongono.

Esempi di tautologie sono i seguenti:

Tutti i corvi sono neri oppure esistono corvi che non sono neri.

Se oggi è lunedì allora oggi è lunedì

Se un numero è pari allora è divisibile per due

In formule la proposizione precedente può genericamente essere scritta nel seguente modo:

p→p (legge di identità)

La tavola di verità della legge di identità è la seguente:

In generale una tautologia afferma una ovvietà e quindi sostanzialmente è priva di contenuto informativo.