C APTULO 6

Clculo de Predicados
ndice del Captulo
6.1. Predicados y Clculo de Predicados . . . . . . . . . . . . . . . . . . . . . 112 6.2. El cuanticador universal . . . . . . . . . . . . . . . . . . . . . . . . . . . 112 6.2.1. Traslacin con el operador universal . . . . . . . . . . . . . . . . . . 114 6.2.2. Distributividad con el cuanticador universal . . . . . . . . . . . . . 115 6.2.3. Manipulacin de rango y trmino con el cuanticador universal . . . 115 6.2.4. Instanciacin con el cuanticador universal . . . . . . . . . . . . . . 116 6.2.5. Teoremas y el cuanticador universal . . . . . . . . . . . . . . . . . 117 6.3. El cuanticador existencial . . . . . . . . . . . . . . . . . . . . . . . . . . 118 6.3.1. Traslacin en la cuanticacin existencial . . . . . . . . . . . . . . . 120 6.3.2. Distributividad en la cuanticacin existencial . . . . . . . . . . . . 120 6.3.3. Manipulacin de rango y trmino con el cuanticador existencial . . 121 6.3.4. Introduccin del operador existencial e intercambio . . . . . . . . . . 121 6.3.5. Testigo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 6.4. Del lenguaje corriente al clculo de predicados . . . . . . . . . . . . . . . 123 6.4.1. Razonamientos en matemtica . . . . . . . . . . . . . . . . . . . . . 125 6.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127 6.5.1. Ejercicios sobre cuanticacin existencial . . . . . . . . . . . . . . . 128 6.5.2. Ejercicios sobre traduccin entre clculo de predicados y lenguaje corriente129

ntroduciremos los conceptos referentes al Clculo de Predicados, lo cual no es ms que una extensin del Clculo Proposicional que ya vimos en el Captulo 3. Esta extensin nos permitir trabajar con expresiones que usen variables de otro tipo adems del tipo booleano y nos 111

112

6. C LCULO

DE

P REDICADOS

6.2. E L

CUANTIFICADOR UNIVERSAL

113

conducir a un sistema formal que abarque una mayor cantidad de expresiones y poder deductivo.

todo x que satisfaga R se satisface P . Vamos a repasar ahora los axiomas vistos en el captulo anterior para el caso particular del cuanticador universal. Rango vaco ( i : f alse : T.i) true Rango unitario Si i no es una variable libre en la expresin N, entonces ( i : i = N : T.i) T.N Distributividad Como el operador es distributivo a derecha e izquierda con respecto al operador , y true es absorbente para , vale ( i : R.i : x T.i) x ( i : R.i : T.i) ( i : R.i : T.i x) ( i : R.i : T.i) x (6.2) (6.3)

6.1. Predicados y Clculo de Predicados

El Clculo Proposicional nos permiti razonar con frmulas construdas con variables y operadores booleanos, con lo cual nos fue posible expresar armaciones o frases que pueden modelizarse utilizando expresiones de tipo booleano. El Clculo de Predicados nos permitir ampliar el espectro, trabajando con frmulas de diversos tipos adems del booleano. La construccin de frmulas que veremos en este clculo nos obliga a denir nuevas expresiones llamadas predicados. Un predicado es una aplicacin de una funcin booleana cuyos argumentos pueden ser de diferentes tipos, es decir un predicado puede ser una funcin de tipo Z B como la funcin par.i o Z Z B como la funcin igual(x, x z + z) o menor(x, y + z). Los nombres de las funciones (igual, menor) son llamados smbolos de predicados. Tambin utilizamos la notacin x < y para expresar el predicado menor(x, y). Por ejemplo, la siguiente expresin x < y x = z q(x, z + x) contiene tres predicados, x < y, x = z y q(x, x + z). Vemos que los argumentos de los predicados son en este caso, variables de tipo distinto de B o tambin expresiones de stos tipos. Los argumentos de un predicado son llamados trminos, por ejemplo en la frmula anterior los trminos en los predicados son x, y, z y z + x. Diremos que una frmula del clculo de predicados es una expresin booleana en la cual alguna de las variables booleanas ha sido reemplazada por: predicados. cuanticaciones existenciales o universales. Por ejemplo, la expresin x < y x = z q(x, z + x) es una frmula del clculo de predicados. El clculo de predicados incluye los axiomas del clculo proposicional y los axiomas correspondientes a las expresiones cuanticadas ( : R : P ) y ( : R : P ) que vimos en el captulo 5. Las reglas de inferencia del clculo de predicados son la Sustitucin, Transitividad de la igualdad, Leibniz y la extensin de esta regla para cuanticaciones que tambin vimos en el captulo anterior.

