Si Sócrates es un ser humano, entonces Sócrates es mortal Sócrates es un ser humano

Transcripción

1 Capítulo I Lógica La lógica es el estudio de razonamiento correcto. Más específicamente se trata de razonamiento deductivo: en un argumento, una conclusión debe estar justificada por sí misma, o se debe deducir de afirmaciones precedentes. Un ejemplo: Si Sócrates es un ser humano, entonces Sócrates es mortal Sócrates es un ser humano Sócrates es mortal El símbolo con los tres puntos se lee por lo tanto. En este ejemplo, las dos primeras afirmaciones están justificadas por sí mismas, y la última se deduce de las precedentes. La validez de la deducción depende sólo de la forma de las afirmaciones implicadas. I.1. Lógica de Proposiciones Una proposición es una afirmación que sin ambigüedad debe ser verdadera o falsa. Estos valores de verdad posibles los denotamos con V y F. Una proposición se construye de proposiciones más básicas usando conectivos lógicos. A diferencia de conectivos usados en el lenguaje diario, estos tienen un significado preciso que en algunos casos puede ser diferente. Ejemplo. son: Algunos de los siguientes enunciados son proposiciones, otros no los - Todas las vacas tienen cuatro patas - Hay más de 200 estudiantes en la clase de matemáticas discretas - Existe vida en otros planetas - Sócrates es mortal

2 2 CAPÍTULO I. LÓGICA - 5 < 3 - Venga aquí - Los cretanos son siempre mentirosos. Epimenides (cretano) - Este enunciado es falso - El enunciado siguiente es falso. El enunciado anterior es verdadero. Las tres últimas son paradojas que resultan de permitir que las afirmaciones mismas sean el objeto del cual se afirma algo. Esto en general no se permite. I.1.1. Proposiciones Compuestas Usamos las variables p, q, r,... para denotar proposiciones de tal forma que podemos construir proposiciones compuestas en terminos de estas proposiciones usando conectivos lógicos. Por ejemplo, Sócrates es mortal y = 4 Si todas las vacas tienen cuatro patas, entonces existe vida en otros planetas tienen las formas p y q y si r entonces s. Estos ejemplos reflejan que las proposiciones que se conectan son arbitrarias; no se requiere relación semántica entre ellas. A continuación para cada conectivo damos su tabla de verdad, la cual indica el valor de verdad de la proposición compuesta para cada combinación de valor de verdad de p y q. Negación Corresponde a la conectiva linguística no y se denota por. La negación de p se escribe p, se lée no p, y es verdadera exactamente cuando p es falsa. p p V F F V Conjunción Corresponde a la conectiva linguística y y se denota por. Por ejemplo Sócrates es mortal y es 4.

3 I.1. LÓGICA DE PROPOSICIONES 3 La conjunción de las proposiciones p y q se escribe p q, se lée p y q, y es verdadera exactamente cuando ambas proposiciones p y q son verdaderas: p q p q V V V V F F F V F F F F En el lenguaje ordinario, con frecuencia otras preposiciones (que dan un significado adicional) reemplazan la conjunción: Los estudiantes de las últimas filas no escuchan bien a pesar de que el profesor está usando el micrófono. Disyunción Corresponde a la conectiva linguística o y se denota por. La disyunción de p y q se escribe p q, se lée p y q, y es falsa exactamente cuando ambas p y q son falsas. p q p q V V V V F V F V V F F F Note que la disyunción lógica es inclusiva, p y q pueden ser ambas verdaderas. Por otra parte, en el lenguaje ordinario la conectiva o es usualmente exclusiva, p o q pero no ambas pueden ser verdaderas, como en la pregunta Quiere té o café? Implicación Corresponde a la conectiva linguística implica y se denota por. La implicación de p a q se escribe p q, se lée p implica q, y es falsa exactamente cuando p es verdadera y q es falsa. La justificación radica en que de una falsedad de puede deducir cualquier afirmación (véa la anécdota a continuación): si hay 500 estudiantes en esta aula entonces yo soy de marte. p q p q V V V V F F F V V F F V

4 4 CAPÍTULO I. LÓGICA Note que la tabla de p q es igual a ésta (sólo es F cuando ambas p y q son F, o sea cuando p es V y q es F). Se puede tomar p q como la definición de p q: las dos formas son lógicamente equivalentes (esto se define más adelante). Una proposición condicional puede aparecer en diferentes formas en el lenguaje. Por ejemplo, la imlicación si p entonces q puede escribirse como - q, si p - p solo si q - p es una condición suficiente para q - q es una condición necesaria para p - q, siempre que p - q provisto que p - no p, a menos que q - q, a menos que no p Con frecuencia, en el lenguaje ordinario la implicación tiene un significado diferente; por ejemplo en: Si haces la tarea entonces puedes ir a cine esta noche denota la necesidad de que la primera parte sea verdadera (que haga la tarea) para que la segunda parte pueda ser verdadera (ir a cine). Es decir la implicación es en el sentido contrario: si puede ir a cine entonces es porque ha hecho la tarea. La interpretación p sólo si q no se aplica algunas veces en el lenguaje ordinario: si llueve entonces no voy y llueve sólo si voy. Anéctoda. La definición de implicación puede ser difícil de aceptar para algunas personas. La idea de que una afirmación falsa implica cualquier afirmación (si P es falso, entonces P Q es cierto sin importar que es Q) es impugnada con frecuencia. En una reunión, el gran matemático y filósofo Bertrand Russell trataba de explicar este punto a un individuo obstinado quien finalmente acordó aceptarlo si Russell podía probar que 0 = 1 implicaba que Russell era el Papa. Russell reflexionó brevemente y entonces argumentó: si 0 = 1, entonces 1 = 2. Puesto que yo y el Papa somos dos, entonces yo y el Papa somos uno. Q.E.D. (aparece en el libro Infinitesimal Calculus de J. M. Henle y E. M. Kleinberg). Doble Implicación Corresponde a la conectiva linguística si y sólo si y se denota por. La doble implicación de p y q se escribe p q, se lée p si y sólo si q, y es verdadera exactamente cuando p y q son ambas verdaderas o ambas falsas.

