Apuntes de Lgica Matemtica o a 2.

Lgica de Predicados o

Francisco Jos Gonzlez Gutirrez e a e

Cdiz, Abril de 2005 a

Universidad de Cdiz a

Departamento de Matemticas a

ii

Leccin 2 o

Lgica de Predicados o
Contenido
2.1 Deniciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1.1 2.1.2 2.1.3 2.2 2.2.1 2.2.2 2.2.3 2.2.4 2.2.5 2.3 2.3.1 2.3.2 2.3.3 2.3.4 2.3.5 2.3.6 2.3.7 Predicado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Universo del Discurso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Predicados y Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Cuanticador Universal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Valor de Verdad del Cuanticador Universal . . . . . . . . . . . . . . . . . . . . Cuanticador Existencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Valor de Verdad del Cuanticador Existencial . . . . . . . . . . . . . . . . . . . Alcance de un Cuanticador . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 28 28 28 35 35 37 37 37 38 44 46 46 46 48 49 52 52

Cuanticadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Clculo de Predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . a Implicacin Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o o Equivalencia Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . o Leyes de De Morgan Generalizadas . . . . . . . . . . . . . . . . . . . . . . . . . Regla general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Proposiciones al Alcance de un Cuanticador . . . . . . . . . . . . . . . . . . . Predicados al Alcance de un Cuanticador . . . . . . . . . . . . . . . . . . . . . Asociatividad y Distributividad . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.1

Deniciones

Cualquier teor cient a fica aspira a enunciar leyes, postulados, definiciones, teoremas, etc... con una validez ms o menos universal y, en cualquier caso, bien precisada. A menudo interesa afirmar que todos a los individuos de un cierto campo tienen la propiedad p o que algunos la tienen. El clculo proposicional no es suficientemente fuerte para hacer todas las afirmaciones que se necesitan a en matemticas. Por ejemplo, armaciones como x = 5 x a o y no son proposiciones ya que no son necesariamente verdaderas o falsas. Sin embargo, asignando valores concretos a las variables x e y, las afirmaciones anteriores son susceptibles de ser verdaderas o falsas, es decir, se convierten en proposiciones. En castellano tambin ocurren situaciones similares, por ejemplo, e 27

Universidad de Cdiz a Ella es alta y rubia. El vive en el campo. Ella, l y el campo se utilizan como variables, e x es alta y rubia. x vive en y

Departamento de Matemticas a

2.1.1

Predicado

Es una armacin que expresa una propiedad de un objeto o una relacin entre objetos. Estas o o armaciones se hacen verdaderas o falsas cuando se reemplazan las variables (objetos) por valores espec cos. Ejemplo 2.1 La afirmacin p(x) : x es alta y rubia es un predicado que expresa la propiedad del o objeto x de ser alta y rubia. Si sustituimos la variable x por un valor determinado, por ejemplo Laura, entonces el predicado se transforma en la proposicin Laura es alta y rubia que podr ser verdadera o a o falsa. El predicado q(x) : x vive en y expresa una relacin entre los objetos x e y. Si sustituimos x o por Pedro e y por Madrid, obtendremos la proposicin Pedro vive en Madrid. o Ejemplo 2.2 Los predicados se usan frecuentemente en sentencias de control en lenguajes de programacin de alto nivel. Por ejemplo, la sentencia o Si x > 5, entonces z := y incluye el predicado x > 5. Cuando se ejecuta la sentencia, el valor de verdad de la afirmacin x > 5 o se determina usando el valor que tenga la variable x en ese momento. El predicado se convierte en una proposicin cuyo valor verdadero es verdad o falso. o Ejemplo 2.3 El predicado p(x, y) : x + y > 5 tiene dos variables.

2.1.2

Universo del Discurso

Llamaremos de esta forma al conjunto al cual pertenecen los valores que puedan tomar las variables. Lo notaremos por U y lo nombraremos por conjunto universal o, simplemente, universo. Debe contener, al menos, un elemento. Ejemplo 2.4 En una posible evaluacin del predicado p(x) : x > 5, elegir o amos probablemente un conjunto numrico, por ejemplo los nmeros enteros, como universo del discurso. No tendr sentido e u a elegir el conjunto de los colores del arco iris ya que podr amos encontrarnos con situaciones tales como azul > 5.

2.1.3

Predicados y Proposiciones

Si p(x1 , x2 , . . . , xn ) es un predicado constante con n variables y asignamos los valores c1 , c2 , . . . , cn a cada una de ellas, el resultado es la proposicin p(c1 , c2 , . . . , cn ). o Para transformar un predicado en proposicin, cada variable del predicado debe estar ligada. o 28

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

Ejemplo 2.5 Consideremos el predicado p(x, y) : x + y = 5 en el universo de los nmeros enteros. En u principio las variables x e y pueden tomar cualquier valor entero, es decir estn libres. a Si asignamos a x el valor 2 y a la y el valor 3, entonces el predicado p(x, y) se transforma en la proposicin p(2, 3) : 2 + 3 = 5 que es verdad. o Si hubiramos asignado los valores 1 y 2 a las variables x e y, respectivamente, entonces resultar e a la proposicin p(1, 2) : 1 + 2 = 5 que es falsa. o En ambos casos, las variables x e y han pasado de estar libres a estar ligadas. Hemos ligado las variables asignndoles unos valores determinados del universo del discurso. a Ejemplo 2.6 Las variables enteras x e y tienen los valores iniciales 3 y 8, respectivamente. Determinar los valores de x e y despus de la ejecucin de cada una de las proposiciones siguientes. (El valor de x e o despus de la ejecucin de (a) se convierte en el valor de x para la proposicin del apartado (b) y as e o o sucesivamente). (La operacin Div devuelve la parte entera de un cociente; por ejemplo, 8 Div 4=2 y 9 o Div 2=4). (a) Si y x = 5, entonces x = x 2; (b) Si [(2y = x) y (x Div 4 = 1)], entonces x = 4y 3; (c) Si [(x < 8) (y Div 2 = 2)], entonces x = 2y, de lo contrario y = 2x; o (d) Si [(x < 20) y (x Div 6 = 1)], entonces y = y x 5; (e) Si [(x = 2y) (x Div 2 = 5)], entonces y = y + 2; o (f) Si [(x Div 3 = 3) e (y Div 3 = 1)] entonces y = x; (g) Si yx = 35, entonces x = 3y + 7; Solucin o Los valores iniciales son x:=3, y:=8 (a) y x = 5 x := x 2; y x = 8 3 = 5, es decir la hiptesis es verdadera. Consecuentemente se sigue la conclusin y o o x := x 2 = 3 2 = 1. Los nuevos valores de x e y son, por tanto, x:=1, y:=8 (b) (2y = x) (x Div 4 = 1) x := 4y 3; 2y = x es falsa y x Div 4 tambin (1 Div 4 = 0), luego e (2y = x) (x Div 4) es falsa y, consecuentemente, no se sigue la conclusin. Los valores de x e y siguen siendo los o mismos que en el apartado anterior. (c) (x < 8) (y Div 2 = 2) x := 2y, de lo contrario y := 2x; x < 8 es verdadera y y Div 2 = 2 es falsa (8 Div 2 = 4) luego (x < 8) (y Div 2 = 2) es verdad y, consecuentemente, se sigue la primera de las dos conclusiones, de aqu que los nuevos valores de x e y sean x:=16, y:=8 29

