Cuantificadores Anidados

Lgica 2
Mtro. Cristian A. Gutirrez Ramrez

Hasta ahora
Hasta ahora hemos formalizado oraciones que contienen slo un cuantificador. Por ejemplo: Todos los perros son mamferos. Dominio de Discurso los seres vivos. Diccionario: Px: x es perro, Px: x es mamfero. Formalizacin: x(P(x) P(x))

Ejemplos de oraciones que requieren dos o ms cuantificadores para ser formalizadas.

Todos aman a alguien. Alguien ama a todos. Alguien es amados por todos. Todos los filsofos y todos los historiadores son odiados por alguien. Algunos fsicos y algunos matemticos se aprecian entre s.

Alcance de un cuantificador
Para poder trabajar con cuantificadores es necesario aprender la nocin de alcance de un cuantificar. El alcance de un cuantificador es pedazo de la frmula al que el cuantificador afecta. Por ejemplo en la frmula x(P(x) P(x)), el cuantificador universal tiene alcance hasta donde se est el parntesis derecho (es decir, prcticamente toda la frmula).

Alcance de un cuantificador (2)

En el ejemplo anterior es fcil determinar cul es el alcance del cuantificador universal por dos razones: 1) afecta a toda la frmula y 2) slo hay un cuantificador. Veamos otros ejemplos: 1) xP(x) P(x) Aqu el alcance es slo la Px, pues no hay parntesis, esto quiere decir que el cuantificador no est relacionado con el consecuente de del condicional que es Px.

Alcance de un cuantificador (3)

2) x(P(x) x(P(x) & R2(x,x))) Aqu hay dos cuantificadores, cada uno con su propio alcance. El cuantificador universal tiene como alcance desde el primer parntesis izquierdo (el que est inmediatamente despus de l) hasta el ltimo parntesis derecho (que es el que cierra el primer parntesis izquierdo). El cuantificador existencial tiene como alcance la frmula que est entre el parntesis izquierdo que est despus del cuantificador y el penltimo parntesis derecho (es decir la frmula que est inmediatamente despus de l.)

Alcance de un cuantificador (4)

Como puede verse en el ejemplo anterior, dos cuantificadores pueden compartir su dominio de influencia. De hecho, uno de ellos (el de menor alcance) tendr como alcance un pedazo del alcance del otro. Es como si uno fuese el rey y el otro un duque. Los dominios del primero contienen a los dominios del segundo.

Alcance de un cuantificador (5)

Ahora bien, qu es el alcance de un cuantificador? y para qu sirve identificarlo? El alcance de un cuantificador es la frmula que est escrita inmediatamente despus de l. Una forma de identificarlo es reconstruir la frmula con las reglas de formacin y observar a que frmula se le aplica la regla 4 que le pega el cuantificador, dicha frmula es el alcance del cuantificador.

Alcance de un cuantificador (6)

En nuestro ejemplo: x(P(x) & R2(x,x)), para obtener est frmula debemos aplicar la reglas de form. 4 a la frmula (P(x) & R2(x,x)), por lo que dicha frmula es su alcance. Ahora para obtener la frmula x(P(x) x(P(x) & R2(x,x))), debemos hacer los mismo pero para la frmula (P(x) x(P(x) & R2(x,x))), es su alcance.

Alcance de un cuantificador (7)

Ya sabemos cul es el alcance de un cuantificador, pero para qu nos sirve conocerlo? Bueno el alcance de un cuantificador nos permite decir con que variables est relacionado nuestro cuantificador. Hay que recordar que el cuantificador se relaciona con la variables que son iguales a la que tiene despus de l, pero slo se puede relacionar con las variables que estn en su alcance.

Alcance de un cuantificador (8)

Por lo antes dicho, si tengo un cuantificador seguido de la variable x, este cuantificador slo se puede relacionar con las variables x que estn en su dominio. Por ejemplo: xP(x) x(P(x) & R2(x,x)) En est frmula, el cuantificador universal slo se puede relacionar con la variable x que aparece en Px, pues su dominio slo es Px. No puede relacionarse con la x que aparece en R2(x,x) pues est frmula est ms all de su alcance.

Alcance de un cuantificador (9)

Cuando una variable no est ligada (relacionada) con ningn cuantificador, decimos que es una variable libre y entonces la frmula en la que aparece no tiene un significado bien determinado. Por ejemplo, la frmula Px, no dice si todos tiene la propiedad P o si la tiene alguien, en realidad es una frmula que no dice nada. Para que una frmula tenga un significado, no debe tener variables libres.

Ejercicio 1: Determine el alcance de los cuantificadores que aparecen en la siguientes frmulas y diga qu variables estn ligadas con qu cuantificadores y cules son variables libres.

x(P(x) P(x)) xP(x) xP(x) xP(x) xR2(x,x) x(P(x) x(P(x) & R2(x,x))) xP(x) x(P(x) & R2(x,x)) x((P(x) & Px) x(P(x) & R2(x,x))) x(P(x) & x(P(x) (x=x)))

Alcance de un cuantificador (10)

