Curso: Matemticas Discretas

4.- Cuantificadores 4.1 Cuantificador Universal y Existencial: En esta unidad nos ocuparemos de estudiar las proposiciones abiertas, que como ya sabemos son expresiones que contienen variables. Empecemos por explicar el concepto de variable en trminos de lo que ya conocemos. Dado un conjunto S, llamado universo dominio de discusin, una variable es un smbolo que representa a cualquier elemento de S. Si dicho conjunto consta de un slo elemento, al smbolo le llamaremos constante. Por ejemplo: Si p(x) = "x es verde", se debe establecer el dominio de x, que podr ser el conjunto de pizarrones, libros, animales, etc. Este dominio S se establece al igual que el conjunto universo al principio de la discusin de un problema y contiene a todos los elementos que seran tratados en dicho problema. Las proposiciones abiertas las podemos representar por p(x), q(x), r(x), etc. donde xS es la variable y recordemos que cada proposicin se puede identificar con el conjunto P = { xS | p(x) }. Este conjunto consta precisamente de los elementos en S que convierten a la proposicin p(x) en verdadera y ~P contiene por lo tanto a los elementos para los cuales p(x) es falsa. Al conjunto P se le llama conjunto de verdad de la proposicin. Consideremos p(x): x2 = 1; el dominio de x debe ser establecido, pues P puede cambiar en distintos dominios. Por ejemplo, si S= R entonces P = { -1, 1 } y ~P = R - { -1, 1 }; si S= N entonces P = { 1 } y el conjunto ~P = { 2, 3, 4, ... }. Ejercicios: Encuentre los conjuntos de verdad de p(x): x2 + x = 0 en: a).- S= N. b).- S= R. c).- S= { 1, 2, 3, ..., 9 } d).- S= { 0, 1 } e).- S= { 0, 1, 2, 3 } f ).- S= { 1, 2, 3, 5, 6, 7 } De una proposicin abierta p(x) en donde xS, se desprenden dos proposiciones lgicas al generalizar particularizar la proposicin p(x). Definicin 1: Cuantificador Universal. Dada una proposicin abierta p(x), en donde xS, es la expresin que resulta verdadera si el conjunto de verdad P = S y falsa si P S. Se representa por (x) p(x) y se lee " para toda x, p(x) ". Con la expresin (x) p(x) estamos afirmando que p(x) se cumple para todos los elementos del dominio S, por lo que ser verdadera slo si todas las x convierten a la proposicin en verdadera. Definicin 2: Cuantificador Existencial. Si p(x) es una proposicin abierta, la expresin lgica que resulta verdadera si el conjunto de verdad P y falsa si P = se le representa por (x) p(x) y se lee " existe una x tal que ". En otras palabras, con un elemento del dominio S que convierta a la proposicin p(x) en verdadera, la expresin (x) p(x) ser verdadera, pero por supuesto puede haber ms; as que este smbolo se puede interpretar en espaol como "al menos uno". Con esto podemos redefinir el concepto de frmula como sigue: Definicin 3: f es una frmula si:
35

Curso: Matemticas Discretas

a).- f b).- f c).- f d).- f e).- f f ).- f

es una proposicin lgica. es una proposicin abierta. es la negacin de una frmula. es g Op h donde g y h son frmulas y Op es un operador binario. es de la forma (x) g; donde g es una frmula. es de la forma (x) g; donde g es una frmula.

Ninguna otra expresin es una frmula, a menos que se pueda obtener en forma recursiva en un nmero finito de pasos del tipo a) al f ). Ejercicio: Encuentre los valores de verdad de (x) ( x2 + x = 0 ) en los incisos a-f del ejercicio 1. 4.2 Negacin: De las definiciones de cuantificadores se puede ver inmediatamente que estn relacionados muy directamente mediante la negacin. Teorema 1: i ).- ~(x) p(x) (x) ~p(x). ii ).- ~(x) p(x) (x) ~p(x). Demostracin: Sea P el conjunto de verdad de p(x) en el dominio S. i ).- basta notar que ~( P = S ) es P S, pero esto es precisamente ~P . ii ).- igualmente ~( P ) es P = , que es lo mismo que ~P = S. Combinando estos resultados con las equivalencias vistas en la primera unidad obtenemos diversas formas de expresar negaciones usando cuantificadores. Por ejemplo: ~(x) ( p(x) q(x) ) (x) ( p(x) ~q(x) ) ~(x) ( p(x) q(x) ) (x) ( ~p(x) ~q(x) ) (x) ( p(x) ~q(x) ) Ejercicio: Negar las siguientes expresiones: a).- Todos los leones son feroces. b).- Algunos sabios no toman caf. c).- Ningn delincuente es justo. d).- Mi casa es de color blanco. e).- Los peces no respiran fuera del agua. Tambin podemos ver que cualquiera de los enunciados en el ejercicio anterior se puede clasificar dentro de alguna de las siguientes cuatro formas: ( x ) ( p(x) q(x) ) ( x ) ( p(x) ~q(x) )
36