Universidad de Cdiz a (d) (x < 20) (x Div 6 = 1) y := y x 5; x < 20 es verdad y x Div 2 = 5 es falsa, luego (x < 20) (x Div 6 = 1)

Departamento de Matemticas a

es falsa y, consecuentemente, no se sigue la conclusin, es decir, los valores de x e y no var o an. (e) (x = 2y) (x Div 2 = 5) y := y + 2; x = 2y es verdad y x Div 2 = 5 es falsa, luego la hiptesis, o (x = 2y) (x Div 2 = 5) es verdadera y, consecuentemente, y := y + 2 = 8 + 2 = 10. Los nuevos valores de x e y son, por tanto, x:=16, y:=10 (f) (x Div 3 = 3) (y Div 3 = 1) y := x; x Div 3 = 3 es falsa e y Div 3 = 1 es verdadera, por lo tanto la hiptesis o (x Div 3 = 3) (y Div 3 = 1) es falsa y los valores de x e y no cambian. (g) yx = 35 = x := 3y + 7; Como yx = 10 16 = 160 = 35, la hiptesis es verdadera de aqu que se siga la conclusin y o o x := 3y + 7 = 3 10 + 7 = 37. Los valores finales de x e y son, por tanto, x:=37, y:=10

Nota 2.1 En los lenguajes de programacin, aparecen estructuras de decisin del tipo Si...Entonces. o o En este contexto, el condicional si p entonces q significa que se ejecutar q unicamente en caso de que a p sea verdadera. Si p es falsa, el control pasa a la siguiente instruccin del programa. o Ejemplo 2.7 Para cada segmento de programa contenido en los apartados siguientes, determinar el nmero de veces que se ejecuta la sentencia x := x + 1 u (a) y := 1 Si y < 2 y > 0 entonces o x := x + 1 de lo contrario x := x + 2 (b) y := 2 Si (y < 0 e y > 1) y = 3 entonces o x := x + 1 de lo contrario x := x + 2 (c) y := 1 Hacer mientras y < 3 Comienzo x := x + 1 30

Lgica Matemtica o a y := y + 1 Fin (d) y := 1 Hacer mientras (y > 0 e y < 3) y = 3 o Comienzo x := x + 1 y := y + 1 Fin (e) y := 1 Hacer mientras y > 0 e y < 4 Comienzo Si y < 2 entonces y := y + 1 de lo contrario y := y + 2 x := x + 1 Fin Solucin o (a) Sean p(y) : y < 2 q(y) : y > 0

Francisco Jos Gonzlez Gutirrez e a e

Otra forma de escribir el segmento de programa propuesto ser a y:=1 Si p(y) q(y) es verdad entonces x := x + 1 Si p(y) q(y) es falso entonces x := x + 2 Como el valor de y es 1, ambos predicados se convierten en proposiciones verdaderas, por lo tanto p(y) q(y) es verdad y la sentencia x := x + 1 se ejecuta una vez. (b) Sean p(y) : y < 0 q(y) : y > 1 r(y) : y = 3 Otra forma de escribir el segmento de programa propuesto ser a: y := 2 Si [p(y) q(y)] r(y) es verdad entonces x := x + 1 Si [p(y) q(y)] r(y) es falso entonces x := x + 2 31

Universidad de Cdiz a

Departamento de Matemticas a

Pues bien, para que [p(y) q(y)] r(y) sea una proposicin verdadera, bastar con que lo sea una o a de las dos. Como el valor de y es 2, r(y) ser una proposicin falsa, de aqu que tenga que ser a o verdad la conjuncin p(y) q(y) para lo cual lo tendrn que serlo ambas, lo cual es imposible ya o a que cuando p(y) sea verdad, q(y) ser falsa y viceversa. Consecuentemente, la sentencia x := x + 1 a no se ejecuta ninguna vez. (c) Sea p(y) : y < 3. Entonces, el segmento de programa propuesto ser a y := 1 Hacer mientras p(y) sea verdad Comienzo x := x + 1 y := y + 1 Fin El predicado p(y) ser una proposicin verdadera para aquellos valores de y que sean estrictamente a o menores que 3 y dado que el valor inicial de y es 1 y aumenta en una unidad (y := y + 1) cada vez que se ejecutan las sentencias entre comienzo y n, la sentencia x := x + 1 se ejecutar dos veces. a (d) Sean p(y) : y > 0 q(y) : y < 3 r(y) : y = 3 Utilizando notacin lgica, el segmento de programa propuesto se escribir: o o a y := 1 Hacer mientras [p(y) q(y)] r(y) sea verdad Comienzo x := x + 1 y := y + 1 Fin Pues bien, los valores de y que hacen del predicado [p(y) q(y)] r(y) una proposicin verdadera o sern aquellos que conviertan en proposiciones verdaderas, al menos, a uno de los dos predicados, a [p(y) q(y)] r(x). o Los valores de la variable y que hacen de p(y) q(y) una proposicin verdadera son aquellos o que hacen proposiciones verdaderas a los dos predicados p(y) y q(y), es decir y > 0 e y < 3, o lo que es igual y = 1 y = 2. o Para que el predicado r(y) sea una proposicin verdadera, la variable y ha de valer 3. o Consecuentemente, [p(y) q(y)] r(y) es verdad para y =1y =2y =3 Dado que el valor inicial de y es 1 y aumenta en una unidad cada vez que se ejecuta comienzo...n, la sentencia x := x + 1 se ejecutar tres veces. a (e) Sean p(y) : y > 0 q(y) : y < 4 r(y) : y < 2 Podemos escribir el segmento de programa en la forma: 32

Lgica Matemtica o a y := 1 Hacer mientras p(y) q(y) sea verdad Comienzo Si r(y) es verdad entonces y := y + 1 Si r(y) es verdad entonces y := y + 2 x := x + 1 Fin

Francisco Jos Gonzlez Gutirrez e a e

El primer y el segundo condicional entre comienzo y n se ejecutarn para los valores de la a variable y que hagan de los predicados p(y) q(y) r(y) y p(y) q(y) r(y), respectivamente, proposiciones verdaderas. Pues bien, p(y) q(y) r(y) : (y > 0) (y < 4) (y < 2) es decir, p(y) q(y) r(y) : y = 1 y p(y) q(y) r(y) : (y > 0) (y < 4) (y o sea, p(y) q(y) r(y) : (y = 2) (y = 3) Como el valor inicial es y = 1, se ejecutar el primer condicional y el valor de y ser 2. La segunda a a vez se ejecutar el segundo condicional, la sentencia x := x + 1 y la variable y toma el valor 4 que a ya no verifica la condicin inicial, con lo que el programa termina. o Consecuentemente, la sentencia x := x + 1 se ejecuta una vez. Ejemplo 2.8 x := 10 y := 1 Hacer mientras y Comienzo z := 1 Hacer mientras z y + 3 Comienzo Si [(x > 8) ((y > 5) y (z < 10))] entonces imprimir x o z := z + 1 Fin x := x 1 y := y + 1 Fin Solucin o Sean p(y) : y 7 33 7 Cuntas veces se imprime el valor de x en el siguiente programa? a 2)

Universidad de Cdiz a q(z, y) : z r(x) : x > 8 s(y) : y > 5 t(z) : z < 10 y+3

Departamento de Matemticas a

