Lexikon der Mathematik: Tautologie
zusammengesetzter Ausdruck (Formel), der schon aufgrund seiner logischen Struktur gültig ist.
In der mathematischen Logik (siehe auch Aussagenkalkül, Prädikatenkalkül, elementare Sprache) werden Ausdrücke und Aussagen aus Teilausdrücken zusammengesetzt. Der Wahrheitswert einer Tautologie ist bei jeder Belegung stets wahr, unabhängig davon, welchen Wahrheitswert die Teilausdrücke dabei annehmen.
Tautologien sind allgemeingültige Ausdrücke. Sie können aufgrund ihrer Allgemeingültigkeit als Beweismittel verwendet werden, wie z. B. die Kontraposition:
Weitere Beispiele für Tautologien sind:
sowie der Kettenschluß
und die Axiome Ax1 – Ax12 des Prädikatenkalküls. Die Negation einer Tautologie ist eine Kontradiktion, sie ist niemals wahr.
Schreiben Sie uns!