Tautologie (logique)

En logique mathématique, la tautologie est une proposition toujours vraie selon les règles du calcul propositionnel.