Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
La que compete a un enunciado por sólo su forma lógica, o su estructura lógica, independientemente del significado de los términos que lo componen, o de los casos de sustitución de las letras del enunciado
Son ejemplos de verdades formales:
«Sser o no ser» [math]A \vee ¬A[/math]
«Nada que sea A y B a la vez, deja de ser B».
«Si A y B, entonces B», [math](A \wedge B) \rightarrow{B}[/math]
En todos estos casos, cualquier sustitución de los términos o de las letras de enunciado, por cualquier otro término o cualquier otro enunciado, da lugar a un enunciado necesariamente verdadero (por su forma lógica).
Se llama también «verdad lógica».