los predicados cuyas variables son x, y, z perteneciendo las tres al universo de los enteros positivos. Utilizando estos predicados, el programa podr escribirse en la forma: a x := 10 y := 1 Hacer mientras p(y) sea verdad Comienzo z := 1 Hacer mientras q(z, y) sea verdad Comienzo Si [r(x) (s(y) t(z))] es verdad entonces imprimir x z := z + 1 Fin x := x 1 y := y + 1 Fin La variable x se imprimir para los valores de x, y, z que hagan que el predicado a [p(y) q(z, y)] [r(x) (s(y) t(z))] sea una proposicin verdadera. Aplicando la distributividad de respecto de , obtendremos o [p(y) q(z, y) r(x)] [p(y) q(z, y) s(y) t(z)] que ser una proposicin verdadera para los valores de las variables que hagan verdadera, al menos, a a o una de las dos. Pues bien, p(y) q(z, y) r(x) ser verdad unicamente para aquellos valores de x, y, z que hagan de los tres a predicados, tres proposiciones verdaderas. Si observamos los valores iniciales de las tres variables, p(y) ser verdad siete veces y por cada una a de ellas, q(z, y) ser verdad y + 3 veces. Sin embargo, la variable x slo puede tomar dos valores. a o En efecto, como su valor inicial es 10, tendremos x := 10 r(x) : x > 8 de donde resulta que r(x) : (x = 9) (x = 10) Por lo tanto, p(y) q(z, y) r(x) [p(y) q(z, y) (x = 10)] [p(y) q(z, y) (x = 9)] Ahora bien, para x = 10 y para x = 9, la variable y toma los valores 1 y 2, respectivamente, luego p(y) q(z, y) r(x) [p(1) q(z, 1) (x = 10)] [p(2) q(z, 2) (x = 9)] Como p(1) : 1 7 y p(2) : 2 7 son verdad siempre, las dos proposiciones entre corchetes sern a verdad cuando lo sean q(z, 1) y q(z, 2), respectivamente. Resumiendo p(y) q(z, y) r(x) q(z, 1) q(z, 2) (z 34 4) (z 5)

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

Por otra parte, p(y) q(z, y) s(y) t(z) al igual que la anterior, ser verdad unicamente para a los valores de las variables que hagan de los cuatro predicados, cuatro proposiciones verdaderas. Ahora bien, observemos lo siguiente: p(y) s(y) (y luego, p(y) q(z, y) s(y) t(z) En definitiva, [p(y) q(z, y) r(x)] [p(y) q(z, y) s(y) t(z)] = (z Luego x se imprime un total de veintisiete veces. 4) (z 5) (z 9) (z 9) [(y = 6) q(z, y) t(z)] [(y = 7) q(z, y) t(z)] [q(z, 6) t(z)] [q(z, 7) t(z)] [q(z, 6) (z < 10)] [q(z, 7) (z < 10)] [(z (z 9) (z < 10)] [(z 9) (z 9) 10) (z < 10)] 7) (y > 5) (y = 6) (y = 7)

2.2

Cuanticadores

Otra forma de ligar las variables individuales es cuantificarlas.

2.2.1

Cuanticador Universal

Si p(x) es un predicado cuya variable es x, entonces la armacin o para todo x, p(x) es una proposicin en la cual se dice que la variable x est universalmente cuanticada. o a La frase para todo se simboliza con , s mbolo que recibe el nombre de cuanticador universal. As pues, para todo x, p(x) se escribe x, p(x). El s mbolo x puede interpretarse tambin como e para cada x, para cualquier x y para x arbitrario. Ejemplo 2.9 En el universo del discurso de los nmeros enteros, la proposicin todo nmero es u o u estrictamente menor que el siguiente puede escribirse en la forma x, x < x + 1. Ejemplo 2.10 Sean p(x, y, z) : xy = z, q(x, y) : x = y y r(x, y) : x > y y sea el universo del discurso U , el conjunto de los nmeros enteros. Transcribir las siguientes proposiciones a notacin lgica. u o o (a) Si y = 1, entonces xy = x para cualquier x. (b) Si xy = 0, entonces x = 0 e y = 0. (c) Si xy = 0, entonces x = 0 y = 0. o (d) 3x = 6 si, y slo si x = 2. o (e) No existe solucin para x2 = y, a menos que y o 0.

(f) x < z es una condicin necesaria para que x < y e y < z. o 35

Universidad de Cdiz a (g) x yey x es una condicin suciente para que y = x. o

Departamento de Matemticas a

(h) Si x < y y z < 0, entonces xz > yz. (i) No es cierto que x = y y x < y. (j) Si x < y, entonces para algn z tal que z < 0, xz > yz. u (k) Existe un x tal que para cada y y z, es xy = xz. Solucin o (a) Si y = 1, entonces xy = x para cualquier x. y [q(y, 1) x, p(x, y, x)] (b) Si xy = 0, entonces x = 0 e y = 0. x, y [p(x, y, 0) q(x, 0) q(0, y)] (c) Si xy = 0, entonces x = 0 y = 0. o x, y [p(x, y, 0) q(x, 0) q(0, y)] (d) 3x = 6 si, y slo si x = 2. o x [p(3, x, 6) q(x, 2)] (e) No existe solucin para x2 = y, a menos que y o 0.

y [r(0, y) x : p(x, x, y)] (f) x < z es una condicin necesaria para que x < y e y < z. o x, y, z [r(y, x) r(z, y) r(z, x)] (g) x yey x es una condicin suficiente para que y = x. o x, y [r(x, y) r(y, x) q(x, y)] (h) Si x < y y z < 0, entonces xz > yz. x, y, z [r(y, x) r(0, z) u, v (p(x, z, u) p(y, z, v)) r(u, v)] (i) No es cierto que x = y y x < y. x, y [q(x, y) r(y, x)] (j) Si x < y, entonces para algn z tal que z < 0, xz > yz. u x, y [r(y, x) z : (r(0, z) u, v (p(x, z, u) p(y, z, v) r(u, v)))] (k) Existe un x tal que para cada y y z, es xy = xz. x : [y, z, u, v (p(x, y, u) p(x, z, v) q(u, v))]

36

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

2.2.2

Valor de Verdad del Cuanticador Universal

Sea p(x) un predicado cuya variable x toma valores en un universo del discurso U . x, p(x) es verdad si el predicado p(x) es una proposicin verdadera para todos los valores de x o en el universo U . x, p(x) es falsa si hay, al menos, un valor de x en U para el cual el predicado p(x) sea una proposicin falsa. o Ejemplo 2.11 afirmaciones: Estudiar en el universo de los nmeros enteros, el valor de verdad de las siguientes u

(a) x, x < x + 1 (b) x, x = 5 Solucin o (a) x, x < x + 1 El predicado p(x) : x < x + 1 es una proposicin verdadera si sustituimos x por cualquier nmero o u entero, luego la proposicin cuantificada x, x < x + 1 es verdad. o (b) x, x = 5 Esta proposicin dice que todos los nmeros enteros son iguales a 5. Pues bien, el predicado o u p(x) : x = 5 es una proposicin falsa, por ejemplo, para x = 1, luego la proposicin cuantificada o o x, x = 5 es falsa.

2.2.3

Cuanticador Existencial

