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).

Comentarios

  1. Todos
  2. Los más valorados

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página