No se ha añadido ninguna twiki todavía.

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

ver ejemplo ↓

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».