En este axioma la expresin x que es trasladada fuera del alcance (o dentro del alcance, dependiendo del lado derecho o izquierdo) no puede contener a i como variable libre. Esta restriccin asegura que el lado izquierdo y el derecho en el axioma referencian a las mismas variables libres, de otro modo no se podra asegurar la equivalencia en general. Particin de rango Como el operador es idempotente, entonces cuando el rango de especicacin es de la forma R S vale ( i : R.i S.i : T.i) ( i : R.i : T.i) ( i : S.i : T.i) Particin de rango generalizada ( i : (j : S.i.j : R.i.j) : T.i) ( i, j : S.i.j R.i.j : T.i) Regla del trmino ( i : R.i : T.i G.i) (i : R.i : T.i) (i : R.i : G.i)

6.2. El cuanticador universal

La conjuncin es asociativa, conmutativa y tiene elemento neutro true. Por lo tanto puede considerarse una operacin vlida para denir la expresin cuanticada (x : R : P ) (6.1)

Regla del trmino constante Si el trmino de la cuanticacin es igual a una constante C, es decir, la variable cuanticada i no aparece en C y el rango de especicacin es no vaco, entonces ( i : R : C) C Regla de anidado ( i, j : R.i S.i.j : T i.j) ( i : R.i : ( j : S.i.j : T.i.j))

como ya vimos en el captulo 5. El smbolo , que se lee para todo, se conoce como cuanticador universal y la expresin anterior se denomina cuanticacin universal y se lee para

114

6. C LCULO

DE

P REDICADOS

6.2. E L

CUANTIFICADOR UNIVERSAL

115

Regla de intercambio de variables dummy Si V.j (F V.R F V.T ) = entonces ( i : R : T ) ( j : R[i := j] : T [i := j]) Regla de cambio de variable dummy Para toda funcin f biyectiva y para toda variable j que no aparezca en R ni en T , vale ( i : R.i : T.i) ( j : R.f.j : T.f.j) A continuacin presentaremos axiomas adicionales y teoremas para el cuanticador universal.

6.2.2. Distributividad con el cuanticador universal

Ya vimos en 6.2 cmo distribuye respecto de Suponiendo que x no es una variable libre en P , vale P ( x : R : Q) ( x : R : P Q) El axioma 6.2 nos permite demostrar los siguientes teoremas: (6.4) Teorema. Suponiendo que x no es variable libre en P , se tiene que ( x : R : P ) P ( x :: R) (6.5) Teorema. Distributividad de respecto de : Suponiendo que x no es una variable libre en P , vale ( x :: R) (( x : R : P Q) P ( x : R : Q)) (6.6) (6.7) Teorema. ( x : R : true) true Teorema. ( x : R : P Q) (( x : R : P ) ( x : R : Q)) Vamos a probar el teorema 6.5. Este teorema asegura que una conjuncin puede trasladarse fuera del alcance de la cuanticacin si el rango R no es siempre falso como lo indica el antecedente ( x :: R). La prueba se har suponiendo el antecedente ( x :: R) y demostrando el consecuente: ( x : R : P Q) (5.11) Distributividad de sobre ( x : R : P ) ( x : R : Q) = (6.4) ya que x no es variable libre en P (P ( x :: R)) ( x : R : Q) = Suposicin de ( x :: R) o bien ( x :: R) f alse (P f alse) ( x : R : Q) = (3.29) Elemento neutro de P ( x : R : Q) =

6.2.1. Traslacin con el operador universal

El axioma que sigue nos permitir trasladar el rango de especicacin hacia el trmino de cuanticacin: (6.1) Axioma. Traslacin ( i : R.i : T.i) ( i : : R.i T.i) Este axioma permite demostrar tambin los siguientes teoremas: (6.2) Teorema. Traslacin a) ( x : R : P ) ( x :: R P ) b) ( x : R : P ) ( x :: R P R) c) ( x : R : P ) ( x :: R P P ) (6.3) Teorema. Traslacin a) ( x : Q R : P ) ( x : Q : R P ) b) ( x : Q R : P ) ( x : Q : R P ) c) ( x : Q R : P ) ( x : Q : R P R) d) ( x : Q R : P ) ( x : Q : R P P ) Probaremos (6.3a)) ( x : Q R : P ) Traslacin 6.1 ( x :: Q R P ) = Teorema 3.64 ( x :: Q (R P )) = Traslacin 6.1 ( x : Q : R P ) =

6.2.3. Manipulacin de rango y trmino con el cuanticador universal

Los teoremas que siguen tienen sus anlogos en el Clculo Proposicional, con nombres similares (teoremas 3.75a y 3.75b) que adems sern utilizados en la demostracin: (6.8) Teorema. Debilitamiento y fortalecimiento de rango ( x : Q R : P ) ( x : Q : P )

116

6. C LCULO

DE

P REDICADOS

6.2. E L

CUANTIFICADOR UNIVERSAL

117

(6.9)

