Una tautología es una proposición cuyo valor de verdad es verdadero, independiente de los valores de verdad de las proposiciones que la componen.