Tautología

En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.

En muchos casos, por lo tanto, las tablas de verdad pueden ser muy grandes.

Lo importante, sin embargo, es que dado que la lógica proposicional no admite fórmulas infinitamente largas, el número de interpretaciones posibles siempre será finito, y por lo tanto siempre será posible decidir si una fórmula cualquiera es una tautología o no.

Una tautología es equivalente al valor verdadero, independientemente de los argumentos de la expresión o función a la que se puede reducir, a la derecha se puede ver diagramas de Venn que representan el valor verdadero para: ninguna, una o dos variables.

Esto es una función o relación de variables lógicas o booleanas es una tautología si es equivalente al valor verdadero para todos los posibles valores de sus variables.

En lógica proposicional, la tautología es también una regla de reemplazo comúnmente utilizada[3]​ para eliminar la redundancia en disyunciones y conjunciones en las demostraciones lógicas.

" es un símbolo metalógico que representa "puede ser reemplazado en una demostración lógica por".