En lógica de predicados, una constante es un argumento (de un predicado) que representa un objeto específico.
Ver también:
Lógica de predicados En lógica de predicados, una constante es un argumento (de un predicado) que representa un objeto específico.