5 I.1. LÓGICA DE PROPOSICIONES 5 p q p q V V V V F F F V F F F V La doble implicaión es equivalente a la conjunción de la implicación en ambas direcciones: (p q) (q p). Otras Notaciones La notación que hemos usado no es completamente estándar. Otras notaciones para la negación son, y una raya sobre la variable; para la conjunción el cual se puede omitir; para la disyunción +; para la implicación (que nosotros usamos para la implicación lógica más adelante) y. 16 Funciones Lógicas Binarias Obviamente, otros conectivos de dos proposiciones son posibles: cada una de las 2 4 = 16 diferentes tablas de verdad posibles corresponde a un conectivo diferente. Pero cualquiera de ellos se puede expresar (es equivalente) a una forma proposicional (este concepto se define a continuación) con los conectivos ya definidos. Todas las 16 posibilidades aparecen en la siguiente tabla. p q V p q p q p p q q p q p q V V V V V V V V V V F F F F F F F F V F V V V V F F F F V V V V F F F F F V V V F F V V F F V V F F V V F F F F V F V F V F V F V F V F V F V F p q p q q p q p p q p q F Como se ve, todas se pueden expresar en términos de las cuatro básicas y la negación. Entre estas son importantes el o exclusivo, y las negaciones de. o denotadas con y, llamadas también las barras de Sheffer. Estas últimas son importantes en el contexto de circuitos digitales donde las compuertas correspondientes se llaman NAND y NOR. Estos conectivos tienen la propiedad de ser cada uno sól un conjunto completo de conectivos, esto es, cualquier otra función booleana puede expresars en términos de cada una de ellas solamente (ver solución del taller 1). Otros conjuntos completos de conectivos son, y,, lo que se puede verificar con las leyes de de Morgan (ver más adelante). 22

6 6 CAPÍTULO I. LÓGICA I.1.2. Formas Proposicionales Un hecho esencial en lógica es que la validez de una deducción depende sólo de la forma de que ella tenga. En el ejemplo inicial, si tomamos p : Sócrates es un ser humano y q : Sócrates es mortal entonces la deducción allí se puede reescribir como p q p q La deducción es igualmente válida independinentemente de que proposiciones sustituyan las variables p y q. Sólo depende de la forma proposicional de las s y la conclusión. Definición. Una forma proposicional es cualquier expresión formada por: a) variables proposicionales como p, q, r,... b) conectivos lógicos,,, c) paréntesis ( y ) de la siguiente manera 1. una variable es una forma proposicional 2. si A y B son formas proposicionales, entonces son también formas proposicionales. ( A), (A B), (A B) y (A B) El propósito de los paréntesis es eliminar posible ambiguedad. Cuando esta no existe entonces se pueden omitir. Precedencia. Usualmente se da precedencia en el orden,,,,. I.1.3. Valor de Verdad y Tabla de Vedad Una asignación de valor de verdad V ó F a cada una de las variables proposicionales involucradas se extiende a cualquier fórmula proposicional C de la siguiente manera 1. si C es una variable proposicional p entonces v(c) = v(p) 2. si C es de una de las formas ( A), (A B), (A B) ó (A B), entonces v(c) esta dado en términos de v(a) y v(b) por la tabla de verdad del conectivo correspondiente.

7 I.1. LÓGICA DE PROPOSICIONES 7 Los valores de verdad de una fórmula proposicional dependiendo de los posibles valores de verdad asignados a las variables proposicionales involucradas se listan en una tabla de verdad para la fórmula proposicional. Veamos algunos ejemplos: p q: p q p p q V V F V V F F F F V V V F F V V (p q) p q: p q p q (p q) p q p q (p q) p q V V V F F F F V V F F V F V V V F V F V V F V V F F F V V V V V φ = (p (q r)) ((p q) (p r)): Primero, el diagrama arriba (árbol de análisis gramático) muestra los pasos que se siguen en la construcción de φ. Entonces la tabla de verdad se construye siguiendo esos pasos en orden inverso. p q r q r p (q r) p q p r (p q) (p r) φ V V V V V V V V V V V F V V V F V V V F V V V F V V V V F F F F F F F V F V V V F F F F V F V F V F F F F V F F V V F F F F V F F F F F F F F V

