Tautologie (logica)

Een tautologie in de logica is een redenering waarvan de logische structuur dusdanig is dat deze niet onwaar kan zijn. 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:

r ∨ ¬ r