In der klassischen Logik bezeichnet eine Tautologie eine Aussage, die so offensichtlich wahr ist, dass sie, solange sie nicht widersprüchlich ist, nicht abgelehnt werden kann.
In der symbolischen Logik nennt man eine Aussage tautologisch, wenn sie für jede mögliche Eingabe immer wahr ist.