É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 (ver ejemplo). Se llama también «verdad lógica».
Vertambién: lógicamente verdadero, ley lógica, verdad necesaria, validez, y otros términos relacionados.