Variables cuantificadas (o ligadas)

Versión para impresión

En lógica de predicados, son las variables afectadas por un cuantificador. Ejemplo: Todo número par se puede expresar como suma de dos primos. (La variable aquí es "número par")
 

Ver también: 
Lógica de predicados