Afirmación obvia, vacía o redundante.
Fórmula lógica que resulta verdadera para cualquier interpretación.
Teorema.
Lógica. Proposición cuya tabla de verdad da siempre el valor de verdad.