Tautologie (logica)
Een tautologie in de logica is een propositie die alleen al op formeel logische gronden waar is. Het begrip tautologie werd door Ludwig Wittgenstein in de logica 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:

 

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
  : niet, negatie, ontkenning
  : A is equivalent aan B, equivalentie, gelijkwaardigheid
  : als A dan B, implicatie, gevolgtrekking
  : A of B, disjunctie
  : A en B, conjunctie

Tautologieën kunnen geconstrueerd worden door logische equivalenties te gebruiken: als  dan is  een tautologie evenals . Bijvoorbeeld:  (contrapositie) wordt  en .

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

Enkele schema's voor tautologieën zijn:

 (transitiviteit)

Logica