Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
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 |
el cuantificador tiene dentro de su alcance, o se aplica, a Px y a Qx; lo mismo en
En «todo el mundo ama a todo el mundo», los cuantificadores se extienden a todas las x e y de la fórmula
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
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).