Tautologie (logica)

Een tautologie is een propositie in de propositielogica die alleen al om de regels van de propositielogica altijd waar is. Het begrip tautologie werd door Ludwig Wittgenstein ingevoerd. Bijvoorbeeld de zin:

het regent of het regent niet

Deze zin is altijd waar. In een logische formule ziet deze tautologie er zo uit:

$r\lor \lnot r$

Om te controleren of een logische formule een tautologie is, kan men een waarheidstabel construeren voor de formule. Als blijkt dat de formule waar is voor elke mogelijke toekenning van waar of onwaar aan de atomaire formules, dan is het een tautologie.

Construeren van tautologieën

In de volgende formules betekent

• $\neg$ : niet, negatie, ontkenning
• $A\equiv B$ : A is equivalent aan B, equivalentie, gelijkwaardigheid
• $A\rightarrow B$ : als A dan B, implicatie, gevolgtrekking
• $A\vee B$ : A of B, disjunctie
• $A\wedge B$ : A en B, conjunctie

Tautologieën kunnen geconstrueerd worden door logische equivalenties te gebruiken: als $A\equiv B$ dan is $A\rightarrow B$ een tautologie evenals $B\rightarrow A$. Bijvoorbeeld: $P\rightarrow Q\equiv \neg Q\rightarrow \neg P$ wordt $(P\rightarrow Q)\rightarrow (\neg Q\rightarrow \neg P)$ en $(\neg Q\rightarrow \neg P)\rightarrow (P\rightarrow Q)$. Hierin is de propositie $P\rightarrow Q\equiv \neg Q\rightarrow \neg P$ een voorbeeld van contrapositie.

Een andere manier om tautologieën te construeren is door regels uit de propositielogica te gebruiken. Zo geldt er dat als $A\rightarrow B$ en $B\rightarrow C$ dat er ook geldt $A\rightarrow C$. Een tautologie kan nu geconstrueerd worden door dit samen te voegen: $(A\rightarrow B)\rightarrow (B\rightarrow C)\rightarrow (A\rightarrow C)$.

Enkele schema's voor tautologieën zijn:

$(P\rightarrow Q)\land (Q\rightarrow R)\rightarrow (P\rightarrow R)$, voorbeeld van transitiviteit

$(P\rightarrow Q)\land (R\rightarrow Q)\rightarrow (P\vee R\rightarrow Q)$

$(P\rightarrow Q)\land (P\rightarrow R)\rightarrow (P\rightarrow Q\wedge R)$

$(P\rightarrow (Q\rightarrow R))\rightarrow (Q\rightarrow (P\rightarrow R))$

$(P\rightarrow (Q\rightarrow R))\rightarrow (P\wedge Q\rightarrow R)$