Constante lógica
De Wikipedia, la enciclopedia encyclopedia
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,[1] y por extensión la validez o invalidez de los argumentos.[1]
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.