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