Teorema. Debilitamiento y fortalecimiento de trmino ( x : R : P Q) ( x : R : P ) a+b= b+a (donde a, b son enteros) Aqu el cuanticador universal es un comentario y no es parte de la frmula, con lo cual es fcil olvidar que xy+z = z+xy es consecuencia de 6.5 utilizando Instanciacin, y no Sustitucin.

(6.10)

Teorema. Monotona de ( x : R : Q P ) (( x : R : Q) ( x : R : P ))

6.2.4. Instanciacin con el cuanticador universal

A continuacin daremos una regla que ser de utilidad en demostraciones con el cuanticador universal. (6.11) Teorema. Instanciacin ( x :: P ) P [x := E] Observemos que esta regla es una consecuencia inmediata de la regla Rango Unitario, es decir: ( x : x = E : P ) P [x := E] Veamos situaciones donde esta regla 6.11 es de gran ayuda. Por ejemplo, supongamos que queremos probar B par(x + y) B par((x + y)2) cuando la expresin x + y es entera. Supongamos que vale ( i : Z :: par.i par(i)2 ) Usaremos Instanciacin 6.11 para dar la siguiente prueba: = B par(x + y) par.i par(i)2 (6.4) con la instancia i := x + y B par((x + y)2 ) (6.4) = ... ... ... = Justicacin n true ( x :: P ) Justicacin 1 ... ... = = Justicacin n ( x :: true) (6.6), ( x : R : true) true true

6.2.5. Teoremas y el cuanticador universal

Una expresin booleana constituda nicamente por variables libres se llama abierta. Por ejemplo la expresin bx < y es una expresin abierta y su valor cambiar de acuerdo al estado de las variables x, y y b. La misma expresin se transforma en cerrada si se aplica una cuanticacin sobre el conjunto de sus variables libres. En el ejemplo, la expresin ( b, x, y :: b x < y) ahora es cerrada. El valor de una expresin cerrada no depende del estado de sus variables, pues no tiene variables libres. Por lo tanto una expresin cerrada es equivalente a true o f alse. El siguiente metateorema caracteriza (al menos parcialmente) cundo una cuanticacin sobre las variables no altera el valor de una expresin booleana. (6.12) Metateorema. P es un teorema si y slo si ( x :: P ) es un teorema.

Realizaremos la prueba mediante implicacin mutua. P ( x :: P ). Supongamos que P es un teorema, entonces existe una prueba que transforma P en true, utilizando Leibniz, Transitividad de la igualdad y Sustitucin: P Justicacin 1

Sin embargo, usualmente simplicaremos la escritura as: B par(x + y) = (6.4) B par((x + y)2 ) El uso implcito de la regla de Instanciacin tambin se sobreentiende del contexto an cuando el cuanticador universal sea omitido, por ejemplo: ( a, b : Z :: a + b = b + a) puede escribirse tambin: (6.5)

Leibniz 5.5, nos permite transformar esta prueba en una en donde aparezca ( x :: P ). = ...

118

6. C LCULO

DE

P REDICADOS

6.3. E L

CUANTIFICADOR EXISTENCIAL

119

( x :: P ) P . Supongamos que ( x :: P ) es un teorema. Utilizando Instanciacin 6.11 con x por E, conclumos que P es un teorema. Veamos algunas aplicaciones del Metateorema 6.12. Sabemos que p q q p es un teorema, por lo tanto tambin son teoremas ( p :: p q q p), ( q :: p q q p) y ( p, q :: p q q p). Se utiliza con frecuencia una terminologa standard para probar una cuanticacin universal a travs del Metateorema 6.12: Para probar ( x : R : P ), probamos P para un valor x arbitrario en el rango R. Observacin: De este modo, ( x : R : P ) puede probarse demostrando R P ; y a su vez R P puede demostrarse asumiendo el antecedente R y probando el consecuente P . Este mtodo de prueba es habitual en matemtica.

Particin de rango Como el operador es idempotente, entonces cuando el rango de especicacin es de la forma R S vale ( i : R S : T ) ( i : R : T ) ( i : S : T ) Particin de rango generalizada ( i : (j : S.i.j : R.i.j) : T.i) ( i, j : S.i.j R.i.j : T.i) Regla del trmino ( i : R.i : T.i G.i) (i : R.i : T.i) (i : R.i : G.i) Regla del trmino constante Si el trmino de la cuanticacin es igual a una constante C, es decir, la variable cuanticada i no aparece en C y el rango de especicacin es no vaco, entonces ( i : R : C) C Regla de anidado ( i, j : R.i S.i.j : T i.j) ( i : R.i : ( j : S.i.j : T.i.j)) Regla de intercambio de variables dummy Si V.j (F V.R F V.T ) = entonces

6.3. El cuanticador existencial

