Tautologie (Logik)
Eine Tautologie ist eine Aussage der Aussagenlogik, die immer wahr ist. Mit anderen Worten, eine Tautologie ist eine Aussage, die immer den Wahrheitswert wahr annimmt, unabhängig davon, wie die Variablen in der Aussage belegt sind.Manche Tautologien sind offensichtlich, z.B. "A oder nicht A" (diese Aussage ist ein Axiom der Aussagenlogik), andere dagegen muss man erst als solche beweisen (z.B. ist jedes logische Theorem eine Tautologie).
Beispiele
Siehe auch: Logik, Kontradiktion, erfüllbare Aussage