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.

Sito: 7ecnologie

Sezione: 05. Logica Matematica

Capitolo: 05. Tautologia

Indice dei capitoli: 00. Risorse - 01. Proposizioni logiche - 02. Tavola di verità - 03. Connettivi logici - 04. Implicazione inversa e contronominale - 05. Tautologia - 06. Leggi di De Morgan - 07. Proprietà distributiva - 08. Caso di studio - 09. Tutorial - 98. Esercizi