Curso: Matemticas Discretas

( x ) ( p(x) q(x) ) ( x ) ( p(x) ~q(x) ) El estudio de estas cuatro formas, que representan la mayor parte de los juicios o enunciados del espaol, sus negaciones y las inferencias que se pueden obtener son paarte de la lgica clsica y la mayora de sus leyes se atribuyen a Aristteles. En la seccin 4.5 se vern los silogismos, que es una forma de argumento que usa las expresiones anteriores. Ejercicio: Escriba las expresiones del ejercicio anterior y sus negaciones usando nicamente las cuatro formas anteriores. 4.3 Diagramas de Venn-Euler: Recordemos que una forma til de representar conjuntos en un universo S es mediante diagramas de Venn-Euler. Si tenemos una proposicin abierta p(x) donde xS, la figura siguiente representa el conjunto de verdad de p(x) y el dominio S:

Las proposiciones abiertas precedidas de un cuantificador tambin las representamos por diagramas de Venn, pero en una forma distinta a la de la seccin 2.4. Si la proposicin abierta est precedida por un cuantificador universal se sombrea ( elimina ) la regin donde no puede haber elementos si la proposicin es verdadera; y para el cuantificador existencial se indica con una x ( nombre de la variable ) el lugar ( la zona ) donde debe estar algn elemento del dominio para que la expresin sea verdadera. Ejemplo: Para una expresin abierta simple tendremos:

Esto se puede aplicar por supuesto a expresiones con ms de una proposicin abierta. Ejemplo: Grafique mediante un diagrama de Venn: 1.- ( x ) ( p(x) q(x) )

37

Curso: Matemticas Discretas

2.- ( x ) ( p(x) ~q(x) )

3.- ( x ) ( p(x) q(x) )

4.- ( x ) ( p(x) ~q(x) )

En los diagramas, P y Q son los conjuntos de verdad de p(x) y q(x). En el caso del cuantificador existencial, si el conjunto donde debe haber un elemento est representado por varias regiones en el diagrama, conectamos variables en dichas regiones mediante segmentos, que indican que es suficiente que x est en por lo menos una de las regiones. Ejemplo: Representar por diagramas de Venn las siguientes expresiones: 1).- ( x ) ( p(x) q(x) )

38

Curso: Matemticas Discretas

2).- ( x ) ( p(x) q(x) )

3).- ( x ) ( p(x) q(x) )

Ejercicio: Representar por medio de diagramas de Venn: 1).2).3).4).5).6).7).8).( x ) ( p(x) q(x) ) ( x ) ( p(x) q(x) ) ( x ) ( p(x) q(x) ) ( x ) ( p(x) q(x) ) ( x ) ( p(x) / q(x) ) ( x ) ( p(x) q(x) ) ( x ) ( p(x) q(x) ) Grafique las negaciones de las proposiciones anteriores.

4.4 Inferencia: Cuando trabajamos con proposiciones que son formadas por proposiciones abiertas y cuantificadores en un argumento; se puede ver por medio de diagramas de Venn cundo una conclusin es consecuencia de las premisas. Esto es, el diagrama de la conclusin se debe satisfacer ( coincidir) con el diagrama formado por la conjuncin de las premisas. Por ejemplo, consideremos el siguiente argumento: Todos los hombres cometen errores. Todos lor reyes son hombres. por lo tanto: Todos los reyes cometen errores.
39

Curso: Matemticas Discretas

