En lógica de predicados las variables corresponden a los argumentos de un predicado. Ejemplo: El número n es par o EsPar(n).
En lógica de predicados las variables corresponden a los argumentos de un predicado. Ejemplo: El número n es par o EsPar(n).
Enlaces:
[1] https://www.matetam.com/glosario/definicion/logica-predicados