Ein aussagenlogischer Satz, der aufgrund seiner logischen Form unter keinen Umständen falsch sein kann, heißt Tautologie oder aussagenlogische Wahrheit. D.h., der aussagenlogische Satz ist wahr, gleichgültig welche Wahrheitswerte seinen Teilaussagen zugewiesen werden. Z. B. ist ›A oder nicht-A‹ eine Tautologie: Wenn die Teilaussage A wahr ist, ist der ganze Satz wahr. Wenn die Teilaussage A falsch ist, ist die Teilaussage ›nicht-A‹ wahr und somit der ganze Satz. Sätze, die in der Prädikatenlogik nur aufgrund ihrer logischen Form wahr sind, heißen logisch wahr.

Ein Satz der natürlichen Sprache, der wahr ist, unabhängig davon, was die einzelnen nicht-komplexen Teilaussagen des Satzes besagen, insbesondere gleichgültig, ob die Teilaussagen wahr oder falsch sind, ist eine Tautologie der natürlichen Sprache: ›Es regnet oder es regnet nicht‹; ›Kräht der Hahn früh auf dem Mist, dann ändert sich das Wetter oder es bleibt wie es ist‹.

Eine Tautologie gibt keine Auskünfte darüber, wie die Welt beschaffen ist. Tautologien sind in negativer Sicht für die Formulierung der Erkenntnisziele der empirischen Wissenschaften interessant: in den empirischen Wissenschaften sind Tautologien genau das, was vermieden werden soll, da sie keine neuen Erkenntnisse darlegen.

A. Bühler, Einführung in die Logik. Argumentation und Folgerung , 3. Aufl. Freiburg / München 2000

E. Mendelson, Introduction into Mathematical Logic , 4. Aufl. London 1997