Si lo representamos simbolicamente: Sean r(x): x es rey. h(x): x es hombre. e(x): x comete errores. el argumento se representa: P ( x ) ( h(x) e(x) ) P ( x ) ( r(x) h(x) ) C ( x ) ( r(x) e(x) ). Sean R, E, y H los conjuntos de verdad de r(x), e(x) y h(x) respectivamente. Entonces el diagrama de la conjuncin de las premisas ser:

Claramente este diagrama incluye al diagrama de la conclusin; esto es, la conclusin es verdadera en este diagrama, lo que muestra que el argumento es vlido. Para demostrar formalmente que el argumento es vlido recordemos que la condicional en lgica de proposiciones es el equivalente a en teora de conjuntos, por lo que el argumento tambin se puede enunciar as: P : { x | x es hombre } { x | x comete errores } o HE P : { x | x es rey } { x | x es hombre } o RH C : { x | x es rey } { x | x comete errores} o RE lo cual se ve claramente que es vlido. Sin embargo, nuestro principal inters en esta seccin es acostumbrarnos al uso de los diagramas de Venn. Ejemplo 1: Mostrar por medio de diagramas de Venn que los siguientes argumentos son vlidos: a).- ( x ) ( p(x) q(x) ), ( x ) ( q(x) r(x) ), ( x ) q(x) | ( x ) ( p(x) r(x) ) b).- ( x ) p(x), ( x )( p(x) q(x) ) | ( x ) q(x) Sean P, Q, R los conjuntos de verdad de p(x), q(x) y r(x). a).- el diagrama de conjuncin de premisas es:

40

Curso: Matemticas Discretas

donde vemos que la conclusin ( x ) ( p(x) q(x) ) es verdadera. b).- el diagrama de premisas es:

por lo que el argumento claramente es vlido. Ejemplo 2: Compruebe que los siguientes argumentos no son vlidos: a).- ( x ) ( p(x) ~q(x) ), ( x ) ( q(x) r(x) ) | ( x ) ( r(x) ~p(x) ) b).- Todos los polticos aman el poder. Algunos hombres que aman el poder, aman la violencia. Por lo tanto, algunos politicos aman la violencia. a).- Sean P, Q y R los conjuntos de verdad de p(x), q(x) y r(x) respectivamente; el diagrama de premisas es:

Del diagrama no se concluye que haya un x que est en R y no est en P. Por lo tanto el argumento no es vlido. b).- Sea p(x) : x es poltico q(x) : x ama el poder v(x) : x ama la violencia entonces el argumento lo podemos escribir de la siguiente forma: P: ( x ) ( p(x) q(x) )
41

Curso: Matemticas Discretas

P: ( x ) ( q(x) v(x) ) C: ( x ) ( p(x) v(x) ) el diagrama de las premisas con P, Q y V como conjuntos de verdad de las proposiciones abiertas es:

De este diagrama no se desprende la conclusin pues el diagrama se cumple si no hay elementos en el area de PQV con tal de que haya elementos en PV. Por lo que PV puede ser el conjunto vacio y la conclusin es falsa. Ejemplo 3: Encuentre el valor de verdad de las siguientes expresiones: a).- [( x ) ( p(x) ~q(x) )] [( x ) ~p(x)] [( x ) q(x)] b).- [~( x ) p(x)] [( x ) ( p(x) ~q(x) )] [( x ) q(x)] Solucin: a).- Comparando el diagrama de la primera proposicin con el diagrama de las dos ltimas proposiciones vemos que existe una contradiccin, o sea, la primera es verdadera donde las otras dos son falsas, entonces el valor de verdad de la expresin completa es siempre falso.

b).- Analizando la primera y segunda expresin, vemos que hay contradiccin:

Ejercicios: Diga si los siguientes argumentos son vlidos. Muestre su respuesta mediante un diagrama. 1.- Todos los tigres son peligrosos. Algunos seres peligrosos viven en la ciudad. Por lo tanto, algunos tigres viven en la ciudad.
42

Curso: Matemticas Discretas

2.- Existe una solucin mayor que 1 o menor que -1. No hay soluciones mayores que 1. Por lo tanto, existe una solucin menor que -1. 3.- El oro es pesado. Nada excepto el oro lo silenciar. Por lo tanto, nada que no sea pesado lo silenciar. 4.- Todos los leones son feroces. Algunos leones no toman caf. Por lo tanto, algunos seres que toman caf o son feroces. 4.5 Silogismos: Recordemos las cuatro expresiones que vimos en la seccin 4.2, stas son: A : ( x ) ( p(x) q(x) ) E : ( x ) ( p(x) ~q(x) ) I : ( x ) ( p(x) q(x) ) O : ( x ) ( p(x) ~q(x) ) Universal Afirmativa Universal Negativa Particular Afirmativa Particular Negativa