8 8 CAPÍTULO I. LÓGICA I.1.4. Tautología y Equivalencia Definición. Una forma proposicional es una tautología si toma el valor V cualquiera que sea la asignación de valores a las variables proposicionales involucradas. Similarmente, una forma proposicional es una contradicción si toma el valor F cualquiera que sea la asignación de valores a las variables proposicionales involucradas. Por ejemplo veamos que p ( p) es una tautología (principio del medio excluido): y (p q) ( p q); p p p ( p) V F V F V V p q p q p ( p q) (p q) ( p q) V V V F V V V F F F F V F V V V V V F F V V V V Definición. Se dice que A y B son lógicamente equivalentes, y se escribe A B, si la forma proposicional (A B) es una tautología. (Es común usar para denotar equivalencia lógica, por ejemplo en el libro de Johnsonbaugh.) I.1.5. Propiedades de los Conectivos Cada una de las siguientes propiedades de los conectivos,, se verifica por medio de una tabla de verdad. En los ejemplos de tablas de verdad arriba ya hemos verificado dos de ellas (una ley de De Morgan y una ley distributiva). Las otras son igualmente fáciles de verificar. Nombre 1 Conmutatividad: p q q p p q q p 2 Asociatividad: (p q) r p (q r) (p q) r p (q r) 3 Distributividad: p (q r) (p q) (p r) p (q r) (p q) (p r) 4 Identidad: p V p p F p 5 Negación: p p V p p F 6 Doble negación: ( p) p 7 Idempotencia: p p p p p p 8 De Morgan: (p q) p q (p q) p q 9 Dominación: p V V p F F 10 Absorción: p (p q) p p (p q) p 11 Neg. de V y F: V F F V

9 I.1. LÓGICA DE PROPOSICIONES 9 Algunas equivalencia que involucran la equivalencia se listan a continuación (estas no se usan con frecuencia; no se discutieron en clase, pero algunas han aparecido en uno u otro contexto): Nombre 1 Conmut.: p q q p p q q p 2 Asociat.: (p q) r p (q r) p (q r) (p q) r 4 Distrib.: p (q r) (p q) (p r) (p q) r (p r) (q r) p (q r) (p q) (p r) 5 Ident.: p F p V p p 6 Negac.: p p V p p V 7 Idempot.: p p p p p p 8 DeMorg.: (p q) p q (p q) p q 9 Domin.: p V V F p V 10 Absorc.: p ( p q) p p (p q) p (p q) p p I.1.6. Formas Normales Disyuntiva y Conjuntiva Primero una aclaración. Los conectivos y son binarios y asociativos: p (q r) = (p q) r; p (q r) = (p q) r, y con base en esto se pueden extender a cualquier número de argumentos sin importar la asociación: la conjunción de varios argumentos es V exactamente cuando todos los argumentos son V, y la disyunción de varios argumentos es F exactamente cuando todos los argumentos son F. Así que la disyunción y conjunción de varios argumentos está bien definida. Consideremos como ejemplo la siguiente función de valores de verdad f(p, q, r): p q r f(p, q, r) V V V V V V F F V F V F V F F V F V V F F V F V F F V V F F F F Para cada una de las líneas en la tabla con f(p, q, r) = V se obtiene fácilmente una forma que es V sólo para los valores de verdad de p, q, r en esa línea. En orden para las cuatro líneas con V (1,4,6,7) estas formas son p q r, p q r, p q r, p q r.

10 10 CAPÍTULO I. LÓGICA Conectando estas formas con disyunción se obtiene una forma que tiene la misma tabla dada para f(p, q, r): (p q r) (p q r) ( p q r) ( p q r). Esta es la llamada forma normal disyuntiva para f(p, q, r), y consiste de una disyunción de conjunciones de variables ó sus negaciones. Existe una forma dual que consiste de conjunciones de disyunciones. Para obtener ésta nos concentramos en las líneas con f(p, q, r) = F. Para cada una se obtiene una disyunción que es F sólo para los valores de p, q, r en esa línea. Para las líneas 2,3,5,8, son p q r; p q r; p q r; p q r Y la conjunción de estas es equivalente a f(p, q, r): ( p q r) ( p q r) (p q r) (p q r) Esta es la forma normal conjuntiva. I.1.7. Reglas de Inferencia Definición. Si A y B son formas proposicionales se dice que A implica lógicamente B, y se escribe A B, si la forma proposicional (A B) es una tautología. Una implicación lógica A B se llama una regla de inferencia. Por ejemplo, una de las reglas de inferencia más importantes es: p (p q) q Esta se le llama modus ponendo ponens que quiere decir (más o menos que) el modo de afirmar por medio de una afirmación, o más brevemente modus ponens. La implicación lógica también se expresa como B es una consecuencia lógica de A A es una condición suficiente de B B es una condición necesaria de A Usualmente en una regla de inferencia la forma A es una conjunción de formas llamadas s y la forma B es la conclusión. La siguiente tabla muestra las principales reglas de inferencia. Las s a la derecha de cada regla y que aparecen separadas por una coma se entienden implícitamente unidas por medio de conjunción. Así que la regla 3 es trivial, pero se introduce porque como veremos las s aparecen en líneas diferentes de una prueba.