Las cosa no siempre son tan simple podemos tener la siguiente frmula x(P(x) x(P(x) & R2(x,x))) Es fcil ver que es una frmula y que el alcance del cuantificador universal es (P(x) x(P(x) & R2(x,x))) y que el alcance del cuantificador existencial es x(P(x) & R2(x,x)). El problema es que ambos cuantificadores estn relacionados con la misma variable, en este caso x. Qu sucede en ests situaciones?

Alcance de un cuantificador (11)

Primero que nada debemos decir que ninguna variable puede estar relacionada con ms de un cuantificador, son muy fieles. Pero entonces con quin se quedan? con el cuantificador de mayor alcance o con el cuantificador de menor alcance? con el rey o con el conde?

Alcance de un cuantificador (12)

Resulta que se quedan con el cuantificador de menor alcance, el que tienen ms cerca (se quedan con el conde, les gustan las relaciones ms cercanas). As en nuestro ejemplo: x(P(x) x(P(x) & R2(x,x))) El cuantificador universal slo se relaciona con la x de Px y el existencial con todas las x en la frmula (P(x) & R2(x,x))

Ejercicio 2: Determine el alcance de los cuantificadores que aparecen en la siguientes frmulas y diga qu variables estn ligadas con qu cuantificadores y cules son variables libres.

x(P(x) xP(x)) xP(x) xP(x) x(P(x) xR2(x,x)) xP(x) x(P(x) & R2(x,x)) x((P(x) & Px) x(P(x) & R2(x,x))) x(P(x) & x(P(x) (x=x)))

Cuantificadores Anidados
Ahora que conocemos las nociones de alcance de cuantificadores y de variables libres entendemos cules variables estn relacionadas con cules cuantificadores. Es tiempo de ver cmo nos sirve esto para formalizar oraciones que requieran de ms de un cuantificador.

Cuantificadores Anidados (2)

Retomemos un ejemplo: Todos aman a alguien. Dominio de discurso: los seres humanos Diccionario: R2xy: x ama a y. Formalizacin: xxR2(x,x) La frmula dice que cualquier sujeto del dominio de discurso ama a algn ser humano.

Cuantificadores Anidados (3)

Otro ejemplo: Todos son amados por alguien. Dominio de discurso: los seres humanos Diccionario: R2xy: x ama a y. Formalizacin: xxR2(x,x) La frmula dice que cualquier sujeto del dominio de discurso es amado por algn ser humano.

Cuantificadores Anidados (4)

Otro ejemplo: Alguien ama a todos. Dominio de discurso: los seres humanos Diccionario: R2xy: x ama a y. Formalizacin: xxR2(x,x) La frmula dice que hay un sujeto del dominio de discurso que ama a todos los seres humanos.

Cuantificadores Anidados (5)

Otro ejemplo: Alguien es amados por todos. Dominio de discurso: los seres humanos Diccionario: R2xy: x ama a y. Formalizacin: xxR2(x,x) La frmula dice que hay un sujeto del dominio de discurso que es amado por todos los seres humanos, o bien, que todos los seres humanos aman a ese alguien.

Cuantificadores Anidados (6)

Otro ejemplo: Todos aman a todos. Dominio de discurso: los seres humanos Diccionario: R2xy: x ama a y. Formalizacin: xxR2(x,x) La frmula dice que todo sujeto del dominio de discurso ama a todos los seres humanos.

Cuantificadores Anidados (7)

Otro ejemplo: Alguien ama a alguien. Dominio de discurso: los seres humanos Diccionario: R2xy: x ama a y. Formalizacin: xxR2(x,x) La frmula dice que hay un sujeto del dominio de discurso que ama a algn ser humano.

Cuantificadores Anidados (8)

Un ejemplo ms complicado: Todos los filsofos y todos los historiadores son odiados por alguien. Dominio de discurso: los seres humanos Diccionario: Px: x es filsofo, Px: x es historiador, R2xy: x odia a y. Formalizacin: x((P(x) P(x)) xR2(x,x)) La frmula dice que si cualquier sujeto es o bien filsofo o bien historiador, es odia por alguien.

Cuantificadores Anidados (9)

Un ejemplo ms complicado: Algunos fsicos y algunos matemticos se aprecian entre s. Dominio de discurso: los seres humanos Diccionario: Px: x es fsico, Px: x es matemtico, R2xy: x aprecia a y. Formalizacin: xx((P(x) P(x)) (R2(x,x) R2(x,x))) La frmula dice que hay por lo menos un fsico y un matemtico tales que el primero aprecia al segundo y viceversa.

Formalicemos 1:
Todos amamos a alguien que no nos ama. Alguien que es amado por todos es muy afortunado. Si alguien odia a todos, tiene un problema mental. Todos los amigos de Mara aman a alguien.

Formalicemos 2:
Si alguien es borracho, todos somos borrachos. Hay alguien que si es borracho, todos somos borrachos. Si todos somos borrachos, entonces hay alguien borrachos. Hay alguien que si todos son borrachos, entonces l es borracho.

Gracias