Tautologie (logica)
logica / Uit Wikipedia, de vrije encyclopedia
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.