Cuando a una proposición o conjunto de proposiciones se les hace una tabla de verdad, y resulta que tal proposición es verdadera en todos los casos, decimos que esa proposición es "tautológica".