Tautologie (Logik)

Eine Tautologie (von altgriechisch  „dasselbe“ und λόγος „Wort“, „Rede“, „Sinn") im Sinne der Logik ist eine Aussageform, die unabhängig von den Wahrheitswerten ihrer Bestandteile stets wahr ist. Der Wahrheitswert einer Tautologie ist wie der der Kontradiktion allein eine Funktion der durch semantische Regeln definierten Wahrheitsbedingungen der in ihr enthaltenen logischen Konstanten.
Mehr unter Wikipedia.org...