11 I.1. LÓGICA DE PROPOSICIONES 11 Nombre Premisas Conclusión 1 Simplificación conjuntiva (Simp): p q p 2 Adición disyuntiva (Adic): p p q 3 Conjunción (Conj): p, q p q 4 Modus Ponens (MP): p, p q q 5 Modus Tollens (MT): q, p q p 6 Silogismo disyuntivo (SD): p, p q q 7 Silogismo hipotético (SH): p q, q r p r 8 Dilema constructivo (DC): p q, p r, q s r s 9 Prueba trivial (Trivial): q p q 10 Prueba vacía (Vacía): p p q 11 Prueba por contradicción (Contr): p F p 12 Reducción al absurdo (Abs): p q, p q p 13 Separación de casos (Casos): p q, p r, q r r Otra regla importante es modus tollens ó modus tollendo tollens ( modo de negar negando ó método de negar el consecuente). Esta regla puede derivarse de modus ponens sando el contrapositivo ó contrarecíproco. (Modus tollens corresponde a una prueba indirecta mientas que modus ponens corresponde a una prueba directa.) Contrapositivo, Converso, Inverso Para un condicional si p entonces q (p q) se definen los siguientes condicionales relacionados: Contrapositivo: si no q entonces no p q p Converso: si q entonces p q p Inverso: si no p entonces no q p q El contrapositivo, ó también contrarecíproco, es equivalente a la proposición original, y el converso y el inverso lo son entre sí, pero estos no son equivalentes a la proposición original. Ejemplo. Para la proposición original tenemos si n y m son ambos pares entonces n + m es par Contrapositivo: si n + m es impar entonces n y m no son ambos pares Converso: si n + m es par entonces n y m son ambos pares Inverso: si n y m no son ambos pares entonces n + m no es par En este caso, mientras que la implicación directa (original) y el contrapositivo son verdaderas, las otras dos implicaciones son falsas.

12 12 CAPÍTULO I. LÓGICA I.1.8. Argumentos, Validez y Pruebas Definición. Un argumento es una secuencia de afirmaciones. Todas estas excepto la última se llaman s (o supuestos ó hipótesis), La afirmación final es la conclusión. El símbolo se lee por lo tanto y usualmente se escribe antes de la conclusión. En una forma de argumento aparecen variables proposicionales en lugar de proposiciones y se dice que es válida si sin importar que proposiciones se sustituyen por las variables proposicionales en las s, si las s resultantes son todas verdaderas, entonces la conclusión es también verdadera. Se dice que un argumento es válido si su forma es válida. Definición. Dado un argumento con s P 1, P 2,..., P n y conclusión Q, una prueba formal de la validez del argumento consiste de una lista de proposiciones que terminan con Q, tal que cada proposición en la lista satisface uno de los siguentes criterios: (a) es una de el argumento (b) se deriva de una o más de las proposiciones anteriores en la lista usando una de las reglas de inferencia (c) se obtiene de una de las proposiciones anteriores usando una equvalencia lógica Ejemplo. Consideramos el siguiente argumento: Si las gafas están en la mesa de la cocina las ví al desayunar. Leí el periódico en la sala o en la cocina. Si leí el periódico en la sala entonces están sobre la mesa de centro. No ví las gafas al desayunar. Si leí un libro en la cama entonces las gafas están en la mesa de noche. Si leí el periódico en la cocina entonces las gafas están sobre la mesa de la cocina. Primero damos nombre a las siguientes proposiciones: P: las gafas están en la mesa de la cocina Q: ví las gafas al desayunar R: leí el periódico en la sala S: leí el periódico en la cocina T: gafas están en la mesa de centro U: leí un libro en la cama V: las gafas están en la mesa de noche Con esto, se tiene la siguiente información:

13 I.1. LÓGICA DE PROPOSICIONES P Q 2. R S 3. R T 4. Q 5. U V 6. S P Queremos deducir T de esta información, es decir queremos verificar la validez de la forma de argumento (realmente no es necesario pasar a una forma con variables p, q, r,...; podríamos dejarlo en términos de P, Q, R....). p q r s r t q u v s p t donde hemos reemplazado variables (minúsculas) por las proposiciones (mayúsculas). La siguiente es una prueba de la validez de esta forma de argumento: 1. p q 2. r s 3. r t 4. q 5. u v 6. s p 7. p MT 1,4 8. s MT 6, 7 9. r SD 2,8 10. t MP 3,9 A la derecha escribimos para cada afirmación si es una o la regla de inferencia que se ha usado y las afirmaciones previas a que se ha aplicado. I.1.9. Método de Prueba Condicional Para establecer la validez de un argumento: verificamos el argumento de La justificación de esto es que p 1, p 2,..., p n q r p 1, p 2,..., p n, q r p (q r) (p q) r

14 14 CAPÍTULO I. LÓGICA Ejemplo. Probar la validez del siguiente argumento usando el método de prueba condicional: Si compro el libro entonces debo prestárselo a Juan y María. Si se lo presto a Juan ó María entonces debo prestárselo también a Rosa. Por lo tanto, si compro el libro entonces debo prestárselo a Rosa. Simbolizamos las proposiciones: C: Compro el libro J: Se lo presto a Juan M: Se lo presto a María R: Se lo presto a Rosa La conclusión que se busca es C R. Usando el método de prueba condicional (PC) agregamos C a las s y se tiene la siguiente prueba: 1. C J M 2. J M R 3. C PC 4. J M MT 1,3 5. J Simp 4 6. J M Adic 5 7. R MT 2,6 9. C R PC 3,7 I Pruebas por Resolución Las reglas de inferencia que se han estado usando no son independientes. Una puede ser reemplazada por otras junto equivalencias lógicas. Por ejemplo MT puede ser reemplazado con SD: 1. p q 2. p 3. p q equivalencia de 1 4. p eqivalencia de 2 5. q SD 3,4 Resolución es otra regla de inferencia que aplica a s en forma de cláusulas, esto es, disyunciones de variables o sus negaciones (hemos llamado estas literales antes). Por ejemplo u v w La regla de resolución toma dos cláusulas y produce una cláusula: (p l 1 l m ) ( p l 1 l n) (l 1 l m l 1 l n)

