En lógica de predicados, una constante es un argumento (de un predicado) que representa un objeto específico.

En lógica de predicados, una constante es un argumento (de un predicado) que representa un objeto específico.
Enlaces:
[1] https://www.matetam.com/glosario/definicion/logica-predicados