¿Qué es?
No se ha añadido ninguna twiki todavía.
En lógica de predicados, el dominio sobre el que se aplica un cuantificador. El alcance de un cuantificador se señala mediante el uso de paréntesis. En [math] \forall{x} (Px\rightarrow{Qx})[/math] el cuantificador tiene dentro de su alcance, o se aplica, a Px y a Qx; lo mismo en [math]\exists{x}(Px\vee ¬Qx)[/math]
En «todo el mundo ama a todo el mundo», los cuantificadores se extienden a todas las x e y de la fórmula [math]\forall{x} \forall{y} (Axy), [/math]asimismo, en «siempre que una persona ama a otra ésta se lo agradece» el alcance de los cuantificadores se extiende a todas las variables de la fórmula [math]\forall{x} \forall{y}(Lxy \rightarrow{Ayx})[/math]
Alcance, a su vez, de una relación (AR) es el conjunto de todos los referentes, o posibles primeros miembros del par ordenado. Así, el alcance de «ser amigo de» comprende a todos los seres humanos (y aún a muchos animales).