15 I.1. LÓGICA DE PROPOSICIONES 15 donde las l i y l j son literales. Informalmente, se cancelan p y p y quedan las otras literales. No lo vamos a probar aquí, pero dadas la s en forma de cláusulas, una prueba puede restringirse a usar sólo la regla de resolución. Una froma de ver la validez de la regla de resolución es que p ó p es V: si p es V entonces p es F y por lo tanto l 1 l n es V si p es V entonces p es F y por lo tanto l 1 l m es V Por lo tanto se tiene que l 1 l n ó l 1 l m : (l 1 l m ) (l 1 l n) (l 1 l m l 1 l n) Ejemplo. Consideramos el argumento: p q p r r s q s y la prueba usando sólo resolución 1. p q 2. p r 3. r s 4. p s resolción 2,3 5. q s resolución 1,4 Si las s ó conclusión no están en forma de cláuslas, éstas deben ser transformadas a cláusulas por medio de equivalencias. Cualquier forma proposicional tiene una equivalente en forma normal conjuntiva, la cual es una conjunción de cláusulas; cada una de esas claúsulas se convierte en una. Además es usual que las pruebas de resolución se realicen por contradicción: se asume la negación de la conclusión, la cual entonces puede convertirse en más de na. En este caso se debe llegar a una falsedad (F). Ejemplo. Consideramos el argumento (en la tarea, pero no asignado): p (r s) t s u p w u w t w conclusión

16 16 CAPÍTULO I. LÓGICA Primero reescribimos todas las s y negación de la conclusión como cláusulas (disyunciones de variables o sus negaciones): Usando equivalencias, obtenemos: p (r s) p (r s) p (r s) (p r) (p s), t s t s, u p u p. Primero reescribimos el argumento con sólo cláusulas: p r p s t s u p w u w t w conclusión Una prueba directa usando resolución: 1. p r 2. p s 3. t s 4. u p 5. w 6. u w 7. t p resolución 2,3 8. t u resolución 4,7 9. t w resolución 6,8 Para escribir una prueba por contradicción, primero negamos la conclusión ( t w) t w t w, que entonces debe escribirse como dos s (escribimos de nuevo w aunque no es necesario porque está allí como ) en la prueba:

17 I.1. LÓGICA DE PROPOSICIONES p r 2. p s 3. t s 4. u p 5. w 6. u w 7. t prueba por contrad. 8. w prueba por contrad. 9. s resolución 3,7 10. p resolución 2,9 11. u resolución 4, w resolución 6, F resolución 5,12 Alternativamente, haciendo la prueba directa y luego resolviendo con la negación de las conclusión: 1. p r 2. p s 3. t s 4. u p 5. w 6. u w 7. t prueba por contrad. 8. w prueba por contrad. 9. t p resolución 2,3 10. t u resolución 4,9 11. t w resolución 6, w resolución 7,11 13 F resolución 5,12. En este caso ambas alternativas tienen la misma longitud (pero no es necesariamente el caso). I Paradoja de Carroll: Lo que la tortuga le dijo a Aquiles (Este es un ejemplo de las paradojas que pueden aparecer cuando se mezcla la deducción en diferentes niveles de discurso.) En una historia escrita por Lewis Carroll (autor de Las aventuras de Alicia en el país de las maravillas y cuyo nombre real era Charles Lutwidge Dodgson), Aquiles trata de convencer a la tortuga de que A y B implican Z a continuación:

18 18 CAPÍTULO I. LÓGICA A : Dos cosas que son iguales a una misma cosa son iguales una a la otra B : Dos lados de este triángulo son cosas iguales a la misma cosa Z : Dos lados de este triángulo son iguales uno al otro La tortuga dice que no puede aceptar a menos que acepte el condicional C: A: Dos cosas que son iguales a una misma cosa son iguales una a la otra B: Dos lados de este triángulo son cosas iguales a la misma cosa C: Si A y B son ciertas entonces Z es cierta Z: Dos lados de este triángulo son iguales uno al otro Pero una vez Aquiles escribe la nueva C y la tortuga la acepta, ésta afirma que antes de aceptar Z ahora una nueva D es necesaria: A: Dos cosas que son iguales a una misma cosa son iguales una a la otra B: Dos lados de este triángulo son cosas iguales a la misma cosa C: Si A y B son ciertas entonces Z es cierta D: Si A, B y C son ciertas entonces Z es cierta Z: Dos lados de este triángulo son iguales uno al otro y una vez aceptada la D, igualmente un nuevo condicional es necesario antes de que la tortuga peda aceptar Z: A: Dos cosas que son iguales a una misma cosa son iguales una a la otra B: Dos lados de este triángulo son cosas iguales a la misma cosa C: Si A y B son ciertas entonces Z es cierta D: Si A, B y C son ciertas entonces Z es cierta E: Si A, B, C y D son ciertas entonces Z es cierta Z: Dos lados de este triángulo son iguales uno al otro lo cual puede continuar indefinidamente... I Un Acertijo En un programa de concurso hay dos puertas, una de ellas lleva al gran premio y la otra a un premio de consolación. Cada una de las puertas tiene escrita sobre ella dos afirmaciones cada una de las cuales es verdadera o falsa. Cual puerta escogería? Puerta 1 Exactamente dos de estas afirmaciones son verdaderas Puerta 2 Exactamente tres de estas afirmaciones son falsas La puerta del premio tiene al menos un afirmación verdadera Todas estas cuatro afirmaciones son falsas