Si p(x) es un predicado cuya variable es x, entonces la armacin o existe un x tal que p(x) es una proposicin en la que diremos que la variable x est existencialmente cuanticada. o a La frase existe [al menos] se simboliza con , s mbolo que recibe el nombre de cuanticador existencial. Por tanto, existe un x, tal que p(x) se escribe x : p(x) y puede leerse tambin como para algn e u x, p(x) o existe, al menos, un x, tal que p(x).

2.2.4

Valor de Verdad del Cuanticador Existencial

Sea p(x) un predicado de variable x que toma valores en un universo del discurso U . x : p(x) es verdadera, si el predicado p(x) es una proposicin verdadera para, al menos, uno de o los valores de x en U . x : p(x) es falsa, si el predicado p(x) es una proposicin falsa para todos los valores de x en U . o Nota 2.2 Un cuadro resumen de los valores de verdad de los cuantificadores podr ser el siguiente: a Verdad p(x) es verdad para cada x p(x) es verdad para, al menos, un x 37 Falso p(x) es falsa para, al menos, un x p(x) es falsa para todos los valores de x

x, p(x) x : p(x)

Universidad de Cdiz a Ejemplo 2.12 siguientes:

Departamento de Matemticas a

Estudiar en el conjunto de los nmeros enteros, el valor de verdad de las afirmaciones u

(a) x : x < x + 1 (b) x : x = 5 (c) x : x = x + 1 Solucin o (a) x : x < x + 1 La proposicin es existe, al menos, un entero que es menor que el siguiente. o El predicado p(x) : x < x + 1 es una proposicin verdadera para cualquier entero x, por tanto, la o proposicin cuantificada es verdad. o (b) x : x = 5 La traduccin de la proposicin al lenguaje ordinario es existe, al menos, un entero igual a 5. o o El predicado p(x) : x = 5 es una proposicin verdadera cuando x toma el valor 5, luego la o proposicin cuantificada es verdad. o (c) x : x = x + 1 La proposicin es existe, al menos, un nmero entero que es igual al siguiente o u El predicado p(x) : x = x + 1 es una proposicin falsa para cualquier nmero entero x, por tanto o u la proposicin cuantificada es falsa. o

2.2.5

Alcance de un Cuanticador

En una expresin x [p(x) . . .] o x : [p(x) . . .], la porcin de la expresin a la que se aplica x x o o o o se llama alcance del cuanticador y se indicar entre corchetes a menos que sea evidente. a Ejemplo 2.13 En cada una de las expresiones simblicas siguientes, describir el alcance de cada o cuantificador y decir que variables estn ligadas y cules estn libres. a a a (a) x [p(x) y : (t(x, y) r(x))] (b) x : [p(x) y : (t(x, y) r(z))] (c) x : [p(x) y : (t(x, y) r(y))] Solucin o (a) El alcance de es toda la frmula. El alcance de es la frmula (t(x, y) r(x)). La variable x est o o a ligada por el cuantificador y la y por el , luego no hay variables libres. (b) El alcance de es el resto de la frmula y el alcance de es t(x, y) r(z). La variable z est libre, o a pero x e y estn ligadas por el cuantificador . a (c) Los alcances son los mismos que en (b). La y en r(y) est libre, pero en t(x, y) est ligada. a a Ejemplo 2.14 Consideremos el universo de los nmeros enteros y sea p(x, y, z) el predicado x y = z. u Transcribir las siguientes afirmaciones a notacin lgica. o o 38

Lgica Matemtica o a (a) Para cada x e y, existe algn z tal que x y = z. u (b) Para cada x e y, existe algn z tal que x z = y. u (c) Existe un x tal que para todo y, y x = y.

Francisco Jos Gonzlez Gutirrez e a e

(d) Cuando el 0 se resta de cualquier entero, el resultado es el entero original. (e) 3 restado de 5 da 2. Solucin o (a) Para cada x e y, existe algn z tal que x y = z. u x [y(z : p(x, y, z))] (b) Para cada x e y, existe algn z tal que x z = y. u x [y(z : p(x, z, y))] (c) Existe un x tal que para todo y, y x = y. x : [y, p(y, x, y)] (d) Cuando el 0 se resta de cualquier entero, el resultado es el entero original. x, p(x, 0, x) (e) 3 restado de 5 da 2. p(5, 3, 2)

Ejemplo 2.15 Sean p(x, y, z), q(x, y, z) y r(x, y) los predicados x + y = z, x y = z y x < y, respectivamente. Expresar en el universo de los nmeros enteros no negativos las afirmaciones siguientes: u (a) Para cada x e y, existe un z tal que x + y = z. (b) Ningn x es menor que cero. u (c) Para todo x es x + 0 = x. (d) Para todo x, x y = y para todo y. (e) Existe un x tal que x y = y para cada y. Solucin o (a) x [y(z : p(x, y, z))] (b) x [r(x, 0)] o bien, x : r(x, 0) (c) x, p(x, 0, x) (d) x [y, q(x, y, y)] (e) x : [y, q(x, y, y)] 39

Universidad de Cdiz a

Departamento de Matemticas a

Ejemplo 2.16 Determinar cules de las siguientes proposiciones cuantificadas son verdad si el universo a es el conjunto de los nmeros enteros. u (a) x [y : (x y = 0)] (b) y : [x (x y = 1)] (c) y : [x (x y = x)] Solucin o (a) x [y : (x y = 0)] Dado cualquier nmero entero, existe otro tal que el producto de ambos es cero u La proposicin o y : x y = 0 es verdad para cualquier entero x ya que bastar tomar y = 0. Por lo tanto, a x [y : (x y = 0)] es una proposicin verdadera. o (b) y : [x (x y = 1)] Puede encontrarse un nmero entero tal que su producto por cualquier entero sea 1 u La proposicin o x, x y = 1 es falsa ya que bastar tomar x = 1 para que x y = 1 cualquiera que sea el y que se elija. Por lo a tanto, la proposicin o y : [x (x y = 1)] es falsa. (c) y : [x (x y = x)] Existe, al menos, un nmero entero tal que al multiplicarlo por cualquier entero lo deja igual. u La proposicin o x, x y = x ser verdadera o falsa dependiendo del y que elijamos. En particular, si tomamos y = 1, la a proposicin x, x y = x es verdad para todos los enteros. Consecuentemente, o y : [x (x y = x)] es una proposicin verdadera. o Nota 2.3 Una afirmacin con variables cuantificadas se puede expresar mediante las proposiciones o que se obtienen asignando valores a las variables de los predicados que ocurren en la afirmacin. o Si el universo del discurso es finito esta relacin puede hacerse expl o cita. Por ejemplo, supongamos que el universo consiste en los enteros 1,2,3 y 4, entonces la proposicin: o x, p(x) equivale a la proposicin o p(1) p(2) p(3) p(4) y la proposicin o x : p(x) es equivalente a la p(1) p(2) p(3) p(4) 40

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

