qué es una tautología en matemáticas

Tautología, es aquella proposición (compuesta) que es cierta para todos los valores de verdad de sus variables.

Ahora, ¿qué es tautología y contradicción?

Llamamos tautología cuando el resultado de la combinación de los enunciados son todos verdaderos{V,1}, contradicción cuando todos los resultados son falsos {F,0} e indeterminación cuando los resultados son verdaderos y falsos al mismo tiempo.

En consecuencia, ¿qué es y para qué sirve la tabla de verdad?

Las tablas de verdad nos permiten analizar cualquier fórmula y hallar sus valores de verdad. Nos dice si una fórmula es satisfacible. Si un razonamiento es válido o no. Constituye un procedimiento de decisión que en un número finito de pasos nos dice si una fórmula es una tautología o no.

Pero, ¿qué es una contradicción en matemáticas?

Una contradicción es toda expresión lógica o booleana equivalente al resultado falso, para todos los valores de sus variables, independientemente del número de variables que tenga dicha expresión o función.