![Versión para impresión Versión para impresión](/sites/all/modules/print/icons/print_icon.gif)
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.