Si el universo del discurso es infinito una proposicin con cuantificadores no puede representarse o siempre por un nmero finito de conjunciones o disyunciones de proposiciones sin cuantificadores. u Sin embargo, podemos extender el concepto y a veces es conveniente expresar una afirmacin o universal o existencialmente cuantificada como una conjuncin o disyuncin infinita, respectivao o mente. Por ejemplo, consideremos como universo del discurso el conjunto de los nmeros enteros u no negativos y sea p(x) el predicado x > 4. Entonces, la proposicin, o x, p(x) puede interpretarse como la conjuncin infinita o p(0) p(1) p(2) p(3) p(4) la cual es falsa ya que, por ejemplo, p(0) es falsa. Asimismo, la proposicin o x : p(x) puede interpretarse como la disyuncin infinita o p(0) p(1) p(2) p(3) p(4) la cual es verdad, ya que al menos uno de los operandos, por ejemplo p(5), es verdad. Ejemplo 2.17 Sea el universo del discurso U = {0, 1}. Encontrar conjunciones y disyunciones finitas de proposiciones que no usen cuantificadores y que sean equivalentes a las siguientes: (a) x, p(0, x) (b) x [y, p(x, y)] (c) x [y : p(x, y)] (d) x : [y, p(x, y)] (e) y [x : p(x, y)] Solucin o (a) x, p(0, x) La forma equivalente pedida es p(0, 0) p(0, 1) (b) La proposicin cuantificada x [y (p(x, y))] puede expandirse en la forma: o [y, p(0, y)] [y, p(1, y)] la cual puede interpretarse como [p(0, 0) p(0, 1)] [p(1, 0) p(1, 1)] que por la asociatividad de equivale a p(0, 0) p(0, 1) p(1, 0) p(1, 1) (c) Expandimos la proposicin x [y : p(x, y)] a o [y : p(0, y)] [y : p(1, y)] 41