19 I.2. LÓGICA DE PREDICADOS 19 Solución: Llamemos las proposiciones en la puerta derecha A (arriba) y B (abajo) y las proposiciones en la puerta izquierda C (arriba) y D (abajo). Si D fuera cierta entonces habría una inconsistencia (debe ser falsa). Para que se tenga consistencia, en cualquier caso - D debe ser falsa y al menos una entre A, B y C debe ser cierta. A, C afirman que hay exactamente 2 y 3 afirmaciones falsas respectivamente. Por lo tanto - a lo más una entre A y C puede ser cierta. Tenemos tres casos: - si A es cierta, entonces C es falsa y B es cierta (porque debe haber dos ciertas), y entonces el premio debe estar detrás de la puerta 1. - Si C es cierta, entonces las otras tres son falsas, y el premio debe estar detrás de la puerta 1 (porque es la puerta sin afirmaciones verdaderas). - Si A y C son falsas, entonces B debe ser cierta (porque debe haber al menos una cierta entre todas), y el premio debe estar detrás de la puerta 1 (porque es la única con al menos una afirmación verdadera. En cualquier caso en que hay consistencia resulta que el premio debe estar detrás de la puerta 1. I.2. Lógica de Predicados La lógica proposicional que hasta ahora hemos considerado es insuficiente para formalizar argumentos como el siguiente Todo ser humano es mortal Sócrates es un ser humano Sócrates es mortal Para esto debemos introducir las funciones proposicionales o predicados como una forma concisa de afirmar o negar una propiedad de diferentes objetos. Y, además, los cuantificadores universal y existencial que hacen posible calificar el conjunto de objetos que satisface una sentencia de predicados. I.2.1. Predicados Un predicado es una forma concisa de expresar una colección de proposiciones que afirman (o niegan) una misma propiedad de diferentes objetos. Por ejemplo, para expresar 2 es par, 3 no es par, 40 es par, no es par, se introduce entonces el predicado par(n) cuyo argumento n es un número entero y cuyo valor

20 20 CAPÍTULO I. LÓGICA cuando se substituye n por un valor es una proposición que afirma que n es par, y la cual puede ser V ó F. Así podemos expresar lo anterior como par(2), par(3), par(40), par(10001). Definición. Un predicado es una sentencia que contiene un número un número finito de variables y se convierte en una proposición cuando se sustituyen valores específicos de las variables. El dominio ó universo de discusión de una variable del predicado es el conjunto de valores que se puede sustituir por la variable. El conjunto de verdad del predicado P(x) es el conjunto de todos los elementos del dominio para los que P(x) es verdadero. Ejemplo. Consideremos en la siguiente figura las regiones denotas a, b,..., g y el predicado N(x, y) que afirma que x es vecino de y en el diagrama. Asumimos que una región es vecina de si misma: N(a, a) es verdadero, etc. Se observa por ejemplo que N(a, b) y N(b, d) son verdaderos, mientras que N(e, h) y N(f, c) son falsos. I.2.2. Cuantificadores Una función proposicional P(x) (predicado, ó proposición abierta) da lugar a una proposición cuando se asignan valores concretos del universo de discurso U a la variables x. Otra forma de cerrar una sentencia abierta es con el uso de cuantificadores universales y existenciales: Cuantificador Universal: Para todo objeto x en el universo de discurso U, se verifica P(x). Se escribe simbólicamente x U P(x) Esta proposición es verdadera si para todo x U se tiene que P(x) es verdadera.

21 I.2. LÓGICA DE PREDICADOS 21 Cuantificador Existencial: Existe un objeto a en el universo de discurso U, para el cual se verifica Q(a). Se escribe simbólicamente x U Q(x) Esta proposición es verdadera si existe (al menos) un x U tal que P(x) es verdadera. Aunque no es estándar, aquí vamos a incluir cuando sea conveniente por claridad dos puntos : antes del predicado: x U : P(x), x U : Q(x) Si el universo de discurso es claro en el contexto, entonces se puede omitir la parte U y simplemente se escribe x : P(x), x : Q(x) Ejemplo. Considere la relación menor < sobre el conjunto de números naturales (con el cero), enteros, racionales positivos y racionales respectivamente. Decidir el valor de verdad de cada una de las siguientes proposiciones: (a) x y, x < y: Para todo x y y, x es menor que y. Falso en todos los casos. (b) x y, x < y: Para todo x existe un y mayor. Verdadero en todos los casos. (c) x y, y < x: Para todo x existe un y menor. Falso en los naturales (no hay elemento menor que 0). Verdadero en los otros casos. (d) x y, x < y: Existe un x menor que cualquier y. Falso en todos los casos. Pero casi cierto para los naturales, excepto que 0 no es menor que sí mismo. (e) x y, y < x: Existe un x mayor que cualquier y. Falso en todos los casos. (f) x y, x < y: Existen dos elementos, uno menor que el otro. Verdadero en todos los casos. I.2.3. Formas de Predicados En la lógica de proposiciones se definió una forma proposicional a partir de los elementos básicos. Análogamente en la lógica de predicados se construyen expresiones complicadas a partir de predicados básicos P, Q, R,..., variables x, y, z,..., conectivos lógicos,,,,, cuantificadores, paréntesis (, ) y constantes a, b, c,... (del universo de discurso). Una variable esta libre si no está cuantificada, y está ligada si está cuantificada. Una forma de predicados es una expresión formada de la siguiente manera: 1. un predicado básico con una variable como argumento

22 22 CAPÍTULO I. LÓGICA 2. si A y B son formas de predicados entonces son formas de predicados ( A), (A B), (A B), (A B), (A B) 3. si A es una forma de predicados con variable libre x, entonces ( x A(x)) y ( x A(x)) son formas de predicados, como también A(a) para a en el universo de discurso. Aquí también se omiten paréntesis si no existe ambiguedad. Ejemplo. Consideramos el mapa con regiones a, b, c,..., f, g en la figura arriba. El universo de discurso es el conjunto de estas regiones y el predicado N(x, y) significa la región x es vecina de la región y (se asume una región es vecina de si misma). Para cada una de las siguientes proposiciones, cuál es el significado y cuál es el valor de verdad? (a) x yn(x, y) (b) x y(n(x, y) z(n(x, z) N(z, y))) (c) x y(n(x, y) z((n(x, z) N(z, y)) z ((N(x, z) N(z, z ) N(z, y))))) (d) x y z(n(x, y) N(x, z) t(((t x) (t y) (t z)) N(t, x)))) I.2.4. Reglas de negación de cuantificadores Supongamos que un universo de discurso está definido. Entonces para cualquier función proposicional P(x) x P(x) x P(x) x Q(x) x Q(x) Observación: Para un dominio de discurso finito con elementos a 1, a 2,..., a k entonces x P(x) (P(a 1 ) P(a 2 ) P(a 3 ) P(a k ) y x P(x) (P(a 1 ) P(a 2 ) P(a 3 ) P(a k ) y las reglas de negación de cuantificadores son simplemente las reglas de de Morgan.

23 I.2. LÓGICA DE PREDICADOS 23 Ejemplo. Probar que Solución: Tenemos las equivalencias x(p(x) Q(x)) (P(x) Q(x)) x(p(x) Q(x)) x (P(x) Q(x)) entra la negación x ( P(x) Q(x)) equivalencia de la implicación x ( P(x) Q(x)) ley de de Morgan x (P(x) Q(x)) simplificación Los cuantificadores pueden restringirse a un subconjunto del universo de discurso. Por ejemplo, para A U, podemos escribir Estas formas son equivalentes a x A : P(x) y x A : Q(x) x U : (x A P(x)) y x U : (x A Q(x)) Veamos que esto es consistente con las reglas de negación arriba: Similarmente: ( x A : P(x)) x U : (x A P(x)) x U : (x A P(x)) x U : (x A P(x)) x A : P(x). ( x A : Q(x)) x U : (x A Q(x)) x U : (x A Q(x)) x U : (x A) Q(x)) x U : (x A Q(x)) x A : Q(x). Ejemplo. Veamos como ejemplo la definición de convergencia de una sucesión de números reales. De acuerdo con el libro de Stewart: la sucesión {a n } converge si existe α tal que podemos hacer los términos a n tan cercanos a α como queramos tomando n suficientemente grande. Para formalizar existe α, tan cercanos como queramos, suficientemente grande, necesitamos usar cuantificadores (usamos R para denotar el conjunto de números reales y N para denotar el conjunto de números naturales 0, 1, 2, 3,...):

24 24 CAPÍTULO I. LÓGICA Una sucesión a 0, a 1, a 2, a 3, a 4,... de números reales converge si existe un número real α tal que para todo número real positivo ɛ existe un natural N tal que para todo natural n si n N entonces se tiene que a n α < ɛ: α R ɛ R + N N n N : (n N a n α < ɛ) Estamos omitiendo paréntesis porque parece claro el alcance de los cuantificadores. Si se prefiere, por claridad se podría escribir: α R ( ɛ R + ( N N ( n N : (n N a n α < ɛ))))) Si introducimos la convención de que variables como α y ɛ son reales, y variables como n y N son naturales, y usando un cuantificador restringido n N (ver discusión arriba) entonces podemos escribir más brevemente α ɛ > 0 N n N : ( a n α < ɛ) (Note las desigualdades ɛ > 0, n N y a n α < ɛ. La primera realmente tiene que ser estricta porque en general a n no tiene que tomar el valor α eventualmente. Las otras dos pueden ser estrictas o no estrictas.) Que quiere decir entonces que la sucesión no es convergente? Aplicando la regla de mover la negación dentro del cuantificador mientras se cambia éste de universal a existencial y viceversa, la negación de la fórmula anterior (la segunda versión) es En palabras α ɛ > 0 N n N : ( a n α < ɛ) = α ɛ > 0 N n N : ( a n α ɛ) Para todo α existe un intervalo alrededor de α (I = (α ɛ, α + ɛ)) tal que la sucesión no permanece eventualmente en ese intervalo (para todo N existe n N tal que a n no está en I).

