Tautologia, contradiccion, contingencia, formalizacion.

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 lógica, una contradicción es una incompatibilidad entre dos o más proposiciones. ... Dada esta definición, toda contradicción es la negación de una tautología, y toda tautología es la negación de una contradicción



En lógica, la contingencia es el modo de ser o característica de algo en cuanto a que puede ser o no ser, dependiendo del caso (algo que no es necesario, pero sí es posible).