Valores que se dan a las letras de enunciado de una fórmula de modo que ésta es:
universalmente válida si es verdadera para toda asignación.
[math][(p \rightarrow{q})\wedge p]\rightarrow{q}[/math]
es una fórmula universalmente válida:
mientras que «ser o no ser» es un enunciado tautológico, o una tautología.
Recurso:Ejemplo de fórmula universalmente válida para toda asignación
contradictoria, si es falsa para toda asignación
y consistente, si es verdadera al menos para una asignación.
Se deduce que toda fórmula válida es, además, consistente, pero no a la inversa.
Dos fórmulas son equivalentes, si cobran igual valor para idénticas asignaciones o reciben los mismos valores en una tabla de verdad.