25 I.2. LÓGICA DE PREDICADOS 25 Trate de usar estas definiciones formales para verificar que a n = 1/n converge a 0 y que b n = ( 1) n no es convergente. Ejercicio. Sea P(x) un predicado sobre el universo de discurso U y A U. Es ( x A : P(x)) ( x A : P(x)) verdadero? Ejercicio. Sean P(x) y Q(x) predicados sobre el universo de discurso U. Son x(p(x) Q(x)) y x(p(x) Q(x)) equivalentes? I.2.5. Deducción Consideremos el argumento Todos los seres humanos son mortales Sócrates es un ser humano Sócrates es mortal Definiendo los predicados H(x): x es humano M(x): x es mortal el argumento se puede reescribir en forma simbólica como x, H(x) M(x) H(Sócrates) M(Sócrates) Esta deducción es similar a una aplicación de la regla modus ponens, pero estrictamente aquella no es aplicable debido a la presencia del cuantificador. Se puede entonces introducir una regla de inferencia Modus Ponens Universal: Para cualquier par de predicados, P(x), Q(x) sobre un dominio de discurso U, el siguiente argumento es válido: x, P(x) Q(x) P(a) para a U particular Q(a)

26 26 CAPÍTULO I. LÓGICA Pero tendríamos que introducir otras reglas de inferencia como Modus Tollens Universal, etc. Además, se tiene la situación análoga con el cuantificador. Una mejor alternativa es introducir la regla Instanciación Universal: Dada un predicado P(x), de la verdad de P(x), podemos inferir P(a) para cualquier a en el universo de discurso U. Simbólicamente x P(x) P(a) para a U arbitrario Cuando es conveniente, la instanciación universal se puede hacer a un miembro particular ó específico (ya que es cierta para un miembro arbitrario). Por ejemplo, usando esta regla de inferencia podemos dar una prueba de la regla Modus Ponens Universal: 1. x (P(x) Q(x)) 2. P(a), a U particular 3. P(a) Q(a) IU 1 4. Q(a) MP 2,3 En la línea 3 se ha usado IU para el a particular de la 2. Para probar la validez de un argumento como x P(x) Q(x) x P(x) x Q(x) necesitamos una regla de inferencia complementaria Generalización Universal: Dada un predicado P(x), de la verdad de P(a) para a arbitrario en el universo de discurso U, se puede deducir la verdad de x P(x). Simbólicamente P(a) para a U arbitrario x P(x) Con esta regla podemos dar la siguiente prueba de la validez del argumento arriba: 1. x (P(x) Q(x)) 2. x P(x) 3. P(a) Q(a) IU, a arbitrario 4. P(a) IU 2 5. Q(a) MP 3,4 6. x Q(x) GU 4 Para el cuantificador existencial se requieren dos reglas de inferencia correspondientes:

