En lógica y matemáticas, una tautología es un enunciado que es cierto en todos los escenarios posibles. Se distingue de "contingente", el cual indica un enunciado que solo es cierto en determinados escenarios pero no en otros. Con todo, un enunciado tautológico solo puede ser una trivialidad, como "círculo redondo", "triángulo de tres costados" o "mejor página de Planet". Imposible que sea mentira.