La disyuncin es simtrica, asociativa y su elemento neutro es f alse. Por lo tanto puede considerarse una operacin vlida para denir la expresin cuanticada (x : R : P ) como ya vimos en el captulo 5. Esta expresin se escribe usualmente as: (x : R : P ) (6.7) (6.6)

( i : R : T ) ( i : R[i := j] : T [i := j]) Regla de cambio de variable dummy Para toda funcin f biyectiva y para toda variable j que no aparezca en R ni en T , vale ( i : R.i : T.i) ( j : R.f.j : T.f.j) A continuacin presentaremos axiomas adicionales y teoremas para el cuanticador universal. Comenzaremos con el siguiente axioma que relaciona los cuanticadores universal y existencial. Llamaremos a este axioma De Morgan generalizado, pues es una generalizacin de las leyes de De Morgan (3.47a), (p q) p q. Veamos a continuacin un ejemplo que ilustra la idea de esta generalizacin: ( i : 0 i < 4 : P ) eliminacin de cuanticador P0 P1 P2 P3 = Doble negacin 3.12; De Morgan 3.47a (P0 P1 P2 P3 ) = introduccin de cuanticador ( i : 0 i < 4 : P ) =

El smbolo , que se lee existe, se conoce como cuanticador existencial y la expresin anterior se denomina cuanticacin existencial y se lee existe x en el rango R que satisface P . Un valor x para el cual (R P )[x := x] es vlido se llama testigo de x en (x : R : P ). Vamos a repasar ahora los axiomas vistos en el captulo anterior con el cuanticador existencial. Rango vaco ( i : f alse : T.i) f alse Rango unitario Si i no es una variable libre en la expresin N, entonces ( i : i = N : T.i) T.N Distributividad Como el operador es distributivo a derecha e izquierda con respecto al operador , y f alse es absorbente para , vale ( i : R.i : x T.i) x ( i : R.i : T.i) ( i : R.i : T.i x) ( i : R.i : T.i) x Suponiendo que i no es una variable libre en x (6.8) (6.9)

120

6. C LCULO

DE

P REDICADOS

6.3. E L

CUANTIFICADOR EXISTENCIAL

121

(6.13)

Axioma. De Morgan Generalizado ( x : R : P ) ( x : R : P )

6.3.3. Manipulacin de rango y trmino con el cuanticador existencial

Los teoremas que siguen tienen sus anlogos con los ya vistos para el cuanticador universal. (6.20) Teorema. Debilitamiento y fortalecimiento de rango ( x : R : P ) ( x : Q R : P ) (6.21) Teorema. Debilitamiento y fortalecimiento de trmino ( x : R : P ) ( x : R : P Q) (6.22) Teorema. Monotona de ( x : R : Q P ) (( x : R : Q) ( x : R : P ))

Utilizando Doble Negacin y las leyes de De Morgan, pueden obtenerse en forma inmediata los siguientes teoremas que son formas alternativas del axioma de De Morgan Generalizado: (6.14) Teorema. Formas alternativas de De Morgan Generalizado a) ( x : R : P ) ( x : R : P ) b) ( x : R : P ) ( x : R : P ) c) ( x : R : P ) ( x : R : P ) En el Captulo 2 denimos el concepto de expresin dual de una expresin booleana, para completar esta denicin diremos que el dual de la expresin booleana ( x : R : P ) es ( x : R : P ), del mismo modo el dual de ( x : R : P ) ser ( x : R : P ).

6.3.1. Traslacin en la cuanticacin existencial

Los teoremas de traslacin para las cuanticaciones existenciales son sorprendentemente diferentes de aquellos vistos para las cuanticaciones universales, en el lado derecho aparecer una conjuncin en lugar de una implicacin. (6.15) (6.16) Teorema. Traslacin para : ( x : R : P ) ( x :: R P ) Teorema. Traslacin para : ( x : Q R : P ) ( x : Q : R P )

6.3.4. Introduccin del operador existencial e intercambio

Finalmente daremos dos teoremas para manipular el cuanticador existencial. (6.23) (6.24) Teorema. Introduccin de : P [x := E] ( x :: P ) Teorema. Intercambio de cuanticadores: Suponiendo que y no es variable libre en R y x no es variable libre en Q vale: ( x : R : ( y : Q : P )) ( y : Q : ( x : R : P )) El teorema 6.23 muestra cmo introducir una cuanticacin existencial utilizando una implicacin mientras que la Regla del Rango Unitario 5.9 es una regla muy puntual que permite eliminar o introducir la cuanticacin existencial. El teorema 6.24 permite intercambiar con . La recproca del teorema no es cierta. Para que el antecedente de 6.24 sea true debe existir un valor de x para el cual P sea vlido para todo y, sin embargo para que el consecuente sea true no es necesario la existencia de tal valor x, pues para cada y un valor distinto de x puede satisfacer P . Daremos ahora la prueba de 6.24 = = = = = ( x : R : ( y : Q : P )) ( y : Q : ( x : R : P )) Implicacin 3.56, p q p q q ( x : R : ( y : Q : P )) ( y : Q : ( x : R : P )) ( y : Q : ( x : R : P )) Distributividad de respecto de (6.2) ( y : Q : ( x : R : ( y : Q : P )) ( x : R : P )) ( y : Q : ( x : R : P )) Distributividad 5.11 ( y : Q : ( x : R : ( y : Q : P ) P )) ( y : Q : ( x : R : P )) Instanciacin (6.11), ( y :: P ) P , junto con (3.56) ( y : Q : P ) P P ( y : Q : ( x : R : P )) ( y : Q : ( x : R : P )) Neutro de true