Universidad de Cdiz a la cual equivale a [p(0, 0) p(0, 1)[ [p(1, 0) p(1, 1)] y aplicando la distributividad de respecto de ,

Departamento de Matemticas a

[(p(0, 0) p(0, 1)) p(1, 0)] [(p(0, 0) p(0, 1)) p(1, 1)] es decir, (p(0, 0) p(1, 0)) (p(0, 1) p(1, 0)) (p(0, 0) p(1, 1)) (p(0, 1) p(1, 1)) (d) x : [y, p(x, y)] se expande en la forma: [y, p(0, y)] [y, p(1, y)] la cual equivale a la proposicin o [p(0, 0) p(0, 1)] [p(1, 0) p(1, 1)] y por la distributividad de respecto de , [(p(0, 0) p(0, 1)) p(1, 0)] [(p(0, 0) p(0, 1)) p(1, 1)] es decir, (p(0, 0) p(0, 1)) (p(0, 1) p(1, 0)) (p(0, 0) p(1, 1)) (p(0, 1) p(1, 1)) (e) La proposicin con cuantificadores y [x : p(x, y)] puede expandirse a: o [x : p(x, 0)] [x : p(x, 1)] que es equivalente a la proposicin, o p(0, 0) p(1, 0) p(0, 1) p(1, 1)

En el ejemplo siguiente veremos como el orden en que se ligan las variables es vital y puede afectar profundamente el significado de una afirmacin. o Ejemplo 2.18 siguientes: Si el universo del discurso es el conjunto de las personas casadas, evaluar las afirmaciones

(a) x [y : (x est casada con y)] a (b) y : [x (x est casada con y)] a Si el universo es el conjunto de los nmeros enteros, evaluar: u (c) x [y : (x + y = 0)] (d) y : [x (x + y = 0)] Solucin o Los cuantificadores se evalan de izquierda a derecha. u 42

Lgica Matemtica o a (a) x [y : (x est casada con y)] a

Francisco Jos Gonzlez Gutirrez e a e

La transcripcin de la proposicin es para cada persona que elijamos en el universo del discurso, o o existe otra que est casada con ella. a Pues bien, dada una persona cualquiera x, la proposicin o y : x est casada con y a es verdadera, por lo tanto, x [y : (x est casada con y)] a es verdad. (b) y : [x (x est casada con y)] a La transcripcin es Existe una persona y del universo del discurso tal que todas las dems estn o a a casadas con ella. Pues bien, la proposicin o x(x est casada con y) a es falsa para cualquier y que tomemos en el universo, por tanto, y : [x (x est casada con y)] a es una proposicin falsa. o (c) x [y : (x + y = 0)] Dado cualquier nmero entero, existe otro tal que la suma de ambos es cero. u Pues bien, dado cualquier nmero entero x, la proposicin u o y : x + y = 0 es verdad ya que siempre puede encontrarse otro entero y que cumpla la ecuacin x+y = 0 (bastar o a tomar y = x). Por lo tanto la proposicin o x [y : (x + y = 0)] es verdad. (d) y : [x (x + y = 0)] Existe, al menos, un nmero entero y tal que su suma con cualquier otro nmero entero es cero. u u La proposicin o x, x + y = 0 es falsa para todos los y del universo del discurso. En efecto, bastar tomar un x = 0 y x = y a para que x + y = 0. Por lo tanto, y : [x (x + y = 0)] es una proposicin falsa. o Obsrvese que las dos parejas de proposiciones se diferencian unicamente en el orden de los cuantificadores e universal y existencial y, sin embargo, sus valores de verdad son distintos. Nota 2.4 Cuando se asignan valores a las variables de un predicado para transformarla en una proposicin, los valores de verdad de sta pueden cambiar dependiendo del universo del discurso que o e se elija. Por ejemplo, la proposicin x, x es negativo ser verdad si el universo del discurso son los o a nmeros enteros negativos y falsa si son los enteros positivos. En el ejemplo siguiente buscamos universos u que hagan que determinadas proposiciones sean verdaderas. Ejemplo 2.19 Especificar un universo del discurso para el cual las proposiciones siguientes sean verdad. Elegir el universo como un conjunto de nmeros enteros tan grande como sea posible. u 43

Universidad de Cdiz a (a) x, x > 0 (b) x, x = 3 (c) x [y : (x + y = 248)] (d) y : [ (x, x + y < 0)] Solucin o

Departamento de Matemticas a

(a) La proposicin x, x > 0 significa que x sea mayor que cero, cualquiera que sea x, luego U es el o conjunto de los enteros positivos. (b) x, x = 3, signica que cualquiera que sea x, valga 3, luego U es el subconjunto de los enteros formado unicamente por el 3. (c) x [y (: x + y = 248)]. El universo del discurso que hace que esta proposicin sea verdad es el o conjunto de los enteros, ya que dado cualquier entero x, bastar tomar y = 248 x para que la a proposicin y : x + y = 248 fuese verdad. o (d) y : [x (x + y < 0)]. El universo que hace verdadera esta proposicin es el de los enteros negativos, o ya que jando un y en l la proposicin x(x + y < 0) es verdad. e o

2.3

Clculo de Predicados a

La versin de la lgica que trata con proposiciones cuantificadas se llama lgica de predicados. La o o o introduccin de cuantificadores no slo ampl la fuerza expresiva de las proposiciones que se pueden o o a construir, sino que tambin permite elaborar principios lgicos que explican el razonamiento seguido en e o casi todas las demostraciones matemticas. a Una transcripcin cuidadosa de los desarrollos matemticos incluyen, a menudo, cuantificadores, predio a cados y operadores lgicos. o Ejemplo 2.20 Consideremos como universo del discurso el conjunto de los nmeros enteros y sean u

p(x) : x es no negativo. q(x) : x es par. r(x) : x es impar. s(x) : x es primo. Expresar en notacin lgica las siguientes armaciones: o o (a) Existe un entero par. (b) Todo nmero entero es par o impar. u (c) Todos los nmeros primos son no negativos. u (d) El unico nmero primo par es el 2. u (e) No todos los enteros son pares. (f) No todos los primos son impares. (g) Si un entero no es impar, entonces es par. 44

Lgica Matemtica o a Solucin o (a) Existe un entero par. x : q(x) (b) Todo nmero entero es par o impar. u x [q(x) r(x)] (c) Todos los nmeros primos son no negativos. u x [s(x) p(x)] (d) El unico nmero primo par es el 2. u x [s(x) q(x) x = 2] (e) No todos los enteros son pares. [x, q(x)] (f) No todos los primos son impares. x, [s(x) r(x)] (g) Si un entero no es impar, entonces es par. x [r(x) q(x)]

Francisco Jos Gonzlez Gutirrez e a e

Obsrvese que en el ejemplo anterior, los cuantificadores estn al comienzo de cada afirmacin. Sin e a o embargo, no siempre es as los cuantificadores pueden ir en cualquier parte y su situacin es importante. , o Ejemplo 2.21 Consideremos en el universo de los nmeros enteros el predicado p(x, y, z) : xy = z. u Transcribir a notacin lgica las afirmaciones siguientes: o o (a) Si x = 0, entonces xy = x para todos los valores de y. (b) Si xy = x para cada y, entonces x = 0. (c) Si xy = x para algn x, entonces x = 0. u Solucin o Sea p(x, y, z) : xy = z, entonces (a) Si x = 0, entonces xy = x para todos los valores de y. x [x = 0 y, p(x, y, x)] (b) Si xy = x para cada y, entonces x = 0. x [y (p(x, y, x) x = 0)] (c) Si xy = x para algn x, entonces x = 0. u x : [p(x, y, x) x = 0] 45

Universidad de Cdiz a

Departamento de Matemticas a

La proposicin (b) arma que si xy = x para todos los valores de y, entonces x vale cero. Si en su lugar o escribimos x [y (p(x, y, x) x = 0)] la transcripcin no es correcta, ya que en tal caso estar o amos afirmando que si xy = x, entonces x = 0 para cada x y para cada y, lo cual es falso ya que, por ejemplo, tomando x = y = 1, tendremos que xy = x y, sin embargo, x no es cero. Por tanto, el lugar en el que se coloca el cuantificador es fundamental. Los ejemplos anteriores ilustran la gran variedad de formas en las que pueden hacerse afirmaciones que contengan predicados, cuantificadores y operadores lgicos. o Nota 2.5 El valor de verdad de una proposicin compuesta depende, generalmente, del conjunto o universal donde las variables ligadas estn cuantificadas. Sin embargo, existen ejemplos importantes a donde el valor de verdad no depende ni del universo del discurso ni de los valores que las variables tomen en el mismo.

2.3.1

Implicacin Lgica o o

Sean A1 y A2 dos armaciones que contienen predicados. Diremos que A1 implica lgicamente A2 si o para cualquier universo del discurso que elijamos y para cualquier valor de las variables en el mismo, A2 es verdad cuando A1 lo sea.

2.3.2

Equivalencia Lgica o

Sean A1 y A2 dos armaciones que contienen predicados. Diremos que A1 equivale lgicamente a o A2 si para cualquier universo del discurso que elijamos y para cualquier valor de las variables en el mismo, A1 y A2 tienen los mismos valores de verdad. Obsrvese que las definiciones son anlogas a las dadas para la implicacin y equivalencia lgica de e a o o proposiciones. Ahora se exige que las condiciones se verifiquen para cualquier universo del discurso y cualquier valor de las variables en el mismo.

2.3.3

Leyes de De Morgan Generalizadas

Constituyen una clase importante de equivalencias lgicas y son las siguientes: o 1. x, p(x) x : p(x) 2. x : p(x) x, p(x) 3. x, p(x) x : p(x) 4. x : p(x) x, p(x) Demostracin o Sea U un universo del discurso arbitrario, p(x) un predicado cualquiera, y x cualquiera de U . Veamos que en todos los casos las dos proposiciones tienen los mismos valores de verdad. 1. x, p(x) x : p(x) Si x, p(x) es verdad, entonces x, p(x) es falso, luego existe, al menos, un x en U para el cual p(x) es falso, o lo que es igual para el que p(x) es verdad, es decir x : p(x) es verdad. 46

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

Si x, p(x) es falso, entonces x, p(x) es verdad, luego p(x) es verdad para cualquier valor de x y p(x) falso. Por lo tanto, x : p(x) es falso. 2. x : p(x) x, p(x) Si x : p(x) es verdad, entonces x : p(x) es falso, luego p(x) es falso para todos los valores de x, es decir p(x) es verdad para cualquier x de U y, consecuentemente, x, p(x) es verdad. Si x : p(x) es falso, entonces x : p(x) es verdad, luego p(x) es verdad para algn valor de x, de u aqu que exista un x para el cual p(x) es falso y, por lo tanto, x, p(x) es falso. 3. x, p(x) x : p(x) Si x, p(x) es verdad, entonces p(x) es verdad para cualquier x o lo que es igual p(x) es falso para todo x de U , es decir x : p(x) es falso y, por tanto, x : p(x) es verdad. Si x, p(x) es falso, entonces hay, al menos, un valor de x para el cual p(x) es falso o para el que p(x) es verdad, es decir x : p(x) es verdad y, consecuentemente, x : p(x) es falso. 4. x : p(x) x, p(x) Si x : p(x) es verdad, entonces p(x) es verdad para algn valor de x en U , luego existe un x en U u para el cual p(x) es falso, es decir, x, p(x) es falso y, consecuentemente, x, p(x) es verdad. Si x : p(x) es falso, entonces p(x) es falsa para todos los valores de x en U , es decir p(x) es verdad, luego x, p(x) es verdad y, por lo tanto, xp(x) es falso. Tenemos, pues, que cada una de las proposiciones anteriores son verdaderas independientemente del conjunto universal que elijamos y las variables de predicado que utilicemos, por lo tanto de acuerdo con la denicin, son lgicamente equivalentes. o o Nota 2.6 Obsrvese que segn lo que acabamos de probar, la equivalencia 1. es cierta para cualquier e u predicado luego ser cierto para p(x). Entonces, a x, p(x) x : p(x) y si sustituimos p(x) por p(x), resulta x, p(x) x : p(x) que es la cuarta ley de De Morgan, de la cual, negando ambos miembros, y en virtud de la equivalencia lgica entre una proposicin y su contrarrec o o proca, obtenemos, x, p(x) x : p(x) es decir, x, p(x) x : p(x) que es la segunda ley de De Morgan. Si ahora se la aplicamos a p(x), obtendremos x, p(x) x : p(x) o sea, x, p(x) x : p(x) que es la tercera ley de De Morgan. Nota 2.7 Las leyes de De Morgan generalizadas pueden utilizarse repetidamente para negar cualquier proposicin con cuantificadores. o Por ejemplo, podemos utilizarlas para negar la proposicin o w : [x (y : (z : p(w, x, y, z)))] 47

Universidad de Cdiz a En efecto, w : [x (y : (z : p(w, x, y, z)))]

Departamento de Matemticas a

w [x(y : (z : p(w, x, y, z)))]

{Segunda ley}

w [x : (y : (z : p(w, x, y, z)] {Primera ley} w [x : (y(z : p(w, x, y, z)))] w [x : (y(z, p(w, x, y, z)))] {Segunda ley} {Segunda ley}

2.3.4

Regla general

La negacin de una proposicin con cuantif icadores es lgicamente equivalente a la proposicin que o o o o se obtiene sustituyendo cada por , cada por y reemplazando el predicado por su negacin. o Ejemplo 2.22 Construir la negacin de la proposicin o o x [y (z : x < z < y)] Solucin o De acuerdo con la regla general, la negacin de la proposicin anterior es: o o x : [y : (z, (x < z < y))] si ahora aplicamos las leyes de De Morgan del clculo proposicional a la proposicin (x < z < y), a o tendremos (x < z < y) [(x < z) (z < y)] (x < z) (z < y) x zz y

Por tanto, la negacin de x [y(z : (x < z < y))] es lgicamente equivalente a o o x : [y : (z, x zz y)]

Ejemplo 2.23 nadores. Solucin o

Negar la afirmacin todas las empresas fabrican algn componente de todos los ordeo u

Sean los predicados p(x, y): la empresa x produce el componente y y q(y, z): y es un componente del ordenador z La afirmacin propuesta escrita en lenguaje simblico ser o o a x [z(y : (p(x, y) p(y, z)))] y su negacin, de acuerdo con la regla general ser: o a x : [z : (y : (p(x, y) q(y, z)))] 48

Lgica Matemtica o a la cual, a su vez, es lgicamente equivalente a o

Francisco Jos Gonzlez Gutirrez e a e

x : [z : (y : p(x, y) q(y, z))] que podemos escribir en forma de condicional sin ms que utilizar la implicacin lgica conocida como a o o implicacin, o x : [z : (y : p(x, y) q(y, z))] cuya interpretacin es o pueden encontrarse una empresa y un ordenador tales que si un componente cualquiera est a fabricado por la empresa, entonces no pertenece al ordenador. Obsrvese que tambin pod e e amos haber escrito x : [z : (y : q(y, z) p(x, y))] cuya interpretacin es o pueden encontrarse una empresa y un ordenador tales que si un componente cualquiera pertenece al ordenador, entonces no est fabricado por la empresa. a Obsrvese tambin que otra forma equivalente de la negacin es e e o x : [z : (y : p(x, y) q(y, z))] cuya interpretacin es o existen una empresa y un ordenador tales que la empresa no fabrica ningn componente del u ordenador o tambin e existen una empresa y un ordenador tales que el ordenador no tiene ningn componente u fabricado por la empresa.

Ahora estudiaremos de que forma afectan a los cuantificadores lo conectores lgicos conjuncin y disyuncin. o o o

2.3.5

Proposiciones al Alcance de un Cuanticador

Si una proposicin est dentro del alcance de un cuanticador mediante una conjuncin o una o a o disyuncin, entonces puede situarse fuera del alcance del mismo. o (a) x [p(x) q] [x, p(x)] q (b) x : [p(x) q] [x : p(x)] q (c) x : [p(x) q] [x : p(x)] q (d) x [p(x) q] [x, p(x)] q Demostracin o Supondremos que U es un universo del discurso arbitrario, p(x) cualquier predicado, x un elemento cualquiera de U y q una proposicin cualquiera. o 49

Universidad de Cdiz a (a) x [p(x) q] [x, p(x)] q.

Departamento de Matemticas a

Veamos que ambas proposiciones tienen los mismos valores de verdad. Si x [p(x) q] es verdad, entonces p(x) q es verdad para todos los valores de x en U luego una de las dos proposiciones ha ser verdad para todo x. Si p(x) es verdad para todos los valores de x en U , entonces x, p(x) es verdad y, consecuentemente [x, p(x)] q es verdad. Si q es verdad, entonces [x, p(x)] q es verdad. luego en ambos casos, [x, p(x)] q es verdad. Si x [p(x) q] es falso, entonces existe al menos un x para el cual p(x) q es falso de aqu que p(x) sea falso para ese x y q tambin, luego [x, p(x)] es falso, q es falso y, consecuentemente, e [x, p(x)] q es falso. (b) x : [p(x) q] [x : p(x)] q. Veamos si ambas proposiciones tienen los mismos valores de verdad. Si x : p(x) q es verdad, entonces existe un x, para el cual p(x) q es verdad, luego una de las dos proposiciones ha de ser verdad. Si p(x) es verdad para algn x, entonces x : p(x) es verdad y, consecuentemente, [x : p(x)]q u tambin lo es. e Si q es verdad, entonces [x : p(x)] q tambin lo es. e es decir, en cualquier caso [x : p(x)] q es verdad. Si x : [p(x) q] es falso, entonces p(x) q es falso para todos los valores de x, luego p(x) es falso para cualquier x de U y q tambin, es decir x : p(x) es falso y q falso, luego [x : p(x)] q es falso. e (c) x : [p(x) q] [x : p(x)] q. Si x : [p(x) q] es verdad, entonces p(x) q es verdad para algn valor de la variable x, luego p(x) u y q han de ser verdad para este x de aqu que x : p(x) sea verdad y q tambin y, consecuentemente, e [x : p(x)] q es verdad. Si [x : p(x) q] es falso, entonces p(x)q es falso para todos los valores de la variable x, luego p(x) y q han de ser, ambos, falsos para todos esos valores, de aqu que x : p(x) sea falso y q tambin. e Consecuentemente, [x : p(x)] q es falso. Tambin podemos probarlo de otra forma. En efecto, en el apartado (a) hemos visto que e x [p(x) q] [x, p(x)] q de aqu que sustituyendo los predicados por sus negaciones, tengamos x [p(x) q] [x, p(x)] q y negando ambos miembros, x [p(x) q] [(x, (p(x)) q] y aplicando las leyes de De Morgan en el segundo miembro x [p(x) q] [x, p(x)] q y por las leyes de De Morgan generalizadas, x : [(p(x) q] [x : p(x)] q es decir, x : [p(x) q] [x : p(x)] q y, consecuentemente, x : [p(x) q] [x : p(x)] q 50

Lgica Matemtica o a (d) x [p(x) q] [x, p(x)] q.

Francisco Jos Gonzlez Gutirrez e a e

Si x(p(x) q) es verdad, entonces p(x) q es verdad para todos los valores de x en U de aqu que p(x) y q sean, ambos, verdad para cualquier x. Por lo tanto, x, p(x) es verdad y q tambin y, e consecuentemente, [x, p(x)] q es verdad. Si x [p(x) q] es falso, entonces hay algn valor de la variable x para el cual p(x) q es falso, de u aqu que una de las dos proposiciones sea falsa. Si p(x) es falsa para algn valor de la variable x, entonces x, p(x) es falsa y, consecuentemente, u [x, p(x)] q ser falsa, independientemente del valor de verdad de q. a Si q es falsa, entonces [x, p(x)] q es falsa. Al igual que el apartado anterior, lo probaremos de otra forma. En efecto, en el apartado (b) vimos que x : [p(x) q] [x : p(x)] q luego si sustituimos cada proposicin por su negacin, tendremos o o x : [p(x) q] [x : p(x)] q y negando ambos miembros, x : [p(x) q] [(x : p(x)) q] es decir, x : [p(x) q] [x : p(x)] q de aqu que, por las Leyes de De Morgan generalizadas, tengamos x, [p(x) q] [x, p(x)] q o sea, x [p(x) q] [x, p(x)] q y, consecuentemente, x [p(x) q] [x, p(x)] q

Ejemplo 2.24

Probar las siguientes equivalencias:

(a) x [p q(x)] p [x, q(x)] (b) [x, p(x)] q x : [p(x) q] Solucin o (a) x [p q(x)] p [x, q(x)] En efecto, x [p q(x)] x [p q(x)] x [q(x) p] [x, q(x)] p p [x, q(x)] {Implicacin} o {Conmutatividad de } {2.3.5 (a)} {Conmutatividad de }

p [x, q(x)] {Implicacin} o 51

Universidad de Cdiz a (b) [x, p(x) q] x : [p(x) q] En efecto, [x, p(x)] q [x, p(x)] q [x : p(x)] q x : [p(x) q]

Departamento de Matemticas a

{Implicacin} o {Leyes de De Morgan} {2.3.5 (a)}

x : [p(x) q] {Implicacin} o

2.3.6

Predicados al Alcance de un Cuanticador

Los predicados con variables no ligadas por un cuanticador que estn dentro del alcance del mismo e mediante una conjuncin o una disyuncin pueden situarse fuera del alcance del cuanticador. o o (a) x [p(x) q(y)] [x, p(x)] q(y) (b) x [p(x) q(y)] [x, p(x)] q(y) (c) x : [p(x) q(y)] [x : p(x)] q(y) (d) x : [p(x) q(y)] [x : p(x)] q(y) Demostracin o La demostracin es idntica a la hecha en la proposicin anterior. o e o

2.3.7

Asociatividad y Distributividad

(a) x [p(x) q(x)] [x, p(x)] [x, q(x)] (b) x : [p(x) q(x)] = [x : p(x)] [x : q(x)] (c) x : [p(x) q(x)] [x : p(x)] [x : q(x)] (d) [x, p(x)] [x, q(x)] = x, [p(x) q(x)] Demostracin o Sea U un universo del discurso cualquiera y p(x), q(x) dos predicados arbitrarios, siendo x cualquier elemento de U (a) x [p(x) q(x)] [x, p(x)] [x, q(x)] Veamos que ambas proposiciones tienen los mismos valores de verdad. Si x [p(x) q(x)] es verdad, entonces p(x) q(x) es verdad para todos los valores de x en U , luego p(x) y q(x) son, ambas, verdad para cualquier x de U , es decir x, p(x) es verdad y x, q(x) tambin, luego [x, p(x)] [x, q(x)] es verdad. e Por otra parte, si x [p(x) q(x)] es falso, entonces existe, al menos, un valor de x en U para el cual p(x) q(x) es falsa luego una de las dos ha de ser falsa. Si p(x) es falsa para algn valor de x, entonces x, p(x) es falsa y, consecuentemente, la u proposicin [x, p(x)] [x, q(x)] es falsa. o Si q(x) es falsa, el razonamiento es idntico al anterior. e Por lo tanto, en ambos casos, la proposicin es falsa. o 52

Lgica Matemtica o a

Francisco Jos Gonzlez Gutirrez e a e

La relacin anterior suele enunciarse informalmente diciendo que el cuanticador universal es o distributivo respecto del conectivo lgico conjuncin. o o (b) x : [p(x) q(x)] = [x : p(x)] [x : q(x)] Veamos que si la primera de las proposiciones es verdad, entonces la segunda tambin lo es. En e efecto si x : [p(x) q(x)] es verdad, entonces p(x) q(x) es verdad para algn x en U , luego p(x) u y q(x) son verdad, ambas, para se x, de aqu que x : p(x) sea verdad y x : q(x) tambin y, e e consecuentemente, [x : p(x)] [x : q(x)] es verdad. Veamos que, sin embargo, no se da la equivalencia lgica como en el apartado anterior. o En efecto, la afirmacin x : [p(x) q(x)] nos dice que existe un valor de x en el universo para el o cual p(x) y q(x) son, ambas, verdad. Por otra parte, [x : p(x)] [x : q(x)] afirma que existe un valor de x en el universo tal que p(x) es verdad y que existe un valor de x para el cual es verdad q(x). Veamos un contraejemplo que pone de manifiesto lo que decimos. Supongamos que U es el conjunto de los nmeros enteros y sea p(x) : x es un nmero par y q(x) : x es un nmero impar. Entonces, u u u existe, al menos, un nmero entero par y existe, al menos, un nmero entero impar, luego u u [x : p(x)] [x : q(x)] es una proposicin verdadera, en tanto que existe, al menos, un nmero entero que es, al mismo o u tiempo, par e impar, es decir, x : [p(x) q(x)] es una proposicin falsa, luego no se verifica la implicacin contraria. o o (c) x : [p(x) q(x)] [x : p(x)] [x : q(x)] Veamos que si la segunda es falsa, entonces la primera tambin lo es (equivale a probar que si la e primera es verdad, la segunda tambin). En efecto, si [x : p(x)] [x : q(x)] es falsa, entonces e x : p(x) es falsa y x : q(x) tambin, luego p(x) y q(x) son, ambas, falsas para todos los valores e de x en U , de aqu que para cualquier valor de x, p(x) q(x) sea falsa y, consecuentemente, x : [p(x) q(x)] es una proposicin falsa. o Por otra parte, si x : [p(x) q(x)] es falsa, entonces p(x) q(x) es falsa para todos los valores de x en U , luego p(x) es falsa y q(x) es falsa para cualquier x, de aqu que x : p(x) sea falsa, x : q(x) tambin y, consecuentemente, [x : p(x)] [x : q(x)] sea una proposicin falsa. e o Veamos otra forma de demostrar lo mismo. En el apartado (a), hemos visto que x [p(x) q(x)] [x, p(x)] [x, q(x)] siendo cierto este resultado para cualquier predicado, luego tambin lo ser para sus negaciones, es e a decir, x [p(x) q(x)] [x, p(x)] [x, q(x)] negando ahora ambos miembros, resulta x [p(x) q(x)] [(x, p(x)) (x, q(x))] as pues, x : ([p(x) q(x)]] [x, p(x)] [x, q(x)] es decir, x : [p(x) q(x)] [x : p(x)] [x : q(x)] de aqu que x : [p(x) q(x)] [x : p(x)] (x : q(x)] La relacin anterior suele enunciarse informalmente diciendo que el cuanticador existencial es o distributivo respecto del conectivo lgico disyuncin o o 53

Universidad de Cdiz a

Departamento de Matemticas a

(d) [x, p(x)] [x, q(x)] = x, [p(x) q(x)] En efecto, si [x, p(x)] [x, q(x)] es verdad, entonces una de las dos proposiciones ha de ser verdad. Si x, p(x) es verdad, p(x) ha de ser verdad para todos los valores de x, luego p(x) q(x) es verdad y, consecuentemente, x [p(x) q(x)] es verdad. Si x, q(x) es verdad, se razona exactamente igual. Otra forma de demostrar lo mismo es la siguiente: en el apartado (b) vimos que x : [p(x) q(x)] = [x : p(x)] [x : q(x)] Si ahora sustituimos los predicados por sus negaciones, x : [p(x) q(x)] = [x : p(x)] [x : q(x)] negamos ambos miembros, y aplicamos la contrarrec proca, resulta [x : p(x)] [x : q(x)] = x : [p(x) q(x)] luego, [x : p(x)] [x : q(x)] = x [p(x) q(x)] es decir, [x, p(x)] [x, q(x)] = x [p(x) q(x)] de donde se sigue que [x, p(x)] [x, q(x)] = x [p(x) q(x)] Por razones anlogas a las del apartado (b) no se da la equivalencia lgica. a o

54