con estas formas se pueden construir lo que en lgica tradicional se llama silogismo, utilizando tres de ellos de la siguiente manera: Definicin: Un silogismo es un argumento de tres proposiciones del tipo A, E, I, O con las siguientes condiciones: i ).- las primeras dos son las premisas y la ltima es la conclusin. ii ).- las dos premisas tienen una proposicin abierta en comn llamada trmino medio. iii ).- la primera premisa y la conclusin tienen una proposicin abierta en comn llamada trmino mayor. iv).-la segunda premisa y la conclusin tienen una proposicin abierta en comn llamada trmino menor. Para analizar las posibles formas del silogismo, escribimos primero el trmino menor ydespus el trmino mayor en la conclusin. As que slamente hay cuatro arreglos posibles para formar silogismos; estos son:

Por ejemplo, el primer argumento de la seccin anterior cuya conclusin era que los reyes cometen errores tiene la forma I ; e(x) es el trmino mayor, r(x) es el menor y h(x) el trmino medio. Adems, tanto las premisas como la conclusin son expresiones del tipo A ( Universal Afirmativa ); ste silogismo se puede clasificar entonces como I - AAA. Se puede ver que hay 256 silogismos posibles de los cuales slo 15 son vlidos. Estos son:
43

Curso: Matemticas Discretas

I .II .III .IV .-

AAA, Barbara, EAE, Cesare, IAI, Disamis, AEE, Cameses,

EAE, Celarent, AEE, AII, Datisi, IAI, Dimarisa,

AII, Darii,

EIO Ferio AOO Festino, EIO Ferison Baroco

EIO, Camestres,

OAO, Bocardo, EIO Fresision

Hay muchas leyes generales que se pueden establecer acerca de los silogismos, algunas de ellas se le atribuyen a Aristteles y todava se estudian en cursos de lgica tradicionales; como por ejemplo: a) .- Si las dos premisas son negativas, el silogismo no es vlido. b) .- Si una premisa es negativa en un silogismo vlido, entonces la conclusin es negativa. c) .- Si las premisas son particulares, el silogismo no es vlido. etc... Otra regla importante es que de dos premisas universales, no se puede concluir una particular. Por qu? Esto no fu considerado por los logistas de otras pocas y consideraban las siguientes formas como vlidas: I .II .III .IV .AAI, Barbari, EAO, Cesaro, AAI, Daripti, AAI, Bramantip, EAO Celaront AEO Camestros EAO Felapton EAO, Fesapo, AEO Camenos

Ejemplos: ( Lewis Carroll ) 1 .- Toda avispa es no amigable. Todo cachorro es amigable. Por lo tanto: Todo cachorro no es avispa. Sean: a(x): x es avispa. n(x): x es no amigable. c(x): x es un cachorro. el silogismo es: A: ( x ) ( a(x) n(x) ) E: ( x ) ( c(x) ~n(x) ) E: ( x ) ( c(x) ~a(x) ) el diagrama muestra claramente que s es vlido el silogismo:

44

Curso: Matemticas Discretas

2 .- Todas las guilas pueden volar. Algunos puercos no pueden volar. Por lo tanto: Algunos puercos no son guilas. Sean: a(x): x es guila. v(x): x puede volar. p(x): x es puerco. el silogismo es: A: ( x ) ( a(x) v(x) ) O: ( x ) ( p(x) ~v(x) ) O: ( x ) ( p(x) ~a(x) ) y el diagrama muestra que la conclusin se desprende de las premisas, por lo que el argumento es vlido:

Ejercicios: 1.- Diga si el siguiente silogismo es vlido: Ningn sapo es potico. Algunos patos no son poticos. Por lo tanto: Algunos patos no son sapos. 2.- Compruebe que la forma I no es vlida si las premisas son de la forma Universal Negativa. 3.- Qu condicin suponan los logistas antiguos para que I .- AAI, EAO; II .- EAO, AEO; III .- AAI, EAO; y IV .- AAI, EAO, AEO fueran silogismos vlidos?

45