Para entender 6.15, recordemos el signicado de . El lado izquierdo de (6.15) establece que existe un valor de x en el rango R para el cual P es true. Esto signica que existe un valor de x para el cual ambos R y P son true. Y esto ltimo es exactamente lo que expresa el lado derecho de (6.15).

6.3.2. Distributividad en la cuanticacin existencial

Los siguientes teoremas referentes a son anlogos a aquellos vistos para . En primer lugar recordemos la propiedad de distributividad de respecto de : Suponiendo que x no es una variable libre en P , vale P ( x : R : Q) ( x : R : P Q) (6.17) Teorema. Suponiendo que x no es variable libre en P , se tiene que ( x : R : P ) P ( x :: R) (6.18) Teorema. Distributividad de respecto de : Suponiendo que x no es una variable libre en P , vale ( x :: R) (( x : R : P Q) P ( x : R : Q)) (6.19) Teorema. ( x : R : f alse) f alse

122

6. C LCULO

DE

P REDICADOS

6.4. D EL

LENGUAJE CORRIENTE AL CLCULO DE PREDICADOS

123

6.3.5. Testigo
En secciones anteriores observamos que las variables libres en un teorema estn implcitamente cuanticadas por el operador universal. Por ejemplo, b c c b es un teorema si y slo si ( b, c :: b c c b) es un teorema. Esto nos permite manipular frmulas simples no cuanticadas, en lugar de cuanticaciones complejas. Una tcnica similar se emplea con el cuanticador existencial y la veremos en el siguiente metateorema: (6.25) Metateorema. Metateorema del testigo. Suponiendo que x no es variable libre en P , Q y R, entonces : ( x : R : P ) Q es un teorema si y slo si (R P )[x := x] Q es un teorema. El identicador x se llama testigo de la cuanticacin existencial. Veamos ahora la prueba de este metateorema: ( x : R : P ) Q Traslacin (6.15) ( x :: R P ) Q Implicacin (3.58); de Morgan (6.14b) ( x :: (R P )) Q Cambio de dummy (5.19); suponiendo que x no es variable libre en P, R ( x :: (R P )[x := x]) Q Distrib. de respecto de (6.2); suponiendo que x no es variable libre en Q ( x :: (R P )[x := x] Q) Implicacin (3.58) ( x :: (R P )[x := x] Q)

b = = = = = Neutro de la suma 0 + b = b 0+b (6.10) ( x : Z :: x + a = 0), con testigo a a+a+b Suponiendo el antecedente a + b = a + c a+a+c (6.10) otra vez a + a = 0 0+c Neutro de la suma otra vez c

Por ltimo observemos que, cuando se utilizan dos o ms testigos en una prueba, stos deben ser diferentes. Supongamos que debemos probar ( x :: P ) ( y :: R) Q. Si utilizamos el Teorema 3.64, podremos escribir la expresin as: ( x :: P ) (( y :: R) Q) Dos aplicaciones consecutivas del Metateorema del testigo, nos da la siguiente equivalencia: P [x := x] (R[x := x] Q) Aqu x y x deben ser distintas debido a que es necesario que x no sea variable libre en el consecuente de (R[x := x] Q). Veamos que ocurrira si no tuviramos en cuenta esto ltimo con un ejemplo: Consideremos nuevamente (6.10), y usemos sustitucin para reemplazar a por a + 5, consiguiendo entonces el siguiente teorema: ( x : Z :: x + a + 5 = 0) De este teorema podemos derivar usando Metateorema Testigo 6.25, a + a + 5 = 0 donde a es el testigo. Por otra parte el teorema 6.10, nos permite concluir a + a = 0, utilizando el mismo testigo a, lo cual conduce a la contradiccin 5 = 0. Por este absurdo concluimos que x y x deben ser distintas.

= = = = =

Por el Metateorema 6.12, la ltima lnea de la prueba de arriba es un teorema si y slo si (R P )[x := x] Q es un teorema. El Metateorema del testigo es usado a menudo cuando la expresin cuanticada ( x : R : P ) es un axioma o un teorema conocido y es necesario probar Q. En estos casos, la prueba consiste por lo general en suponer cierto (R P )[x := x] y probar Q. Ilustraremos esta tcnica en la prueba de a+b = a+c b = c. En la demostracin haremos uso del axioma de existencia de opuesto para la suma: ( x : Z :: x + a = 0) (6.10)

