en sentido técnico, una fbf que toma el valor "verdadero" para todas las asignaciones de valores de verdad de sus componentes atómicos, (extendido en el caso de las lógicas polivalentes a: si toma un valor designado para todas las asignaciones de sus componentes atómicos). La prueba de corrección para el calculo de oraciones muestra que solo las tautologías son teoremas; la prueba de completud muestra que todas las tautologías son teoremas.
Intuitivamente una tautología es un enunciado que dice la misma cosa dos veces y, por tanto, es trivialmente verdadero. (Haack, 1978).