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.