Constante lógica
En lógica, una constante lógica es una expresión que cuya presencia y posición determina la forma lógica de una proposición, y por extensión la validez o invalidez de los argumentos.Dentro de un lenguaje formal con una semántica formal, una constante lógica es una expresión cuyo significado no varía con cada interpretación.