Tautologie (Philosophie)

im engeren Sinn eine Zirkeldefinition, im weiteren Sinn jede analytische Aussage (z. B. »Schimmel sind weiß«); in der Aussagenlogik eine Aussagenverknüpfung, die unabhängig von den Wahrheitswerten der in ihr vorkommenden Bestandteile stets wahr ist, wie z. B. aus A folgt A ː A ⟶ A, A oder nicht A ː