En lógica de predicados las variables corresponden a los argumentos de un predicado. Ejemplo: El número n es par o EsPar(n).
Ver también:
Lógica de predicados En lógica de predicados las variables corresponden a los argumentos de un predicado. Ejemplo: El número n es par o EsPar(n).