6.4. Del lenguaje corriente al clculo de predicados

Formalizar una armacin en trminos de la lgica proposicional, no siempre provee la posibilidad de razonar formalmente sobre las proposiciones elementales de la armacin. Por ejemplo, la frase: algn entero entre 80 y n es mltiplo de x. Podramos asignarle una variable proposicional S a esta armacin, y utilizar S cuando sta aparezca, y sin embargo la formalizacin que se conseguira no nos dara la posibilidad de razonar con la armacin. Usando el clculo de predicados, podemos expresar una formalizacin que ofrezca mayores chances de manipulacin:

donde a es un nmero entero. Este axioma dice que dado cualquier entero a, existe otro nmero entero x tal que x + a = 0. Nosotros haremos el supuesto (x + a = 0)[x := a] con el testigo a, es decir supondremos que a + a = 0. Para probar a + b = a + c b = c, utilizaremos la tcnica de suponer el antecedente a+b = a+c, adems de aceptar como vlido (x+a = 0)[x := a], y probaremos el consecuente:

124

6. C LCULO

DE

P REDICADOS

6.4. D EL

LENGUAJE CORRIENTE AL CLCULO DE PREDICADOS

125

Algn entero par es divisible por 3: ( i : Z : 80 i n : mult(i, x)) donde mult(i, x) indica i es mltiplo de x. Tambin podemos formalizar mult(i, x): ( m : Z :: i = m x) Con los axiomas sobre nmeros enteros, podemos probar distintos teoremas, por ejemplo: par.x ( m : Z :: n = m x) ( m : Z :: n = m x/2) Formalizar el lenguaje corriente mediante el clculo de predicados puede ser til al menos en dos sentidos. Por un lado, pone de maniesto ambigedades en el lenguaje lo cual fuerza a la precisin. Por ejemplo, la frase entre 80 y n, no expresa si 80 y n estn o no includos. Una formulacin en clculo de predicados contempla estas situaciones. Por otra parte, una vez obtenida la formalizacin conveniente, el uso de las reglas de inferencia permite razonar adecuadamente sobre las cuestiones en consideracin. En el captulo 2, realizamos traducciones entre los operadores booleanos y el lenguaje corriente, referidas a expresiones booleanas. Debemos agregar ahora la correspondencia entre los cuanticadores y su referencia en espaol. Leemos el cuanticador universal como para todo, pero tambin puede entenderse que se trata del cuanticador universal cuando leamos en una frase cada, todo, para todo, para cada, cualquier. Por ejemplo: Todo nmero entero par es mltiplo de 2, se traduce en: ( x : Z : par.x : mult(x, 2)) Cada captulo tiene al menos 3 pginas, se escribe: ( c : c Cap : cant.c 3), donde cant.x indica la cantidad de pginas que tiene el captulo x. No siempre las cuanticaciones universales se descubren mediante frases explcitas, a veces, estn implcitas. Los enteros pares son mltiplos de 2, tambin se escribe: ( x : Z : par.x : mult(x, 2)) Un entero par es mltiplo de 2, se escribe: ( x : Z : par.x : mult(x, 2)) Esto es lo que ya observamos anteriormente acerca de las variables libres en un teorema, siempre estn cuanticadas universalmente. Por ejemplo, cuando escribimos x2 > 0, si no existe ningn estado particular en discusin, el signicado es que cada estado de x satisface x2 > 0, con lo cual estamos armando que ( x :: x2 > 0). Las cuanticaciones existenciales se detectan cuando aparece alguna de las siguientes palabras: existe, algn, hay, al menos un, para algn. Veamos algunos ejemplos: Veamos ahora, la negacin junto con los cuanticadores en el lenguaje corriente. Supongamos que debemos negar la frase Todos los enteros son pares, la respuesta Todos los enteros no son pares es incorrecta, la negacin de la frase es No todos los enteros son pares, que leemos No (todos los enteros son pares). Esta frase es equivalente a Algn entero no es par, como demostraremos a continuacin: No (todos los enteros son pares) formalizacin con clculo de predicados ( x : Z :: par.z) = De Morgan (6.14c) ( x : Z :: par.z) = traduccin a lenguaje corriente Algn entero no es par Formalizar armaciones en lenguaje corriente mediante el clculo proposicional requiere asociar variables booleanas a las expresiones elementales de la armacin, pero formalizar armaciones en lenguaje corriente mediante el clculo de predicados exige adems denir funciones y smbolos que permitan capturar la relacin entre las variables booleanas. Por ejemplo, mult(x, 2), par.x y cant.c hicieron posible las formulaciones de las armaciones anteriores. = ( x : Z : par.x : divisible(x, 3)) Hay un captulo con un nmero par de pginas: ( c : c Cap : par(cant.c))

