Eine Tautologie (altgriechisch von t’autó „dasselbe“ und -logie), auch Verum (lateinisch verum „wahr“) genannt, ist in der Logik eine allgemeingültige Aussage, also eine Aussage, die unabhängig von der Interpretation immer wahr ist. Beispiele für Tautologien sind Aussagen wie „Das Wetter ändert sich oder es bleibt, wie es ist.“ oder „Wenn es regnet, dann regnet es“.