Es un valor que toma una variable lógica. Ejemplo: si x es la variable "número par", el 2 es una instancia de ella.
Ver también:
Lógica de predicados Es un valor que toma una variable lógica. Ejemplo: si x es la variable "número par", el 2 es una instancia de ella.