6.4.1. Razonamientos en matemtica

Tanto en Anlisis como en lgebra se han visto pruebas de diversos teoremas. Podemos observar ahora que stas no fueron formales en realidad, pues fueron realizadas en lenguaje espaol y nunca se citaron explcitamente las reglas de inferencia utilizadas. Pero toda descripcin informal de una prueba correcta puede traducirse en formal y ahora que conocemos lo suciente acerca del clculo de predicados, estamos en condiciones de construir tales formalizaciones de pruebas. Por ejemplo, supongamos que debemos determinar si existe algn nmero x para el cual 1/(x2 + 1) > 1. Formalizaremos esta cuestin en trminos del clculo de predicados: ( x : R :: 1/(x2 + 1) > 1) Veremos si se trata de una armacin vlida de la siguiente manera:

126

6. C LCULO

DE

P REDICADOS

6.5. E JERCICIOS

127

= = = =

( x : R :: 1/(x2 + 1) > 1) aritmtica ( x : R :: 1 > (x2 + 1)) aritmtica ( x : R :: 0 > x2 ) x2 0 ( x : R :: f alse) (6.19) f alse

= = = =

|x c| < /3 |f.x f.c| < la lnea de arriba es un teorema, usando Metateorema 6.12 ( x :: |x c| < /3 |f.x f.c| < ) Rango unitario 5.9 ( : = /3 : ( x :: |x c| < /3 |f.x f.c| < )) Debilitamiento de rango 6.20, usando > 0 ( : > 0 : ( x :: |x c| < /3 |f.x f.c| < )) la lnea de arriba es un teorema, usando Metateorema 6.12 dos veces ( c :: ( : > 0 : ( : > 0 : ( x :: |x c| < /3 |f.x f.c| < )))) denicin de continuidad (6.11) ( c :: f es continua en c)

Aqu hemos formalizado todo lo que corresponde a la manipulacin con cuanticadores, aquello concerniente a la manipulacin algebraica ha sido tratado informalmente, debido a que no hemos hecho un anlisis formal sobre los axiomas de la aritmtica. Veamos otro ejemplo: el concepto de continuidad de una funcin f en un punto c. Decimos que una funcin real es continua en c perteneciente a su dominio si vale:

Por ltimo, formalizaremos otras armaciones relacionadas con funciones. Una funcin es inyectiva si ( x, y : x = y : f.x = f.y) o tambin

( : > 0 : ( : > 0 : ( x :: |x c| < |f.x f.c| < ))) Con la denicin anterior podemos demostrar el siguiente teorema: Teorema. f (x) = 3 x + 15 es continua en R.

(6.11) ( x, y : f.x = f.y : x = y) La funcin g es la inversa a izquierda de la funcin f si: ( x :: x = g(f.x))

(6.26)

6.5. Ejercicios
Comenzaremos manipulando el consecuente de |x c| < |f.x f.c| < con un valor de c arbitrario, para la funcin f dada: 6.1 Suponiendo que x no es variable libre en P , probar que la Distributividad de respecto de (6.2): P ( x : R : Q) ( x : R : P Q) sigue directamente de la misma expresin con R true, es decir P ( x :: Q) ( x :: P Q). Lo cual signica que podramos haber denido un axioma ms simple. Probar que ( x : R : P ) ( x : R : Q) ( x : R : P Q) sigue de la misma expresin con R true, es decir de ( x :: P ) ( x :: Q) ( x : R : P Q). Suponiendo que x no es libre en P , probar el teorema 6.4: ( x : R : P ) P ( x :: R). Sugerencia: Comenzar con el lado izquierdo aplicando Traslacin, ya que en el lado derecho R true. Probar el teorema 6.6: ( x : R : true) true. Sugerencia: Aplicando Traslacin al lado izquierdo se obtiene una frmula a la que luego puede aplicarse distributividad, o tambin (6.4).

|3 x + 15 (3 c + 15)| < aritmtica |3 (x c)| < = propiedad del valor absoluto 3 |(x c)| < = aritmtica |(x c)| < /3 =

6.2

6.3

Hemos probado que |x c| < /3 |f.x f.c| < para un valor de c arbitrario. Entonces, tenemos a /3 como testigo para de (6.11). Podemos ahora construir la frmula cuanticada que queramos:

6.4

128

6. C LCULO

DE

P REDICADOS

6.5. E JERCICIOS

129

6.5

