Clasificación de las formulas lógicas según su valor de verdad

La evaluación de la tabla de verdad de una formula lógica cualesquiera, permite
efectuar la clasificación de las mismas en tautologías,
contradicciones, y contingencias.

-Fórmula tautológica: su valor de verdad es verdadero, independientemente de los valores de verdad de las proposiciones atómicas. Se dice que la fórmula es tautología. (Se les dice también Semánticamente válida).

-Fórmula contingente: las valoraciones son verdaderas y falsas, es una función de verdad porque los valores dependen de los valores de verdad de las proposiciones. La fórmula es una contingencia. (Se les dice también Satisfascible).

-Fórmula contradictoria: tiene siempre el valor falso independientemente del valor de verdad de las variables. Se dice que la fórmula es una contradicción. (Se les dice también Insatisfacible).