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