Probar el teorema 6.7: ( x : R : P Q) (( x : R : P ) ( x : R : Q)). Sugerencia: Reemplazar la expresin completa usando el teorema (3.61) y a continuacin la Regla del Trmino. Probar el teorema 6.8: Debilitamiento y fortalecimiento de rango: ( x : Q R : P ) ( x : Q : P ). Sugerencia: Ser de utilidad el axioma de Particin de Rango. Probar el teorema 6.9: Debilitamiento y fortalecimiento de trmino: ( x : R : P Q) ( x : R : P ). Sugerencia: Usar la Regla del Trmino. Probar el teorema 6.10: Monotona de : ( x : R : Q P ) (( x : R : Q) ( x : R : P )). Usar (3.64) Traslacin y luego la Regla del Trmino Probar el teorema 6.11: Instanciacin: ( x :: P ) P [x := E]. Sugerencia: La clave es renombrar la variable dummy usando Cambio de Dummy 5.19, de modo que la dummy no aparezca ni en P ni en E.

6.5.2. Ejercicios sobre traduccin entre clculo de predicados y lenguaje corriente

6.21 Traducir las siguientes frases al lenguaje del clculo de predicados: a) El nmero 1 es el nico nmero natural que es menor que el entero positivo p y que divide a q. b) Algn entero es mayor que 23. c) La suma de dos nmeros impares es par. d) Un nmero entero positivo no es negativo. e) Cada nmero entero positivo es menor que el valor absoluto de algn entero negativo. f) Los cubos de enteros nunca son pares. g) El nmero real i es la mayor solucin real de la ecuacin f.i = i + 1. h) Para ningn entero i, f.i es a la vez mayor y menor que i. i) Ningn entero es mayor que todos los dems enteros. 6.22 Traducir las siguientes frmulas del clculo de predicados a lenguaje corriente. a) ( k : R : ( i : Z :: f.i = k)) b) ( z : R : ( i : Z :: f.j = f (j + i z))) c) ( x : x = m : f.x > f.m) d) ( x, y : R :: f.x < 0 0 < f.y ( z : R :: f.z = 0)) e) ( x : Z : ( z : R :: f.x = z)) f) ( z : R : ( z : Z :: f.x = z)) 6.23 Formalizar las siguientes frases: a) Cada uno ama a alguien. b) Alguien ama a alguien. c) Cada uno ama a cada uno. d) Nadie ama a todos. e) Alguien ama a nadie. 6.24 Formalizar las siguientes frases: a) Puedes engaar a alguien por algn tiempo. b) Puedes engaar a todos por algn tiempo. c) No puedes engaar a todos todo el tiempo.

6.6 6.7 6.8 6.9

6.5.1. Ejercicios sobre cuanticacin existencial

6.10 Probar el teorema 6.14: Formas alternativas de De Morgan Generalizado: a) ( x : R : P ) ( x : R : P ) b) ( x : R : P ) ( x : R : P ) c) ( x : R : P ) ( x : R : P ) 6.11 Probar el teorema 6.15: Traslacin para : ( x : R : P ) ( x :: R P ). 6.12 Probar el teorema 6.16: Traslacin para : ( x : Q R : P ) ( x : Q : R P ). 6.13 Suponiendo que x no es libre en P , probar el teorema 6.8: Distributividad de respecto de : P ( x : R : Q) ( x : R : P Q). 6.14 Suponiendo que x no es libre en P , probar el teorema 6.17: ( x : R : P ) P ( x :: R). 6.15 Suponiendo que x no es libre en P , probar el teorema 6.18: Distributividad de respecto de : ( x :: R) (( x : R : P Q) P ( x : R : Q)). 6.16 Probar el teorema 6.19: ( x : R : f alse) f alse. 6.17 Probar el teorema 6.20: Debilitamiento y fortalecimiento de rango: ( x : R : P ) ( x : Q R : P ). 6.18 Probar el teorema 6.21: Debilitamiento y fortalecimiento de trmino: ( x : R : P ) ( x : R : P Q). 6.19 Probar el teorema 6.22: Monotona de : ( x : R : Q P ) (( x : R : Q) ( x : R : P )). 6.20 Probar el teorema 6.23: Introduccin de : P [x := E] ( x :: P ).

130

6. C LCULO

DE

P REDICADOS

d) No puedes engaar a alguien todo el tiempo. 6.25 Demostrar que el siguiente razonamiento es correcto, formalizndolo mediante clculo de predicados y demostrndolo como teorema. Todos los hombres son mortales. Scrates es hombre, entonces Scrates es mortal. 6.26 Demostrar que los siguientes razonamientos son correctos formalizndolos mediante clculo de predicados y demostrndolos como teoremas. a) Los brujos son considerados individuos con poderes ocultos. Algn brujo es mago. Luego, algn mago es considerado como individuo con poderes ocultos. b) Ningn fotgrafo pinta. Todos los que no son fotgrafos son escultores. Por lo tanto, todos los pintores son escultores. c) Ningn feo despierta pasiones. Todos los atletas despiertan pasiones. Por lo tanto, ningn atleta es feo.