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.
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.
Enlaces:
[1] https://www.matetam.com/glosario/definicion/logica-predicados