27 I.2. LÓGICA DE PREDICADOS 27 Instanciación Existencial: Dada un predicado P(x), de la verdad de P(x), podemos inferir P(a) para algún a en el universo de discurso U. Simbólicamente x P(x) P(a) para a U particular Generalización Existencial: Dada un predicado P(x), de la verdad de P(a) para algún a en el universo de discurso U, se puede deducir la verdad de x P(x). Simbólicamente P(a) para a U particular x P(x) Los siguientes ejemplos ilustran el uso de estas reglas de inferencia. Ejemplo. Construya una prueba formal para el siguiente argumento: Todos los humanos son mamíferos. Algunos humanos son carnívoros. Por lo tanto algunos mamíferos son carnívoros. Simbolizamos las proposiciones: H(x) : x es un humano M(x) : x es un mamífero C(x) : x es carnívoro El argumento simbólicamente es: x (H(x) M(x)) x (H(x) C(x)) x C(x) M(x) conclusión La prueba de validez: 1. x (H(x) M(x)) 2. x (H(x) C(x)) 3. H(a) C(a) IU 2, a particular 4. H(a) M(a) IU 1 5. C(a) H(a) conmut 3 6. C(a) simpl 5 7. H(a) simpl 3 8. M(a) MP 4,7 9. C(a) M(a) conj 6,8 10. x (C(x) M(x)) GE 9 Ejemplo. Construya prueba formal para el siguiente argumento:

28 28 CAPÍTULO I. LÓGICA Todo empleado es de tiempo parcial o se le paga mensualmente. Todo empleado trabaja dos días a la semana o no trabaja tiempo parcial. Por lo tanto todo empleado al que no se le paga mensualmente trabaja dos días a la semana. Simbolizamos las proposiciones: M(x) : a x se le paga mensualmente P(x) : x trabaja tiempo parcial D(x) : x trabaja dos días a la semana El argumento simbólicamente es x (P(x) M(x)) x (D(x) P(x)) x ( M(x) D(x)) conclusión La prueba de validez del argumento es: 1. x (P(x) M(x)) 2. x (D(x) P(x)) 3. P(a) M(a) IU 1, a arbitrario 4. D(a) P(a) IU, 2 5. M(a) P(a) conmut, 3 6. M(a) P(a) doble negación, 5 7. M(a) P(a) equiv. implicación, 6 8. P(a) D(a) conmut, 4 9. P(a) D(a) equiv. implicación, M(a) D(a) SH, 7,9 11. x ( M(x) D(x)) UG, 10