Variables lógicas

Versión para impresió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).

Ver también: 
Lógica de predicados