.

Apuntes de Lgica
c Proyecto ARACNE 2000
ii
ndice general
0.1. Prefacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vii
LGICA PROPOSICIONAL
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1
3 3 3 4 5 8 8 9 10 10 11 11 12 13 14 15 17 17 19 19 21 21 21 22 24 26 26 26 28
1. Introduccin General 1.1. Qu es la Lgica? . . . . . . . . . . . . . 1.1.1. En sentido amplio. . . . . . . . . . . 1.1.2. En sentido estricto. . . . . . . . . . . 1.1.3. Histricamente. . . . . . . . . . . . . 1.2. Consistencia. . . . . . . . . . . . . . . . . 1.2.1. Ejemplos: . . . . . . . . . . . . . . . 1.3. Enunciados que expresan creencias. . . 1.3.1. Ejemplos: . . . . . . . . . . . . . . . 1.4. Tipos de enunciados. . . . . . . . . . . . 1.4.1. Ejercicios: . . . . . . . . . . . . . . . 1.5. Lenguaje formal. . . . . . . . . . . . . . . 1.6. Consecuencia lgica. . . . . . . . . . . . 1.6.1. Ejercicios: . . . . . . . . . . . . . . . 1.7. Glosario. . . . . . . . . . . . . . . . . . . . 1.8. REFERENCIAS BIBLIOGRFICAS 2. El lenguaje de la lgica proposicional. 2.1. Gramtica y formalizacin. . . . . . . 2.1.1. Ejemplos y Ejercicios. . . . . . 2.1.2. Gramtica de L0 . . . . . . . . . 2.1.3. Subfrmulas. . . . . . . . . . . 2.1.4. Forma lgica. . . . . . . . . . . 2.1.5. Ejercicios: . . . . . . . . . . . . 2.1.6. Formalizacin. . . . . . . . . . 2.1.7. Ejemplos y Ejercicios . . . . . 2.1.8. El mundo de Tarski. . . . . . . 2.2. Convenciones sobre notacin. . . . . . 2.3. Glosario. . . . . . . . . . . . . . . . . . 2.4. REFERENCIAS BIBLIOGRFICAS iii . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
iv
NDICE GENERAL 29 29 30 31 33 34 35 36 37 38 38 39 39 40 40 42 42 43
3. Semntica. 3.1. Introduccin. . . . . . . . . . . . . . . . . . . . . . . . . 3.1.1. Ejercicios.- . . . . . . . . . . . . . . . . . . . . . 3.2. Tablas de verdad. . . . . . . . . . . . . . . . . . . . . . . 3.2.1. EJERCICIOS: . . . . . . . . . . . . . . . . . . . 3.3. Interpretacin de L0 . . . . . . . . . . . . . . . . . . . . . 3.4. Conceptos clave. . . . . . . . . . . . . . . . . . . . . . . 3.4.1. EJERCICIOS: . . . . . . . . . . . . . . . . . . . 3.5. Mtodos para determinar propiedades semnticas. . . . 3.5.1. SATISFACIBILIDAD . . . . . . . . . . . . . . . 3.5.2. INSATISFACIBILIDAD (OBVIO) . . . . . . . . 3.5.3. CONSECUENCIA E INDEPENDENCIA . . . . 3.6. Calculus ratiocinator. . . . . . . . . . . . . . . . . . . . 3.6.1. EJERCICIOS: . . . . . . . . . . . . . . . . . . . 3.6.2. Vericar la correccin de algunos razonamientos: 3.7. Nuestros conectores booleanos: algunas propiedades. . . . . . . . . . . . . . . . . . . . . 3.7.1. Teorema 1 (Propiedades booleanas de los conectores.) . . . . 3.7.2. Teorema 2 (Interdenicin de los conectores) . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
4. Tableaux semnticos. 45 4.1. Introduccin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 4.1.1. Contenidos . . . . . . . . . . . . . . . . . . . . . . . . . . 46 4.2. Tableaux para la lgica proposicional . . . . . . . . . . . . . . . . 46 4.2.1. Las reglas de los Tableau . . . . . . . . . . . . . . . . . . 47 4.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47 4.3.1. Las reglas de los tableau reejan el signicado de las conectivas, I. . . . . . . . . . . . . . . . . . . . . . . . . . . 48 4.3.2. Las reglas reejan el signicado de las conectivas, II . . . 48 4.3.3. Las reglas reejan el signicado de las conectivas, III. . . 49 4.3.4. Solucin al ejercicio 3 . . . . . . . . . . . . . . . . . . . . 49 4.3.5. Consejos y estrategias: . . . . . . . . . . . . . . . . . . . . 50 4.3.6. Naturaleza sintctica de las reglas . . . . . . . . . . . . . 51 4.4. Correccin y completud . . . . . . . . . . . . . . . . . . . . . . . 51 4.4.1. Tableaux cerrados y teoremas . . . . . . . . . . . . . . . . 51 4.4.2. Ejemplos de teoremas . . . . . . . . . . . . . . . . . . . . 52 4.4.3. Los teoremas de correccin y completud . . . . . . . . . . 52 4.4.4. Por qu el teorema 10 es verdadero? . . . . . . . . . . . 53 4.4.5. Decidibilidad algortmica . . . . . . . . . . . . . . . . . . 53 4.4.6. Ejemplo de correccin . . . . . . . . . . . . . . . . . . . . 53 4.4.7. Extraer un modelo usando un tableau . . . . . . . . . . . 54 4.5. Demostraciones a partir de hiptesis . . . . . . . . . . . . . . . . 54 4.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54 4.6.1. Prctica en la construccin de tableaux . . . . . . . . . . 54
NDICE GENERAL 4.6.2. Otro ejercicio . . . . . . . . . . . . . . . . . 4.6.3. Resumen: cmo podemos usar los tableaux 4.7. Tableaux proposicionales . . . . . . . . . . . . . . . 4.7.1. Solucin de los ejercccios propuestos . . . . 4.7.2. Otro ejercicio . . . . . . . . . . . . . . . . . 4.8. REFERENCIAS BIBLIOGRFICAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
v 55 55 56 56 58 59
II
Razonamiento Lgico con diagramas de Venn.
61
5. Teora Bsica de Conjuntos. 63 5.1. Introduccin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 5.2. Conjuntos . . . . . . . . . . . . . . . . . . . . . . . 5.2.1. Nociones bsicas. . . . . . . . . . . . . . . . 5.2.2. Ejercicios . . . . . . . . . . . . . . . . . . . 5.2.3. lgebra de conjuntos. . . . . . . . . . . . . 5.2.4. Ejercicios. . . . . . . . . . . . . . . . . . . . 5.2.5. Universo de individuos. . . . . . . . . . . . 5.3. Teoremas fundamentales del lgebra de conjuntos. 5.4. Ms ejercicios sobre Conjuntos. . . . . . . . . . . . 5.5. Espaol en Teora de Conjuntos. . . . . . . . . . . 5.5.1. Ejemplos. . . . . . . . . . . . . . . . . . . . 5.5.2. Ejercicios. . . . . . . . . . . . . . . . . . . . 5.6. REFERENCIAS BIBLIOGRFICAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63 63 64 65 66 66 66 67 70 70 72 74
6. Diagramas de Venn. 75 6.1. lgebra de conjuntos con diagramas de Venn. . . . . . . . . . . . 75 6.1.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 76 6.1.2. Diagramas consistentes e inconsistentes. . . . . . . . . . . 77 6.1.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 77 6.1.4. Modelos que satisfacen diagramas. . . . . . . . . . . . . . 79 6.1.5. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 79 6.2. Expresiones en espaol correspondientes a un diagrama. . . . . . 81 6.2.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 82 6.3. Razonamientos con diagramas. . . . . . . . . . . . . . . . . . . . 83 6.3.1. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 6.3.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . 86 6.4. Lgica de relatores monarios y diagramas de Venn. . . . . . . . . 88 6.4.1. Alfabeto. . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 6.4.2. Trminos y Frmulas. . . . . . . . . . . . . . . . . . . . . 89 6.4.3. Ejemplos de frmulas bien formadas, indicando su forma lgica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90 6.5. Espaol en Lgica de predicados monarios. . . . . . . . . . . . . 91 6.5.1. Ejemplos y ejercicios . . . . . . . . . . . . . . . . . . . . . 91 6.6. Semntica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
vi 6.6.1. Modelos . . . . . . . . . . . . . . . . . 6.6.2. Interpretacin de L. . . . . . . . . . . 6.6.3. Ejemplos . . . . . . . . . . . . . . . . 6.7. Conceptos clave. . . . . . . . . . . . . . . . . 6.8. Diagramas, frmulas y conjuntos. . . . . . . . 6.8.1. Ejemplos . . . . . . . . . . . . . . . . 6.9. Argumentos que se resuelven con diagramas. 6.10. REFERENCIAS BIBLIOGRFICAS . . . . 7. Relaciones y Funciones. 7.1. Par ordenado y producto cartesiano. . . 7.2. Relaciones . . . . . . . . . . . . . . . . . 7.2.1. Relaciones binarias. . . . . . . . 7.2.2. Relacin inversa y restriccin . . 7.2.3. Propiedades de ciertas relaciones. 7.2.4. Relaciones de equivalencia. . . . 7.2.5. Relaciones de Orden . . . . . . . 7.3. Funciones . . . . . . . . . . . . . . . . . 7.4. Ejercicios . . . . . . . . . . . . . . . . . 7.5. Ms ejercicios de relaciones. . . . . . . . 7.6. REFERENCIAS BIBLIOGRFICAS. . . . . . . . . . . . . . . . . .
NDICE GENERAL . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 . 95 . 97 . 97 . 98 . 98 . 100 . 104 105 105 106 106 106 106 107 108 108 109 110 113
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
III
LGICA DE PRIMER ORDEN

. . . . . . . . . . . . . . . .
115
117 117 119 121 122 123 123 123 127 128 128 130 135 135 136 137 137 138 139 141
8. INTRODUCCIN GENERAL 8.1. Por qu necesitamos la Lgica de Primer Orden? 8.2. Lenguajes de orden cero, de primero y de segundo orden. 8.3. Glosario . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.4. REFERENCIAS BIBLIOGRFICAS . . . . . . . . 9. El lenguaje de la lgica de primer orden. 9.1. Gramtica y formalizacin. . . . . . . . . . 9.1.1. Gramtica de L. . . . . . . . . . . . 9.1.2. Ejemplos . . . . . . . . . . . . . . . 9.1.3. Subfrmulas. . . . . . . . . . . . . . 9.1.4. Formalizacin. . . . . . . . . . . . . 9.1.5. Espaol en Lgica de primer orden. 9.1.6. El mundo de Tarski. . . . . . . . . . 9.2. *Convenciones sobre notacin. . . . . . . . 9.3. Variables libres y ligadas. . . . . . . . . . . 9.3.1. Ejercicios . . . . . . . . . . . . . . . 9.4. Sustitucin de una variable por un trmino. 9.4.1. Ejemplos de sustitucin . . . . . . . 9.5. Glosario. . . . . . . . . . . . . . . . . . . . . 9.6. REFERENCIAS BIBLIOGRFICAS . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
. . . . . . . . . . . . . .
0.1. PREFACIO 10.Semntica 10.1. Estructuras de primer orden . . . . . . . . . . . . . . . 10.1.1. Ejemplos de estructuras . . . . . . . . . . . . . 10.2. Interpretacin de L. . . . . . . . . . . . . . . . . . . . 10.2.1. Ejercicios . . . . . . . . . . . . . . . . . . . . . 10.3. Conceptos clave. . . . . . . . . . . . . . . . . . . . . . 10.3.1. Pruebas de independencia . . . . . . . . . . . . 10.4. Mtodos para determinar propiedades semnticas. . . 10.5. *Algunas propiedades de conectores y cuanticadores. 10.6. Simplicacin del lenguaje formal. . . . . . . . . . . . 10.7. Glosario. . . . . . . . . . . . . . . . . . . . . . . . . . 10.8. REFERENCIAS BIBLIOGRFICAS . . . . . . . . .
vii 143 143 143 145 148 152 153 153 155 156 157 158 159 159 159 159 160 160 160 161 161 162 162 162 163 163 164 164 165 173 174 175
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
. . . . . . . . . . .
11.Tableaux para lgica de primer orden 11.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.1.1. Contenidos . . . . . . . . . . . . . . . . . . . . . . . . . 11.2. Nuevas reglas de tableau para la lgica de predicados . . . . . . 11.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.3.1. Un ejemplo sencillo . . . . . . . . . . . . . . . . . . . . . 11.3.2. Otro tableau para xyP xy . . . . . . . . . . . . . . . . 11.3.3. ` para la lgica de predicados . . . . . . . . . . . . . . 11.3.4. Las -reglas son mas difciles de aplicar que las -reglas 11.3.5. Otro tableau cerrado . . . . . . . . . . . . . . . . . . . . 11.3.6. Y otro tableau cerrado . . . . . . . . . . . . . . . . . . . 11.4. Reglas de Tableau para la igualdad . . . . . . . . . . . . . . . . 11.4.1. Ejemplo . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.4.2. Otro ejemplo . . . . . . . . . . . . . . . . . . . . . . . . 11.5. Correccin y completud . . . . . . . . . . . . . . . . . . . . . . 11.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11.7. Solucin a los ejercicios propuestos . . . . . . . . . . . . . . . . 11.7.1. Ejercicios propuestos sin solucin . . . . . . . . . . . . . 11.7.2. Ejercicios de formalizacin y deduccin en primer orden 11.8. REFERENCIAS BIBLIOGRFICAS . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
0.1.
Prefacio
Ser ste un bonito curso de Lgica, que espero os resulte atractivo y smamente til. Est concebido como un curso para principiantes, en el que se suministran algunas tcnicas sencillas y se apoya el texto con numerosos ejemplos y ejercicios. Se han seleccionado tcnicas que utilizan diagramas porque permiten una visualizacin rpida y est demostrado que pedaggicamente rinden mucho ms. La idea es que estas notas puedan ser usadas como gua para ensear lgica en los niveles previos al universitario. Las deniciones son rigurosas, pero se han omitido las pruebas de los muchos e importantes metateoremas que a nivel
viii
NDICE GENERAL
universitario se tratarn; por ejemplo, explicamos que la tcnica de los tableaux semnticos es un clculo deductivo formal que permite probar todas y solas las frmulas vlidas (esto es, las verdades de la lgica), pero no lo demostramos. La razn es pedaggica, pensamos que a este nivel tan introductorio no se precisa. As que debeis conar en nosotros o consultar la demostracin en la pgina de ARACNE, de la que hablar despus. Por supuesto, hay numerosos libros de texto en donde se demuestra; por ejemplo, los de Smullyan [1994] y Fitting [1996] Habris observado que como autor de estas pginas aparece ARACNE; obviamente no se trata del personaje mitolgico, sino de una red ALFA (Amrica Latina Formacin Acadmica: proyecto de la Unin Europea) de innovacin y sistematizacin de la tarea educativa. Podeis visitar la pgina del proyecto TOOLS FOR TEACHING http://aracne.usal.es en el apartado de RESULTADOS est el METABOOK, un DICCIONARIO on-line y SOFTWARE para la enseanza de la lgica, as como enlaces con los centros que se preocupan por la pedagoga de la lgica. Los libros que aparecen en la bibliografa lo son para que puedan ser consultados con posterioridad, pero no seguiremos ninguno en particular. Una lista algo ms extensa de libros introductorios, algunos en espaol, est tambin en nuestra pgina web. En este curso slo utilizaremos este texto, algunos programas que se incluyen en un CD-ROM y por supuesto, el cara a cara virtual, que las nuevas tecnologas nos permitirn. Este texto lo han escrito las siguientes personas.: Captulos 1 al 3 y 8 al 10, Mara Manzano Captulos 4 y 11, Ian Hodkinson Captulos 5 y 7, Antonia Huertas Captulo 6, Mara Manzano Yo he propuesto la mayor parte de los ejemplos y ejercicios, algunos estn sacados de manuales clsicos en la materia y se han usado en clases prcticas en numerosas ocasiones. Agradezco a Lydia Sanchez y Ulises Tindn su colaboracin. Finalmente, agradezco a todos los integrantes del proyecto ALFA y a los profesores que impartirn conmigo el curso De pura lgica, el haberme permitido participar en esta tarea fascinante que es la enseanza de la lgica. Mara Manzano (Coordinadora de ARACNE) Universidad de Salamanca mara@gugu.usal.es
Parte I
LGICA PROPOSICIONAL
Captulo 1
Introduccin General
1.1. Qu es la Lgica?
El objetivo fundamental de este tema es el de introducir, de manera intuitiva, los conceptos fundamentales de la lgica, y muy particularmente, el concepto de consecuencia, ya que la lgica puede ser caracterizada como el estudio de la consecuencia; o lo que es lo mismo, como el estudio de los razonamientos vlidos o correctos. Nosotros la caracterizaremos como el estudio de los conjuntos de creencias consistentes porque pienso que de esta forma es ms fcil al comienzo y porque se sabe que los dos planteaminetos son equivalentes, como se ver ampliamente en este curso.
1.1.1.
En sentido amplio.
La Lgica es lo que tienen en comn ciencias tan dispares como:
MATEMTICAS FILOSOFA LINGSTICA INFORMTICA DERECHO FSICA SOCIOLOGA . . .
(1) No puede ser el tema de estudio Lo que comparten: (2) Tampoco la metodologa (3) Racionalidad, coherencia, consistencia? 3
CAPTULO 1. INTRODUCCIN GENERAL
La Lgica es ms que eso: Todos nosotros, supuestos seres racionales, empleamos la lgica cuando razonamos, asimilamos o procesamos la informacin que recibimos del entorno, cualquier tipo de informacin. (Somos lgicos porque somos seres humanos.) Hombre = Animal+Racional Racionalidad = Lgica
1.1.2.
En sentido estricto.
La Lgica es tambin una disciplina en s misma, una de las grandes ramas del conocimiento. Lgica = estudio de la consecuencia (razonamientos vlidos o correctos) Lgica = estudio de la consistencia (conjuntos de creencias coherentes, consistentes, satisfacibles) Para denir una Lgica se dene un lenguaje articial; con un alfabeto y unas reglas gramaticales de formacin de frmulas y se atribuye signicado a las expresiones del lenguaje mediante interpretaciones semnticas. Dichas interpretaciones nos permiten decir, en algunos casos, que de ciertos conjuntos de frmulas (que se toman como hiptesis) se siguen ciertas frmulas. Es decir, que dichas frmulas son consecuencia semntica de las hiptesis consideradas. Lgica = Gramtica+Semntica En algunas ocasiones se puede denir un clculo deductivo que permite mecanizar el proceso de extraer conclusiones a partir de hiptesis. Por supuesto, se desea que el clculo sea una rplica mecanizable de dicho proceso; es decir, equivalente (los mismos resultados). Semntica Clculo La Lgica es una herramienta que nos sirve para computar razonamientos, especialmente cuando el rigor y la precisin son imprescindibles. Esto sucede en matemticas, losofa, informtica, etc. Pero un lenguaje lgico es tambin un objeto de estudio; podemos ver qu propiedades tiene el lenguaje; si el concepto de consecuencia se puede retener mediante las reglas de un clculo, si hay clculos ms efectivos, incluso si existen algoritmos capaces de suplirlos. Estudiaremos las denominadas propiedades de: correccin, completud y decidibilidad.
1.1. QU ES LA LGICA?
1.1.3.
Pasado.
Histricamente.
El estudio de la lgica se remonta a los lsofos griegos; en el Organon de Aritteles se estudian los principios del silogismo. A mediados del siglo XIX Boole (1815-1864) cre el primer clculo lgico, para la lgica proposicional. La lgica en sentido moderno nace a nales del siglo XIX y principios del XX. Dentro de la lgica se distinguen tres grandes ramas: TEORA DE LA PRUEBA Frege (1848-1925), Peano (1858-1932), Russell (1872-1970), Hilbert (18621943), Herbrand (1908-1931) y Gentzen (1909-1945) desarrollaron la Teora de la Prueba de la lgica de primer orden. Todos ellos pretendan sistematizar el razonamiento matemtico y atacar con la poderosa artillera lgica la fundamentacin de la matemtica. Frege es el padre de la lgica moderna, al que debemos gran parte de las distinciones y conceptos en ella usados. El primer clculo para la lgica de primer orden fue el Begrischrift de Frege. Russell y Whitehead con su Principia Mathematica intentaron reducir los conceptos matemticos (de la aritmtica y el lgebra) a conceptos lgicos. Peano axiomatiz la aritmtica. La teora de la prueba en un sentido mucho ms delimitado naci con el denominado programa de Hilbert. La idea de Hilbert era la de explotar al mximo la naturaleza nita de las pruebas para proporcionar una fundamentacin de la matemtica. Podra resumirse su concepcin diciendo que preconizaban una axiomatizacin de las teoras matemticas de la que pudiera probarse su: 1. Consistencia. Es decir, que nunca se podr demostrar como teoremas de la teora una sentencia y su negacin. 2. Completud. Es decir, que cada sentencia (del lenguaje en el que se axiomatiz la teora) sea ella misma o su negacin un teorema de la teora axiomtica. 3. Decidibilidad. Es decir, que exista un procedimiento efectivo mediante el cual, en un nmero nito de pasos, se determine si una sentencia del lenguaje es o n un teorema de la teora. Los sistemas de Clculo de Gentzen orientaron la teora de la prueba a sus actuales derroteros, ligada inexorablemente a la perspectiva informtica. El teorema de Herbrand de 1930 y, posteriormente, el de Robinson se consideran los pilares de la demostracin automtica de teoremas. TEORA DE MODELOS. En el nacimiento de la lgica de primer orden participan decisivamente otro grupo de investigadores cuya orientacin apuntaba a la, posteriormente bautizada, Teora de Modelos. Lwenheim (1878-1957), Skolem (1887-1963), Gdel
(1906-1978) y Tarski (1901-1983) son los pioneros de otra lnea de investigacin consistente en el estudio de las estructuras matemticas considerando las leyes a las que obedecen. Lwenheim y Skolem demostraron teoremas generales acerca de la innita variabilidad de la cardinalidad de los modelos de las teoras de primer orden, de la incapacidad de esa lgica para caracterizar estructuras innitas, de su negada habilidad para distinguir entre cardinalidades innitas. Gdel demostr la completud del clculo de la lgica de primer orden. A Tarski le debemos los conceptos fundamentales de la semntica y de la Teora de Modelos. A l le cabe adems el mrito de haber concebido y dirigido un programa de investigacin sistemtica en esta disciplina. En 1931 Gdel demostr que si la aritmtica elemental es consistente, no puede ser completa, y que en general el programa de Hilbert es irrelizable. Para demostrar este teorema, conocido como teorema de incompletud, Gdel introdujo el concepto de recursividad. Comentario 1 Estamos usando el trmino completud de dos formas: (1) completud de una lgica y (2) completud de una teora. En el primer caso es una propiedad del clculo; a saber, que es capaz de generar como teoremas a todas las frmulas vlidas. En el segundo caso es una propiedad de una teora; a saber, la de ser tan potente que toda sentencia del lenguaje (o su negacin) se derive de la teora. TEORA DE LA RECURSIN. Cundo decimos que una funcin es recursiva?, Qu signica ser recursiva? Hay varias deniciones precisas, entre s equivalentes, de este concepto. La nocin intuitiva correspondiente a ser recursiva es ser efectivamente computable. Cundo decimos que una funcin es efectivamente computable? Sencillamente, cuando hay un procedimiento efectivo -esto es, un algoritmoque la computa. Un procedimiento efectivo debe cumplir una serie de requisitos. No imponemos restricciones de naturaleza prctica a los procedimientos efectivos; por ejemplo en una funcin sobre los naturales, los argumentos han de ser nmeros naturales, pero pueden serlo de cualquier tamao, el procedimiento ha de ser nito, pero no se pone una limitacin, tampoco se preja la cantidad de papel ( o espacio de memoria) que haya de precisarse para realizar el clculo. La computabilidad efectiva no es lo mismo que computabilidad prctica, lo sera en una situacin ideal en la que no importase ni el tiempo ni el espacio de memoria precisado. Los orgenes de la teora clsica pueden hallarse en Dedekind, cuando en 1988 introduce el estudio de las funciones denibles sobre el conjunto de los nmeros naturales usando ecuaciones y, recurrentemente, la induccin sobre los nmeros naturales que l haba formulado y precisado. De ah le viene justamente el nombre. Por lo que respecta a su estadio presente, cuyo radio de accin cubre la totalidad de las funciones efectivamente computables, los orgenes hay que buscarlos
1.1. QU ES LA LGICA?
en el grupo de Princeton; empez con Church (1903-1995), pero si hay que atribuirle un padre, ste es Kleene. El fue quien la impuls, deni y acot: suyos son los teoremas de la forma normal y el de recursin. En cuanto a la denin misma, circulaban varias versiones de este conceptp, aunque haba cierta resistencia a aceptarlas como deniciones. Varios de estos conceptos aparecieron en los aos 30 para caracterizar nociones que en principio parecan diferentes: la primera era la caracterizacin de Gdel de las funciones denidas mediante recursin, la segunda era la de funcin denible mediante el operador , que Church y Kleene introdujeron, y la tercera era la de funcin computable mediante una mquina abstracta, las mquinas de Turing. Pronto se demostr que las tres nociones denan las mismas funciones. Presente. En la primera mitad de este siglo la lgica se aplic mayormente a la fundamentacin de la matemtica. En la segunda mitad ha jugado un papel decisivo en la creacin y desarrollo de la informtica y los lenguajes de programacin, hasta el extremo de poderse caracterizar a la informtica as: Informtica = Lgica+Ingeniera electrnica La Lgica proporciona los fundamentos para las diversas -cada vez ms abundantes- aplicaciones de la lgica en la informtica: vericacin de hardware y software, inteligencia articial, programacin lgica, deduccin automtica,... Futuro. La Lgica es la materia interdisciplinar por excelencia y acta como ncleo de una ciencia que emerge: la Ciencia de la transmisin de la informacin. Tringulo de las Bermudas = Lgica, Lenguaje e Informtica Por consiguiente, concentrarnos en estudiar los principios que gobiernan la lgica tiene un carcter ejemplicador pues en ella se funden disciplinas en donde son determinantes los aspectos simblicos del proceso de informacin; esto es, en todas en las que es conveniente usar lenguajes articiales. Empezaremos estudiando la denominada lgica clsica, tanto proposicional como de primer orden. Comentario 2 La lgica clsica se caracteriza por su rigor y precisin (pero carece de matices; la verdad es absoluta, el tiempo est ausente, no hay ambigedad). La lgica clsica caracteriza el razonamiento de las matemticas y cuando se aplica a ejemplos no matemticos, se matematizan primero. Comentario 3 Hay otras lgicas: Temporal, modal, dinmica, borrosa, no-monotnica,...
CAPTULO 1. INTRODUCCIN GENERAL Lgica = estudio de la consecuencia (razonamientos vlidos o correctos) Lgica = estudio de los conjuntos de creencias consistentes Lgica = Gramtica + Semntica (+ Clculo)
1.2.
Consistencia.
La consistencia lgica o coherencia interna de un conjunto de creencias signica para nosotros compatibilidad de creencias. Hay que distinguir la consistencia lgica, que es una cualidad formal, abstracta, de ciertas virtudes, por otra parte muy estimables, como la lealtad, la justicia o la sinceridad. Por su parte, la inconsistencia no hay que confundirla con la estupidez o la irracionalidad, aunque estn prximas. Hay que distinguirla tambin, y esto es ms difcil, del desacuerdo con la realidad. Consistencia 6= lealtad Consistencia 6= justicia Consistencia 6= sinceridad Inconsistencia 6= estupidez Inconsistencia 6= irracionalidad Inconsistencia 6= desacuerdo realidad Comentario 4 Un conjunto de creencias puede muy bien estar en desacuerdo con la realidad y no ser inconsistente, pues no existe incompatibilidad de creencias. (Los conjuntos consistentes de creencias se caracterizan porque es siempre posible imaginar una situacin en la que todas ellas sean verdaderas, pero puede no ser la del mundo real.) Comentario 5 Nadie sostiene, a sabiendas, conjuntos de creencias inconsistentes. (Leyes lgicas son naturales?, convencionales?, se adquieren?,...) La consistencia tambin se puede predicar de una creencia aislada; en tal caso ser consistente es poder ser verdadero en una situacin posible, no necesariamente en todas, ni tan siquiera se exige que lo sea as en la realidad. La Inconsistencia o Contradiccin es mucho ms fuerte: no puede ser verdadero en ninguna situacin.
1.2.1.
Ejemplos:
EJEMPLO 1.- Polticos! Suponed que un poltico maniesta:
1.3. ENUNCIADOS QUE EXPRESAN CREENCIAS.
Es un error censurar, por violentas, la retransmisin de las corridas de toros porque lo que vemos en la televisin no afecta en absoluto el comportamiento; ni siquiera el de los jvenes. Debera haber ms programas y documentales que mostraran nuestras costumbres nacionales (bailes tpicos, corridas de toros, concursos de cortar troncos, etc) para as fomentar estas costumbres entre los jvenes. Suponiendo que maniesta lo que cree Son consistentes sus creencias? EJEMPLO 2.- El barbero de Las Batuecas. Hace pocos das me contaron el caso de un hombre llamado Roque, barbero en Las Batuecas. Slo me haban dicho dos frases cuando exclam: Imposible! Roque vive en Las Batuecas. Roque afeita a los habitantes de Las Batuecas que no se afeitan a s mismos y slo a ellos. Creeis que me precipit al no creerme lo que me contaban? EJEMPLO 3.- OKUPAS (SQUATTERS) El alcalde de una gran ciudad maniesta a la prensa: No es que haya falta de viviendas sociales en nuestra ciudad, ni en Madrid, ni en Barcelona. Lo que pasa es que los OKUPAS, que son gente que no tiene en donde vivir, han hecho circular ese infundio. Si furais periodistas del partido del alcalde, publicaras sus palabras sin ms?
1.3.
Enunciados que expresan creencias.
Puesto que las creencias son inmateriales, intangibles, es conveniente ocuparse de su expresin mediante el lenguaje, y mejor an, como las palabras se las lleva el viento, mediante el lenguaje escrito. Sin embargo, es de todos sabido que la relacin entre pensamiento y lenguaje plantea muchos problemas: 1. En primer lugar, hay oraciones, o enunciados, tales como las preguntas, las rdenes, las exclamaciones o las dudas que no expresan creencias. Por consiguiente, nos limitaremos al uso aseverativo (declarativo o enunciativo) del lenguaje.
10
2. Por otra parte, una oracin puede tener ms de un signicado; la lengua natural est plagada de ambigedades lxicas, estructurales, de referencias cruzadas, etc. No deseamos (ni podramos) cambiar el lenguaje natural, pues gracias a estas propiedades el lenguaje natural es exible, con l se puede desde contar chistes hasta hacer losofa de la cosmologa. Sin embargo, en lgica necesitamos un lenguaje riguroso, preciso, y habr que solventar estos problemas creando un lenguaje articial. 3. Otro problema es que los enunciados precisan ser contextualizados y as el mismo enunciado puede expresar distintas creencias al recibir distintas contextualizaciones. 4. En ocasiones no est claro qu pensamiento o creencia expresa una determinada oracin; hay expresiones engaosas, incluso deliberadamente engaosas. 5. Por otra parte, cuando se transcribe el lenguaje oral al escrito se pierden matices, entonaciones, gestos, etc, que son fundamentales para el signicado. 6. Finalmente, algunos se plantean si no ha sido determinante la gramtica y la estructura de las lenguas europeas para el desarrollo de la lgica. Comentario 6 Introduciremos un lenguaje formal para eludir los problemas de ambigedad e imprecisiones diversas que caracterizan a la lengua natural.
1.3.1.
Ejemplos:
CHISTES Con frecuencia los chistes ocurren porque la frase contiene ambigedades: lxicas, estructurales, de referencias cruzadas. Determinad qu clase de ambigedad ocurre en los siguientes chistes: 1. Si nos encuentran, estamos perdidos. (Groucho) 2. (En una panadera) Por favor, una barra de pan, y si tiene huevos, una docena. (Sale con 12 barras de pan) 3. (Un hombre por la calle con un pingino, encuentra a un amigo que le recomienda). Llvalo al zoolgico. (Unos das despus se lo vuelve a encontrar con el pingino y le pregunta si no lo haba llevado al zoolgico...) Se lo pas estupendamente, esta tarde lo llevo al circo.
1.4.
Tipos de enunciados.
Los enunciados que expresan creencias pueden ser consistentes, cuando la creencia expresada lo es; es decir, cuando es verdadera en alguna situacin. (En el lenguaje formal que se introducir despus la palabra tcnica empleada no es consistente sino satisfacible.)
1.5. LENGUAJE FORMAL.
11
Por otra parte, un enunciado que no es verdadero en ninguna situacin es contradictorio. Los enunciados que son verdaderos en cualquier situacin son tautologas y los que son verdaderos en algunas situaciones y falsos en otras son contingentes. Los enunciados capaces de describir una situacin, y de distinguirla de otras, son contingentes. De esta clase son los enunciados que describen nuestra experiencia, que conforman la mayora de las ciencias. Las tautologas, al ser verdaderas en toda situacin, no pueden describir a ninguna en particular. Describen algo? La respuesta es que s, que Describen a la propia lgica. Veremos que esta idea puede ser convenientemente explotada, ya que captar el funcionamiento y naturaleza de las tautologas es captar la esencia de la lgica. Comentario 7 Esta tipologa se reproduce en el lenguaje formal y tendremos frmulas satisfacibles, contingentes, contradicciones y tautologas.
1.4.1.
Ejercicios:
Enunciados tautolgicos, contradictorios y contingentes Clasicad los siguientes enunciados segn sean tautologas, contradicciones o contingentes. 1. El agua hierve a la temperatura de cien grados centgrados. 2. Hoy llueve o no llueve. 3. Todo cuerpo sometido a la inuencia de una fuerza constante adquiere un movimiento uniformemente acelerado. 4. Me compro un coche y me voy de vacaciones equivale a decir que no es el caso que si me compro el coche no me voy de vacaciones.
1.5.
Lenguaje formal.
Para obtener el rigor y precisin deseados, se introduce un lenguaje formal (lgico). Se tratar de un lenguaje articial, con una reglas gramaticales explcitas que nos dicen qu sucesiones de signos del alfabeto son frmulas y unas reglas semnticas tambin explcitas, que determinan cuando una frmula es verdadera bajo una determinada interpretacin (en un modelo matemtico). Dependiendo del nivel de abstraccin que vayamos a necesitar, de la realidad a tratar y de la naturaleza de dicha realidad en estudio, hay diversos lenguajes posibles. En este curso se estudian los lenguajes de la lgica proposicional (PL) y de la de primer orden (FOL). El primero se introduce con detalle en el captulo siguiente, el segundo forma la segunda parte de este curso. Comentario 8 La lgica modal, la temporal, la dinmica, la no-monotnica y la teora de tipos son otras de las muchas lgicas que interesan a los informticos, a los lsofos y a los lingistas, pero que no se tratan aqu.
12
1.6.
Consecuencia lgica.
Dijimos que tanto se poda caracterizar a la lgica como el estudio de los conjuntos consistentes de creencias, como el estudio de los razonamientos vlidos o correctos. La idea intuitiva, que tendremos que precisar, es que un razonamiento es correcto cuando no se puede imaginar ninguna situacin en la que las hiptesis del razonamiento sean verdaderas y la conclusin sea falsa; esto es, cuando el conjunto formado por las hiptesis y la negacin de la conclusin es inconsistente. En la vida cotidiana nuestros razonamientos versan sobre hechos: partimos de unas premisas o hiptesis, que pueden ser verdaderas o falsas, y llegamos a una conclusin, que tambin puede ser verdadera o falsa. Esto enmascara los razonamientos vlidos con hiptesis falsas. Para situar el problema resulta til la siguiente tabla de doble entrada: Razonamientos correctos
Hiptesis
Conclusin Verdadera Verdadera 1 Falsa 3
Falsa 2 4
Razonamientos incorrectos
Hiptesis
Conclusin Verdadera Verdadera 5 Falsa 7
Falsa 6 8
En lgica nos interesamos por los razonamientos del tipo 1, 3 y 4. Razonamientos de tipo 2 no hay, porque justamente lo que caracteriza a un razonamiento vlido es la imposibilidad de que su conclusin sea falsa cuando sus hiptesis son verdaderas. No nos interesa tanto el que la conclusin sea verdad como que el paso entre premisa y conclusin est justicado. Para explicar la naturaleza de la lgica, tradicionalmente se distingue entre forma y contenido de un razonamiento; el contenido de un razonamiento puede ser de ndole muy variada: puede versar sobre fsica, psicologa, matemticas, informtica, o nuestra vida cotidiana. En lgica nos interesamos por la forma de los razonamientos, nunca por su contenido. Por supuesto, para adquirir nuevas creencias precisamos aceptar las conclusiones de los razonamientos cuyas hiptesis aceptamos como creencias; sin embargo, el contrastar dichas hiptesis cae fuera del alcance de la lgica.
1.6. CONSECUENCIA LGICA.
13
1.6.1.
Ejercicios:
EJERCICIO 1.- Consecuencia. Decidid si el razonamiento consignado es o no correcto. Treinta das tiene Noviembre con Abril, Junio y Septiembre. Veintiocho tiene uno y los dems treinta y uno. Por lo tanto, Abril tiene treinta das si y slo si no los tiene Mayo, y Mayo los tiene si tambin los tiene Noviembre. EJERCICIO 2.- Clasicad los siguientes argumentos segn el esquema presentado; es decir, segn sean correctos o no, y segn el valor de verdad de las premisas y la conclusin. (Aparecen clasicados, estaban mezclados y sin clasicar antes de la clase.) 1. Tipo 1 (premisas VERDADERAS, conclusin VERDADERA; razonamiento CORRECTO) a) Arqumides y la corona.3.6.2 b) Todos los nmeros primos son impares. Siete es primo Siete es impar 2. Tipo 2. (premisas verdaderas, conclusin falsa; razonamiento vlido) No existe ninguno. 3. Tipo 3 (premisas FALSAS, conclusin VERDADERA; razonamiento CORRECTO) a) Los lsofos no llevan bigote. Jos Mara Aznar lleva bigote. Luego, Jos Mara Aznar no es un lsofo. 1) Si Almodvar dirigi El Abuelo entonces tambin dirigi Todo sobre mi madre. Almodvar no dirigi Todo sobre mi madre Conclusin: Almodvar no dirigi El Abuelo. 4. Tipo 4 (premisas FALSAS, conclusin FALSA; razonamiento CORRECTO) a) Si hoy es Jueves, maana es Viernes. Hoy es Jueves Conclusin: Maana es Viernes Fecha: 24-3-2000 (Viernes) 5. Tipo 5 (premisas VERDADERAS, conclusin VERDADERA; razonamiento INCORRECTO). a) Algunos mamferos tienen cuatro patas. El delfn es un mamfero. Entonces, El delfn tiene cuatro patas.
14
CAPTULO 1. INTRODUCCIN GENERAL b) Si Picasso naci en Mlaga, entonces no es cierto que naciera en Francia. Picasso no naci en Francia. Conclusin: Picasso naci en Mlaga.
6. Tipo 7 (premisas FALSAS, conclusin VERDADERA; razonamiento INCORRECTO). a) Los cientcos odian las matemticas. Einstein odiaba las matemticas. Luego, Einstein era un cientco b) Si hoy es Sbado o Domingo, entonces es n de semana. Hoy no es Domingo Conclusin: hoy no es n de semana. Fecha: 25-3-2000 (Sbado) 7. Tipo 8 (premisas FALSAS, conclusin FALSA; razonamiento INCORRECTO). a) Si Cervantes escribi la Colmena, Camilo Jos Cela escribi el Quijote. Camilo Jos Cela no escribi la Colmena. Luego, Camilo Jos Cela escribi el Quijote. b) Slo los viejos y los nios comen chocolate. Manolito gafotas no come chocolate Conclusin: Manolito gafotas no es un nio.
1.7.
Glosario.
1. Consistencia: Decimos que un conjunto de enunciados es consistente cuando existe al menos una situacin que los hace simultneamente verdaderos. (ingl.: Consistency). 2. Inconsistencia: Decimos que un conjunto de enunciados es inconsistente cuando no existe ninguna situacin que los haga simultneamente verdaderos. (ingl.: Inconsistency) 3. Tautologa: Decimos que un enunciado es una tautologa si, y slo si, es verdadero en todas las situaciones posibles. (ingl.: Tautology) 4. Contradiccin: Decimos que un enunciado es una contradiccin si, y slo si, no existe ninguna situacin en la que el enunciado sea verdadero. (ingl.: Contradiction) 5. Contingente: Decimos que un enunciado es contingente cuando no es una tautologa ni una contradiccin, o lo que es lo mismo, cuando es verdadero en algunas situaciones y falso en otras. (ingl.: Contingente sentence).
1.8. REFERENCIAS BIBLIOGRFICAS
15
6. Consecuencia: Decimos que un enunciado es consecuencia de un conjunto de enunciados que sirven de hiptesis si, y slo si, no existe ninguna situacin en la que cada una de las hiptesis sea verdadera y la conclusin sea falsa; es decir, cuando el conjunto formado por las hiptesis y la negacin de la conclusin sea inconsistente. (ingl.: Consequence).
1.8.
REFERENCIAS BIBLIOGRFICAS
Consistencia e inconsistencia. Se puede encontrar una estupenda introduccin muy intuitiva en HODGES W. (1977), Logic.Penguin Books, Middlexes. En el primer captulo de este libro, titulado Consistency -pginas 13 a la 16-, se realiza una presentacin del concepto de consistencia aplicado a un conjunto de pensamientos, distancindolo de otros conceptos -como el de lealtad, justicia o sinceridad- que son identicados con ste en nuestro lenguaje natural. Puesto que los pensamientos se expresan en un lenguaje, los dos siguientes captulos (Expressing Beliefs in Sentences y When is a sentence true? -pginas de la 17 a la 41-) estn dedicados a la introduccin de la consistencia. Dicha propiedad puede predicarse de enunciados declarativos (que expresan pensamientos), y las condiciones de verdad de los mismos. El cuarto captulo (Testing for Consistency and Validity -pginas 42 a la 60-) nos presenta la relacin existente entre la consistencia y la validez. En BERGMANN M., MOOR J. & NELSON J. (1980), The logic Book. Random House, New York. podemos encontrar una sinttica denicin de la nocin de consistencia aplicada a la lgica proposicional (tambin llamada sentencial) y a la de predicados, ponindola en contacto con la nocin de verdad, consecuencia y equivalencia, y acompaando todo esto de una coleccin de interesantes ejercicios (pginas 79 a 86, y 320 a 326). Tambin podemos encontrar tratamientos del mismo tema en: DEAO A. (1974) Introduccin a la Lgica Formal. Alianza editorial, Madrid., GENSLER H. (1989) logic: analyzing and appraising arguments. Prentice hall, New Jersey., y SUPPES P.(1966) Introduccin a la lgica formal. Compaa editorial continental, Mxico D.F. Tautologa, contingente y contradiccin Todos los libros anteriormente citados hacen referencia a estos temas: HODGES (1977) en las pginas 109 a 124, BERGMANN ET ALI (1980) en las pginas 61 a 74 para la lgica proposicional y 291 a 320 para la lgica de predicados, en GENSLER H. (1989) en las pginas 65 a 94, SUPPES P (1966) en las pginas 34 a 39, y DEAO A. (1974) en las pginas 101 a 106. Consecuencia Todos los libros anteriormente citados hacen referencia a este tema: HODGES (1977) en las pginas 132 a 142, BERGMANN ET ALI (1980) en las
16
pginas 80 a 91 para la lgica proposicional y 326 a 331 para la lgica de predicados, en GENSLER H. (1989) en las pginas 65 a 94, SUPPES P. (1966) en las pginas 39 a 44, y DEAO A. (1974) en las pginas 113 a 116. Razonamientos Todos los libros anteriormente citados hacen referencia a este tema: HODGES (1977) en las pginas 53 a 61, BERGMANN ET ALI (1980) en las pginas 5 a 18, en GENSLER H. (1989) en las pginas 326 a 360, SUPPES P.(1966) en las pginas 64 a 72. Pero especialmente tenemos que hacer referencia a la clara exposicin que se realiza en DEAO A. (1974) en las pginas 35 a 46, donde se presenta una exhaustiva clasicacin de los razonamientos teniendo en cuenta los valores de verdad de las premisas y la conclusin y la validez del mismo.
Captulo 2
El lenguaje de la lgica proposicional.

El objetivo fundamental de este tema es doble: la adquisicin de un lenguaje formal (poniendo especial nfasis en la formalizacin) y la introduccin y justicacin del mtodo de la induccin semitica. En la introduccin se esclarecern los conceptos siguientes: 1. Lenguaje natural y Lenguaje formal. 2. Lenguaje y Metalenguaje. 3. Uso y Mencin. 4. Funciones veritativas.
2.1.
Gramtica y formalizacin.
Vamos a construir un lenguaje al que podamos traducir las oraciones del castellano. A diferencia de las lenguas naturales (como el castellano, el ingls, el cataln o el chino) ser ste un lenguaje formal que contar con unas reglas de formacin precisas. El uso ms frecuente que vamos a hacer del lenguaje formal es como vehculo de razonamiento. Slo nos interesar traducir a nuestro lenguaje formal las expresiones lingsticas que describan un estado o expresen un pensamiento completo; es decir, nos limitaremos al uso declarativo del lenguaje natural. En este sentido, nuestro lenguaje formal es muy pobre; no se puede traducir a l las preguntas, las exclamaciones, las dudas ni los chistes (bueno, tal vez mi amigo John Paulos1 sea capaz de hacerlo). Como contrapartida a su falta de riqueza, nuestro lenguaje formal ser muy preciso, carente por completo de ambigedad o de doblez.
1 Habeis ledo sus libros: Mathematics and Humor, I Think Therefore I Laugh, Innumeracy y A Mathematician reads the Newspaper ?
17
18
CAPTULO 2. EL LENGUAJE DE LA LGICA PROPOSICIONAL.
Otra de las limitaciones de nuestro lenguaje formal es que ser bivalente; el motivo es que nosotros aceptamos que en cada situacin cada sentencia que consideremos ser verdadera o falsa, nunca las dos cosas a la vez. Podemos precisar que para nosotros falso signica no verdadero y tomar verdadero en el sentido en el que se usa normalmente. Por otra parte, podemos considerar que las situaciones que nos incumben son tales que las sentencias relevantes son o verdaderas o falsas, pero no las dos cosas. Comprendemos que hay muchas formas distintas de no ser verdadero, pero en la lgica clsica no las distinguimos. Qu hacemos con frases como, El vino ayuda a hacer la digestin? Esta sentencia tiene que ser considerada verdadera o falsa y no cabe considerarla parcialmente verdadera o parcialmente falsa. Si uno en realidad lo que quisiera es decir que el vino, tomado moderadamente, ayuda a alguna gente a hacer la digestin, debe usar la sentencia El vino, tomado moderadamente, ayuda a alguna gente a hacer la digestin. Con todo esto no quiero decir que la lgica tenga que ser bivalente (la lgica polivalente tiene aplicaciones, especialmente la trivalente, pues a menudo resulta til contar con el valor indenido), ni que no se pueda en ella expresar proposiciones modales (necesariamente, posiblemente) o temporales (siempre, alguna vez), ni que no se deba dar juego a la ambigedad semntica (conjuntos difusos). En esta primera parte del curso expongo el punto de vista clsico, que es el que adoptaremos, obviamente, en toda la lgica clsica. Para hablar acerca de nuestro lenguaje formal utilizaremos el castellano, del mismo modo que utilizamos el castellano para estudiar el latn. Cuando sto se hace, al lenguaje en estudio se le llama lenguaje objeto (latn, en el ejemplo) y al lenguaje que utilizamos de vehculo, metalenguaje (castellano, en el ejemplo anterior). Nuestro lenguaje objeto es el lenguaje formal y el castellano, aumentado con algunos signos, es el metalenguaje. Finalmente, distinguimos entre uso y mencin de una palabra o una expresin. Usamos normalmente las palabras para referirnos a objetos que no son lingsticos; es decir, las usamos como un signo, para aludir a algo distinto de ellas mismas. Hay otras ocasiones en las que usamos el lenguaje para hablar acerca del propio lenguaje. Usamos entonces el metalenguaje para mencionar las expresiones de un lenguaje. El lenguaje formal que vamos a introducir es el proposicional, tambin llamado de conectores, pues el anlisis que se llevar a cabo con l es precisamente de un nivel muy abstracto, en donde slo intervienen y se estudian las combinaciones de enunciados simples para formar enunciados complejos. El valor de verdad de un enunciado complejo depender exclusivamente de los valores de verdad de los enunciados simples que lo componen y de la interpretacin de sus conectores, que est jada de antemano. Los conectores se interpretarn como funciones veritativas; es decir, como funciones que a valores de verdad les asignan valores de verdad (o a pares de valores de verdad les asignan valores de verdad). Finalmente, por tratarse de lgica proposicional los tomos son los enunciados simples, que, consecuentemente, no se analizan. Tampoco usaremos cuanticadores. Es decir, el enunciado
2.1. GRAMTICA Y FORMALIZACIN.
19
Todos los rboles son pinos es en lgica proposicional un enunciado atmico.
2.1.1.
Ejemplos y Ejercicios.
En las frases siguientes hay tres tres niveles de lenguaje; usamos comillas y dobles comillas para indicarlo: EJEMPLO 1.- Un famoso poeta es menos inventor que descubridor, dijo Averroes, escribe Jorge Luis Borges. EJEMPLO 2.- Dice Hiplito en su obra Refutatio omnium haereseum: la frase el bien y el mal son uno fue escrita por Herclito. EJEMPLO 3.- Es verdad que Valle Incln ha escrito: A bordo de la Dalila, lo recuerdo con orgullo, asesin a Sir Roberto Yones. EJERCICIO 1.- poned comillas para distinguir uso y mencin. Salamanca est baada por el Tormes Salamanca tiene nueve letras. EJERCICIO 2.- poned comillas para distinguir uso y mencin. Madrid empieza por m, termina con t pero generalmente se escribe con g
2.1.2.
Gramtica de L0 .
Cmo se construye un lenguaje formal? Un lenguaje formal consta de un alfabeto bsico y de unas reglas precisas de formacin de frmulas. Alfabeto. El alfabeto del lenguaje L0 de la lgica proposicional contiene dos tipos de signos: los conectores y las letras proposicionales. Nosotros usamos , , , , como conectores y las letras p, q, r, s, ..., p1 , p2 , ... como letras proposicionales. Tambin, como signos impropios utilizaremos parntesis.
20
Frmulas. Las frmulas de L0 se construyen siguiendo unas sencillas reglas de formacin. Dichas reglas extraen del conjunto de las de signos del alfabeto a aquellas a las que llamamos frmulas. El conjunto de las frmulas de L0 (al que llamamos FORM(L0 ), o simplemente FORM, cuando est claro por el contexto) es el menor conjunto que se puede generar con su ayuda a partir de las letras proposicionales. F1.- Las letras proposicionales son frmulas. F2.- Si A y B son frmulas, tambin lo son: A, (AB), (AB), (A B), (A B)
A B ATOM p q (A B)
CONECT , , ,
Comentario 9 Advirtase que tal y como hemos denido el conjunto de frmulas, como el menor conjunto que cumple las reglas F1 y F2, si un conjunto Q cumple las mencionadas reglas, entonces FORM(L0 ) Q lo que signica que todas las frmulas estn en dicho conjunto. Comentario 10 A las frmulas que son simplemente letras proposicionales, las llamamos frmulas atmicas. Las frmulas obtenidas mediante la regla F2 reciben las denominaciones siguientes:
Forma lgica A (A B) (A B) (A B) (A B)
Denominacin negacin conjuncin disyuncin condicional bicondicional
21
Comentario 11 Comentario importante:Entre las reglas de formacin de frmulas tenemos la siguiente: Si A y B son frmulas, tambin lo es (A B). Qu pintan A y B aqu? Entre los signos de nuestro lenguaje no aparecan las primeras letras maysculas del alfabeto latino, se nos podra decir. Comentario 12 Demostrar que una sucesin de signos del alfabeto L0 es una frmula consiste en mostrar que se construy conforme a las reglas del clculo de frmula; es decir, F1 y F2
2.1.3.
Subfrmulas.
Llamamos subfrmulas de una frmula a todas aquellas partes de una frmula que son tambin frmulas (generadas por F1 y F2). Descomponer una frmula en subfrmulas es una manera de demostrar que efectivamente se trata de una frmula. La forma ms sencilla de hacerlo es mediante rboles genealgicos, que todo el mundo entiende con facilidad. Para que no confundirlos con los rboles lgicos, que se vern despus, yo los hago de abajo a arriba, con aspecto de autntico rbol genealgico.
2.1.4.
Forma lgica.
Las frmulas de nuestro lenguaje L0 que no son atmicas tienen cinco formas lgicas posibles: negaciones, conjunciones, disyunciones, condicionales y bicondicionales. El saber identicar la forma lgica de una frmula dada es fundamental para manipular el clculo deductivo correctamente.
2.1.5.
Ejercicios:
1. Sin alterar el orden de los signos, transformad las sucesiones de signos siguientes en frmulas cuya forma lgica sea un condicional, utilizando parntesis cuando sea necesario. a) b) c) d) e) prq pr qr pq p q s t prqr
2. Son frmulas las siguientes las de signos?. Caso armativo demostradlo en el clculo de frmulas, o construid su rbol genealgico. Verdadero (p p) ((p q p) (((pp) r) r) (((p q) r) r) (((p q) r) ((p r) q r Falso
22
2.1.6.
Formalizacin.
Este tema tiene una vertiente prctica, la formalizacin, en la que me gusta insistir, pues considero que es fundamental que se adquiera mucha soltura en el uso del lenguaje simblico. El que la formalizacin preceda a la interpretacin semntica tiene una justicacin: permite una introduccin intuitiva de los conectores. Esto no resulta tan sencillo en el caso del condicional, especialmente cuando tiene antecedente falso, pero se pueden poner ejemplos pertinentes (por ejemplo, con una fuerte relacin de causalidad entre antecedente y consecuente) para convencernos, al menos de que es preciso adoptar una convencin al respecto. Mi ancdota predilecta para condicionales con antecedente y consecuente falso es la siguiente. Dos periodistas que no se podan ver. El primero publica en el diario local una foto de su hijito disfrazado de rociero, con el siguiente pi:
Fotografa del simptico rociero Pepito Ruiz, hijo del brillante escritor D. Jos Ruiz.
Al da siguiente aparece, en la misma pgina, el siguiente insulto rimado: Si tu hijo es rociero y t un escritor brillante, yo soy Felipe III, Genoveva de Brabante y el hijo del Espartero. Los apartados que trataremos son los que siguen: 1. Formalizaciones sencillas: negacin. Negamos la verdad de un enunciado armando su negacin. La negacin recoge el uso de la partcula no del castellano (o cualquiera de sus equivalentes; no es cierto que, no es verdad que, nunca, jams). La interpretacin que le daremos ser la siguiente: La negacin de un enunciado verdadero ser falsa y la de uno falso ser verdadera. 2. Formalizaciones sencillas: conjuncin. Cuando utilizamos una conjuncin entre dos enunciados queremos indicar que ambos son verdaderos. Normalmente usamos la conjuncin copulativa, y para indicar conjuncin, pero, aunque, sin embargo se usan tambin. Hay un ligero matiz que diferencia estos usos, que se pierde en el lenguaje formal. La interpretacin que le daremos ser la siguiente: La conjuncin de dos enunciados es verdadera si y slo si ambos lo son. 3. Formalizaciones sencillas: disyuncin. La disyuncin que recoge nuestra conectiva es la llamada incluyente (o no excluyente), como cuando en un anuncio SE SOLICITA SECRETARIA QUE SEPA FRANCS O INGLS, que evidentemente no
23
excluye a la que sepa los dos idiomas. Normalmente se expresa mediante o, a menos que, a no ser que, y/o. La interpretacin que le daremos ser la siguiente: La disyuncin de dos enunciados es verdadera si al menos uno de ellos lo es. 4. Formalizaciones sencillas: condicional. Formalizamos (A B) para indicar un enunciado condicional. En este caso A es el antecedente y B el consecuente. En castellano usamos normalmente la expresin si A entonces B. Se usan tambin si A, B, B, si A, A es condicin suciente para B, B es condicin necesaria para A, slo si B, A. La interpretacin que le daremos ser la siguiente: Un enunciado condicional es falso cuando el antecedente es verdadero y el consecuente falso, en el resto de los casos es verdadero. 5. Formalizaciones sencillas: bicondicional. Cuando queremos indicar que A es condicin suciente para B y que B es condicin necesaria para A lo formalizamos as: (A B). La interpretacin que le daremos ser la siguiente: Un enunciado bicondicional es verdadero cuando y slo cuando sus dos miembros son simultneamente verdaderos o falsos. 6. Formalizaciones complejas. Se trata de combinar varios conectores. Resumen 13 Lo dicho anteriormente queda resumido en las siguientes tablas, en donde se entiende que los conectores son funciones veritativas (esto es, funciones que asignan valores de verdad a pares de valores de verdad) y que 1 y 0 corresponden a Verdadero y Falso Conectores binarios. C 1 1 0 0 D 1 0 1 0 (C D) 1 0 0 0 (C D) 1 1 1 0 (C D) 1 0 1 1 (C D) 1 0 0 1
(Tabla de los conectores binarios usados en nuestro lenguaje formal; los conectores binarios se interpretan como funciones binarias sobre el conjunto de los valores de verdad {1, 0} .) Conector monario. C 1 0 C 0 1
24
CAPTULO 2. EL LENGUAJE DE LA LGICA PROPOSICIONAL. (Tabla del conector monario de negacin. Este conector es una funcin monaria sobre el conjunto de valores de verdad)
2.1.7.
Ejemplos y Ejercicios
EJEMPLO 1.- Elegid la formalizacin adecuada. 1. Pedro ir al dentista (p), tanto si quiere (q) como si no quiere. 2. Pienso (p) luego existo (q) 3. No pienso, luego existo. 4. El fuego (p) es la causa del humo (q) 5. El fuego siempre produce humo. 6. Si Pedro juega al badminton (p), Quiteria tambin (q) 7. Slo si Pedro juega al badminton, juega Quiteria. p q q p p (q q) 1 2 F 3 4 F 5 F 6 F 7 F * Ninguna de las anteriores p q * F F
Comentario 14 La formalizacin de (1) es (q q) p , la de (3) p q. EJEMPLO 2.- Elegid la formalizacin adecuada. 1. Slo cuando llueve (p) o hace viento (q) la contaminacin disminuye (r). 2. Si Antonio estudia (p) pero no aprueba (q), entonces algo falla (r) 3. Crecer la inacin (p) si el IVA aumenta (q) y no hay contencin del gasto (r) 4. Siempre que Noem estudia piano (p) o Daniel toca el trombn (q), su madre sale de compras (r) 5. Si Vargas LLosa escribi Lituma en los Andes (p) pero no escribi La Regenta (q), entonces Camilo Jos cela escribi La Colmena (r) 6. La magia del cuento se revela (r) slo cuando Pinocho miente (p) o Blancanieves muerde la manzana (q)
2.1. GRAMTICA Y FORMALIZACIN. (p q) r r (p q) F p (q q) (q r) p F F * F F
25
1 2 3 4 5 6
* Ninguna de las anteriores. Comentario 15 La formalizacin tanto de (2) como de (5) es (p q) r EJERCICIO 1.- Elegid la (o las) formalizacin adecuada a la frase siguiente: Excepto cuando llueve (p), siempre que hay nubes (q) la temperatura sube (r) cuando sopla el levante (s). (q (r (s p))) (q ((s p) r)) (p r) Simplicando (r (p (q s))) EJERCICIO 2.Usando las siguientes claves de formalizacin, expresad en espaol lo consignado en las frmulas: p Te han dicho que salgas a la pizarra q Debes salir a la pizarra r Pedro ha salido a la pizarra s Pedro ha sacado un diez en su examen de lgica t Debes presentarte al examen u Debes estudiar en casa 1. p q 2. r s 3. (r (t u)) 4. p (t u) 5. (p u) (q u) 6. (p q) t 7. q (s t) 8. p ((r q) r)
26
2.1.8.
El mundo de Tarski.
Cuando se aprende una segunda lengua se pueden seguir dos mtodos muy diferentes: Utilizar la lengua propia y hacer traducciones directas e inversas hacia la nueva. Aprender a usarla directamente. El primero es el mtodo tradicional y ha sido el predominante en la enseanza de la lgica; sin embargo, este mtodo plantea diversos problemas. En el caso de la lgica la dicultad principal estriba en que el lenguaje natural es mucho ms complejo que el formal, y con frecuencia las dicultades de formalizacin radican en el lenguaje natural. Sin pretenderlo transferimos al lenguaje formal una complejidad que no le es propia. Otro problema es que para ser un buen traductor hace falta conocer y dominar bien las dos lenguas, mientras que en nuestro caso se supone que estamos justamente aprendiendo el lenguaje formal. Estas consideraciones llevaron a los autores de El mundo de Tarski, Barwise y Etchemendy, a concebir el mencionado programa, en el que el aprendizaje del lenguaje formal es directo. Aunque el programa es fundamentalmente para ensear el lenguaje de la lgica de primer orden y es ms interesante en ese caso, hay algunos ejercicios que pueden hacerse en proposicional. Es especialmente recomendable cuando el estudio de la lgica proposicional sea el prembulo del de la de primer orden. A la informacin sobre este programa se puede acceder desde nuestra pgina de ARACNE: http://aracne.usal.es
2.2.
Convenciones sobre notacin.
Entre las convenciones acerca de la notacin, se suele incluir la supresin de parntesis. Nosotros no las emplearemos, pues considero que los parntesis, aunque engorrosos, ayudan mucho a entender las frmulas. Lo ms frecuente es asignar prioridad a los conectores. Por supuesto, la apariencia grca de los conectores es puramente convencional. Los que nosotros usamos son los ms frecuentes, pero tambin se usan: & g =
2.3.
Glosario.
Lenguaje natural (ordinario) Producidos en la evolucin psicolgica e histrica; p.e. espaol, ingls, ruso,... Lenguaje formal (o articial) Creados por el hombre, determinando su alfabeto y sus reglas de formacin.
2.3. GLOSARIO.
27
Metalenguaje y lenguaje objeto Para hablar acerca de nuestro lenguaje formal utilizaremos el castellano, del mismo modo que utilizamos el castellano para estudiar el latn. Cuando sto se hace, al lenguaje en estudio se le llama lenguaje objeto (latn, en el ejemplo) y al lenguaje que utilizamos de vehculo, metalenguaje (castellano, en el ejemplo anterior). Nuestro lenguaje objeto es el lenguaje formal y el castellano, aumentado con algunos signos, es el metalenguaje. Uso y mencin. Decimos que usamos una expresin cuando la utilizamos como un signo; es decir, cuando sta se reere a algo distinto de la propia expresin. Decimos que mencionamos una expresin cuando la utilizamos para referirnos a la expresin misma. Alfabeto. Por alfabeto podemos entender el conjunto de smbolos que forman las expresiones de un lenguaje. El alfabeto de nuestro lenguaje L0 de la lgica proposicional contiene dos tipos de signos; a saber, letras proposicionales y conectores. Conectores. negador, disyuntor, conyuntor, condicionador y bicondicionador. Frmulas. Sucesiones nitas de signos del alfabeto construdas conforme a las reglas F1 y F2 del clculo de frmulas. Reciben los nombres siguientes: p frmula atmica (o simple) (Cualquier letra proposicional lo es) A negacin, (A B) disyuncin, (A B) conjuncin, (A B) condicional, (A B) bicondicional Subfrmulas. Llamamos subfrmulas de una frmula a todas aquellas partes de una frmula que son tambin frmulas (generadas por F1 y F2). Forma lgica. Es el tipo de frmula; es decir, p frmula atmica A negacin, (A B) disyuncin, (A B) conjuncin, (A B) condicional, (A B) bicondicional Clculo (de frmulas). Algoritmo (procedimiento efectivo) mediante el cual podemos generar las frmulas (y justicar que una sucesin determinada de signos del alfabeto lo es) Arbol genealgico (de una frmula). Procedimiento de generacin de subfrmulas. Induccin semitica. Procedimiento mediante el cual se prueba que todas las frmulas tienen una determinada propiedad (o se dene algn concepto para todas las frmulas.
28
2.4.
Lenguaje natural y Lenguaje formal. Lenguaje y Metalenguaje. Uso y Mencin. Funciones veritativas. Se puede encontrar una estupenda explicacin de estos conceptos en DEAO, A (1978) pg 21 a 27. Tambin se puede consultar BERGMANN et alts, (1990), pg 49 a 51. Formalizacin. Conectores. En el libro de SUPPES (1975), pg 25-44 El mundo de Tarski Sirve, de momento, para practicar con el lenguaje proposicional. La pega es que es un lenguaje un poco peculiar ya que las frmulas atmicas son atmicas, pero de un lenguaje de primer orden.
Captulo 3
Semntica.
En este tema el concepto fundamental a introducir es el de consecuencia. Como ya dije antes, el objetivo didctico es que se entienda porqu |= C equivale a que {C} es insatisfacible. Estudiaremos tambin las propiedades algebraicas de los conectores y sus interrelaciones. Comentario 16 En este curso manejaremos tres mtodos diferentes para vericar la consistencia (o la consecuencia) de enunciados. Directo; es decir, usando simplemente las deniciones pertinentes. rboles (llamados tambin tablas semnticas); esto es, construyendo lo que se denomina un rbol lgico, cuyas reglas se especicarn ms adelante. Tablas de verdad; es decir, interpretando adecuadamente las tablas de verdad de las frmulas implicadas.
3.1.
Introduccin.
Contamos con un lenguaje formal, L0 , que nos sirve para formalizar en l las sentencias del castellano. Pero la lgica, denida por algunos como la ciencia de la consecuencia (o del razonamiento vlido), necesita precisar qu queremos decir cuando armamos que una frmula C es una consecuencia de un conjunto de frmulas (o, lo que es lo mismo, que el razonamiento que toma como hiptesis a las frmulas de y cuya conclusin es C es un razonamiento vlido, correcto, no falaz). Una forma posible de plantearlo es utilizando la formalizacin. Un razonamiento vlido lo es por la estructura interna de los enunciados que contiene, y no lo es en razn de los signicados concretos de los trminos implicados. Cuando formalizamos realzamos la estructura de los enunciados y los signicados de los trminos pierden relevancia. As formalizados es ms sencillo ver el esquema seguido. Este esquema ha de producir nuevos razonamientos igualmente vlidos. Justamente, lo que caracteriza a un razonamiento vlido es que si retraducimos el esquema formal obtenido a una lengua natural, el resultado seguir siendo un razonamiento vlido. Un razonamiento vlido nos da la pauta de muchos otros. 29
30
CAPTULO 3. SEMNTICA.
Un razonamiento es vlido (por ejemplo, p q |= p) porque con independencia de cmo retraduzcamos p y q al castellano, si la traduccin de p q es verdadera, tambin lo ser la de p. Es decir, es inconcebible una situacin que haciendo verdadera a p q haga falsa a p; signiquen lo que signiquen p y q. Afortunadamente, aunque esto de la retraduccin al castellano es muy ambiguo, la idea es muy simple y no necesitaremos recurrir a traducciones para denir con precisin el concepto de consecuencia.
3.1.1.
Ejercicios.-
EJERCICIO 1.- La obscuridad de la noche: Una prueba de la Teora del Big Bang.
El gran descubrimiento de este siglo es que el universo no es inmvil ni eterno, como supuso la mayora de los cientcos del pasado. El universo tiene una historia, no ha cesado de evolucionar, enrarecindose, enfrindose, estructurndose. Esta evolucin sucede desde un pasado distante que se sita, segn las estimaciones, hace diez o quince mil millones de aos, cuando el universo est completamente desorganizado, no posee galaxias, ni estrellas, ni molculas, ni tan siquiera ncleos de tomos...Es lo que se ha llamado el BIG BANG. Una de las pruebas indirectas de esta teora se puede plantear as: Si las estrellas fueran eternas (p), entonces la cantidad de luz emitida sera innita (q). Si la cantidad de luz emitida fuera innita, entonces el cielo debera ser extremadamente luminoso (r). El cielo es obscuro. LUEGO: Las estrellas no existieron siempre. EJERCICIO 2.- Retraduccin. Si el esquema anterior corresponde a un razonamiento correcto; es decir, si {(p q), (q r), r} |= p, lo seguir siendo cuando retraduzcamos al castellano p, q y r. Veremos despus que este esquema corresponde al del razonamiento de Lucrecio, siglo I a.c Utilizad ahora la retraduccin siguiente: p Pedro es culpable q Quintn es cmplice r Juan es culpable Nos sale as el siguiente razonamiento (sacado de los archivos del inspector Craig, realizado con ayuda del sargento Mc Pherson) Si Pedro es culpable, entonces Quintn es cmplice. Si Quintn es cmplice, entonces Juan no es inocente. Juan es inocente. LUEGO: Pedro es inocente. EJERCICIO 3.- Lucrecio, lsofo romano. siglo I antes de Cristo.
3.2. TABLAS DE VERDAD.
31
Lucrecio armaba que el universo an estaba en su juventud. Razon as: He comprobado desde mi infancia, se dijo, que las tcnicas se han ido perfeccionando. Han mejorado el velamen de nuestros barcos, inventado armas ms y ms ecaces, fabricado instrumentos musicales ms renados...Si el universo fuera eterno, todos estos progresos habran tenido tiempo de realizarse cien, mil, un milln de veces Si el universo fuera eterno (p), entonces todos los progresos se habran realizado ya (q). Si todos los progresos se hubieran producido ya, el mundo estara acabado, no cambiara (r). El mundo cambia. LUEGO El mundo no existe desde siempre.
3.2.
Tablas de verdad.
Aqu se introducirn las tablas de verdad de los conectores, las tablas de verdad para frmulas cualesquiera y se aprender a interpretar el signicado de las las y de las columnas de una tabla. De especial inters es remarcar que en cada la obtenemos el valor de verdad de la frmula para la combinacin de valores de verdad de sus letras proposicionales. Tambin aqu clasicaremos a las frmulas en tautologas, antilogas y frmulas contingentes. A la pregunta planteada en este apartado (por qu las tablas de verdad determinan un nico valor de verdad para cada frmula en funcin del valor de verdad de sus letras proposicionales?) no puede responderse de otra forma que recurriendo al principio de induccin y haciendo una denicin precisa del concepto de interpretacin (a partir del de asignacin de valores de verdad a las letras proposicionales) siguiendo el esquema de las deniciones por induccin semitica que ya conoceis. Conectores binarios. C 1 1 0 0 D 1 0 1 0 (C D) 1 0 0 0 (C D) 1 1 1 0 (C D) 1 0 1 1 (C D) 1 0 0 1
(Tabla de los conectores binarios usados en nuestro lenguaje formal; los conectores binarios se interpretan como funciones binarias sobre el conjunto de los valores de verdad {1, 0} .) Conector monario. C 1 0 C 0 1
32
CAPTULO 3. SEMNTICA. (Tabla del conector monario de negacin.)
Tabla de verdad de una frmula cualquiera, C. Usando la denicin de los conectores que aparecen que en las tablas precedentes, construmos la tabla de verdad de una frmula cualquiera, C. A la izquierda pondremos las letras proposicionales de la frmula C, y bajo ellas todas las combinaciones de valores de verdad. Si en la frmula C hay n letras proposicionales distintas, habr 2n combinaciones de valores de verdad. Una manera de evitar que se olviden combinaciones es hacerlo como aparece en los ejercicios siguientes:
p 1 0
(p p) p
(p p) p
(p p)
(p p)
p 1 1 0 0
q 1 0 1 0
p (p q)
(p q) p
(p p) (q q)
p 1 1 1 1 0 0 0 0
q 1 1 0 0 1 1 0 0
r 1 0 1 0 1 0 1 0
(p (q r)) ((p q) r)
(p r) q
Clasicacin de frmulas. En razn de sus tablas de verdad clasicamos a las frmulas en tres grandes categoras: tautologas, contingentes y contradicciones. Por supuesto, para expresar que una frmula cae bajo alguna de estas categoras se usa el metalenguaje. Tautologas (o vlidas) son las frmulas cuya tabla de verdad tiene como columna principal una formada exclusivamente de 1s.
3.2. TABLAS DE VERDAD. p 1 . . . . . . q 1 ... C 1 . . . 1 . . .
33
Contingentes son las frmulas cuya tabla de verdad tiene como columna principal una formada por 1s y 0s
p 1 . . . . . .
q 1 . . . . . .
. . .
C . . . 1 . . . 0 . . .
Contradiccciones (o antilogas) son las frmulas cuya tabla de verdad tiene como columna principal una formada exclusivamente de 0s p 1 . . . . . . q 1 ... C 0 . . . 0 . . .
3.2.1.
EJERCICIOS:
Clasicad las frmulas siguientes: (Tautologas, etc.) 1. (p (p r)) (q r) 2. p 3. p q 4. ((p (p r)) r) q 5. ((p q) r) (p q)) 6. ((p q) (r s)) ((p r) (p s)) 7. (p (q r)) ((p q) (p r))
34 8. ((p q) (p q)) (r r) 9. (p q) (p q) 10. (p p) (p p)
11. (((p q) r) s) (s ((p q) r)) 12. p (p (q q))
3.3.
Interpretacin de L0 .
Las frmulas de L0 se interpretan en un universo de dos valores, {1, 0} Para establecer el valor de verdad de una frmula cualquiera necesitamos previamente asignar valores a las letras proposicionales. Basada en esa asignacin se establece el valor de verdad de una frmula cualquiera. ASIGNACIN Una asignacin es una funcin f que otorga un valor de verdad a cada letra proposicional; es decir, f : LS {1, 0}
INTERPRETACIN Dada una asignacin f denimos una interpretacin I extendiendo la funcin f de forma que otorgue un valor de verdad a cada frmula del lenguaje formal L0 ; es decir, I : F ORM (L0 ) {1, 0} La denicin de I se har mediante el procedimiento de induccin semitica, as: F1. I(p) = f (p) F2. I(C) = 1 syss I(C) = 0 I(C D) = 1 syss I(C) = 1 y I(D) = 1 I(C D) = syss I(C) = 1 o I(D) = 1 I(C D) = 1 syss I(C) = 0 o I(D) = 1 I(C D) = 1 syss I(C) = I(D)
3.4. CONCEPTOS CLAVE.
35
3.4.
Conceptos clave.
Aqu denimos los conceptos de satisfacibilidad de una frmula y de un conjunto de frmulas, introducimos la relacin de consecuencia y su negacin (la de independencia) y terminamos deniendo la equivalencia entre frmulas. El concepto de validez se reducir al de consecuencia (del conjunto vaco de frmulas). Tambin, como cuestin terminolgica, diremos que una interpretacin I es un modelo de una frmula (o de un conjunto de frmulas) en el caso en que la interpretacin satisfaga a la frmula (o a cada una de las frmulas del conjunto). Al introducir el concepto de consecuencia hay que hacer hincapie en cmo hemos conseguido precisar la idea intuitiva de razonamiento vlido sin tener que recurrir a la retraduccin al castellano. Dado que tenemos que manejar una gran cantidad de conceptos de enorme importancia, su denicin ser paulatina y sirvindose de muchos ejemplos y ejercicios de complejidad creciente. Una buena tctica es comenzar por las pruebas de independencia con frmulas y pasar a las pruebas de independencia, pero con razonamientos escritos en castellano que tienen que ser formalizados. Cuando esteis ya acostumbrados a buscar el contraejemplo, pondremos razonamientos correctos y veremos que es imposible encontrar un contraejemplo: un modelo de las hiptesis y de la negacin de la conclusin. Observamos entonces que |= C equivale a {C} es insatisfacible; es decir, para comprobar si una frmula es consecuencia de un conjunto de frmulas podremos emplear un procedimiento refutativo.. A medida que la complejidad de estos ejercicios crece, la necesidad de encontrar un mtodo sistemtico de descarte de modelos se hace patente. Entonces el campo est abonado para proponer alguno de los existentes. Podemos entonces introducir las tablas de verdad para determinar validez y consecuencia y llegar a aburrirnos con los ejercicios de cuatro o ms letras proposicionales. Entonces, la necesidad de encontrar un mtodo ms ecaz se torna imperiosa y entramos en el apartado siguiente por la puerta del deseo (de encontrar un mtodo mejor). SATISFACIBILIDAD E INSATISFACIBILIDAD Denicin 17 Una frmula C es satisfacible syss hay una interpretacin I tal que I(C) = 1. Denicin 18 Dada una interpretacin I tal que I(C) = 1 decimos que I satisface a la frmula C ; o tambin, que I es modelo de la frmula C. Notacin 19 Es corriente escribir I |= C para indicar que I es modelo de C. Denicin 20 Un conjunto de frmulas es satisfacible syss hay una interpretacin I tal que I(G) = 1 para cada frmula G . Denicin 21 Dada una interpretacin I tal que I(G) = 1 para cada G decimos que I satisface al conjunto ; o tambin, que I es modelo de .
36
Notacin 22 Es corriente escribir I |= para indicar que I es modelo de . Comentario 23 Si el conjunto de frmulas es nito, = {G1 , G2 , ..., Gn }, es satisfacible syss G1 G2 ... Gn es satisfacible. Comentario 24 El concepto intuitivo correspondiente es, como habreis adivinado, el de coherencia, o compatibilidad de creencias. Denicin 25 Una frmula C es insatisfacible syss no es satisfacible; es decir, no hay ninguna interpretacin I tal que I(C) = 1. Denicin 26 Un conjunto de frmulas es insatisfacible syss no hay ninguna interpretacin I tal que I(G) = 1 para cada frmula G . VALIDEZ, CONSECUENCIA E INDEPENDENCIA. Denicin 27 Una frmula C es consecuencia de un conjunto de frmulas -y escribimos |= C - syss todo modelo de lo es tambin de C; es decir, toda interpretacin que hace verdadera a cada frmula de , hace verdadera a C. Denicin 28 Una frmula C es vlida -y escribimos |= C - syss |= C ; es decir, toda interpretacin hace verdadera a C. Denicin 29 Una frmula C es independiente de un conjunto de frmulas -y escribimos 2 C - syss C no es consecuencia de ; es decir, hay modelos de que no lo son de C. EQUIVALENCIA LGICA. Denicin 30 Dos frmulas C y D son lgicamente equivalentes si y slo si C |= D y D |= C Notacin 31 Usaremos el signo para expresar este metaconcepto, escribiremos C D Comentario 32 no es el bicondicional del lenguaje L0 , que sigue siendo , es una relacin binaria entre frmulas establecida en el metalenguaje.
3.4.1.
EJERCICIOS:
1. En cada uno de los ejercicios siguientes, encontrad frmulas A y B tales que: a) (A B) sea una frmula contingente b) (A B) sea una tautologa
3.5. MTODOS PARA DETERMINAR PROPIEDADES SEMNTICAS. 37 c) (A B) sea una frmula contingente
d) (A B) sea una tautologa
e) (B A) sea una contradiccin
f ) (B (B A)) sea una frmula contingente
2. Decid si los enunciados siguientes son verdaderos o falsos. Justicad la respuesta. a) Si A y B son frmulas contingentes, entonces {A, B} es satisfacible
b) Si A es una tautologa y B es una frmula contingente, entonces {A, B} es satisfacible c) A es satisfacible si y slo si A no es una contradiccin
d) A es satisfacible si y slo si A es contingente
e) A es una tautologa si y slo si A es contingente
f ) A es una frmula contingente si y slo si A lo es tambin
3. Si A es una frmula contingente y B una contradiccin a) Qu es (A B) ? b) Y (A B) ? c) Y (A B) ?
d) Y (A B) ? 4. Decid si es posible encontrar frmulas A y B tales que: a) (A B) sea una contradiccin
b) ((A B) (A B)) sea una frmula contingente c) (A (A B)) sea una tautologa
d) ((A B) (A B)) sea una tautologa 5. Sean A,B y C frmulas cualesquiera de la lgica sentencial Verdadero o falso?. Justicad la respuesta a) Si {A, B} es insatisfacible, entonces {A} B b) Si {A, B} 2 C, entonces{A, B} C c) Si {A, B} C entonces {A, B, C} no puede ser satisfacible
3.5.
Mtodos para determinar propiedades semnticas.
De momento contamos con las deniciones y con el procedimiento de las tablas de verdad para determinar propiedades semnticas. En el captulo siguiente introduciremos las tablas semnticas y un clculo de deduccin natural.
38
3.5.1.
SATISFACIBILIDAD
Para demostrar que es satisfacible: Directo: Encontrar una interpretacin I tal que I(G) = 1 para cada G Mediante tablas de verdad: Ver si la tabla de verdad del conjunto contiene una la formada exclusivamente por 1s
Sea = {G1 , G2 , ..., Gn } p 1 . . . . . . Comentario 33 Obviamente, esto equivale a hacer la conjuncin G1 G2 ... Gn q 1 ... G1 G2 ... Gn
...1...
3.5.2.
INSATISFACIBILIDAD (OBVIO)
Para demostrar que es insatisfacible: Directo (no tanto): Demostrar que no hay ninguna interpretacin I tal que I(G) = 1 para cada G Mediante tablas de verdad: Ver si la tabla de verdad del conjunto contiene en cada la al menos un 0 Sea = {G1 , G2 , ..., Gn } p 1 . . . . . . q 1 G1 G2 0 Gn 0
0 0
Reduccin a una frmula: Haces la conjuncin, G1 G2 ... Gn y... qu debe darte?
3.6. CALCULUS RATIOCINATOR.
39
3.5.3.
CONSECUENCIA E INDEPENDENCIA
Para determinar consecuencia e independencia usaremos el
MTODO MATEMTICO
Quereis conocerlo?
(REDUCCIN AL CASO ANTERIOR)

Es decir, usaremos: C C 2C syss syss syss {C} es insatisfacible {C} es insatisfacible {C} es satisfacible
Comentario 34 La clasicacin de frmulas se efecta en el metalenguaje, sin embargo, hemos introducido el signo |= para expresarlo abreviadamente. No es un signo del alfabeto de la lgica proposicional, es una abreviatura usada en el metalenguaje. |= A no es una frmula de L0 , es una expresin que arma que la frmula A es vlida. Comentario 35 Lo de llamar a esto mtodo matemtico es un chiste; por favor, no le llameis as. (Hace referencia al chiste de cmo fre un huevo un fsico y un matemtico.)
METALENGUAJE
C es vlida C es una tautologa C no es vlida C es una contradiccin C es insatisfacible C es satisfacible C no es vlida C es contingente
C 2C C 2 C 2 C y 2 C
3.6.
Calculus ratiocinator.
En las clases prcticas se trabaj con Calculus ratiocinator, un programa realizado por el alumno Jorge Hernndez para realizar tablas de verdad. El programa clasica frmulas (tautologas, contingentes y contradicciones) y tambin determina si una frmula es o n consecuencia de un conjunto de frmulas. En cualquiera de los casos nos puede mostrar la tabla de verdad. A la clase prctica vino Jorge y as los alumnos le sugirieron mejoras, especialmente ventanas de ayuda. El programa est disponible, es el trabajo n de carrera del mencionado alumno, que se present en Febrero de 1999.
40
3.6.1.
EJERCICIOS:
1. En los siguientes casos, determinad si es satisfacible o insatisfacible y comprabad los resultados usando Caluculus: a) b) c) d) e) f) g) = {(q r) (p q), p r} = {p q, (q p), (q p) (q p)} = {q (r s), (q r), (r s), (s q)} = {(p q) (p r), (q r), (p r)} = {p q, q s, p, s} = {p (q s), (s p), s p} = {(p q) s, (s p) (q s)} {q r, r p, p q} q r {p q, p r, (s t) p} s t {(p q) (r s), s (p t)} s t {p (q r), p q, (r s)} p t {p (q r), s (p r), p q} s r
2. En cada caso determinad si la frmula es consecuencia de las hiptesis. a) b) c) d) e)
3.6.2.
Vericar la correccin de algunos razonamientos:
EJERCICIO 1.- Arqumides y la corona del rey Hiern II de Siracusa. Cuenta la leyenda que el rey Hiern de Siracusa haba encargado una corona de oro macizo al orfebre real y que cuando ste se la entreg dud seriamente de su honestidad, pidindole a Arqumedes que comprobara si efectivamente la corona era de oro puro. Naturalmente, no poda daar la corona para hacerlo. Arqumedes andaba dndole vueltas al asunto hasta que un da, al entrar en la baera observ el agua que rebosaba y se le ocurri una forma de medir el volumen. Cuentan que se puso tan contento, que sali desnudo por las calles de Siracusa gritando Eureka (lo encontr). Lo que Arqumedes pens fue: Pesara la corona y medira su volumen midiendo el del agua que desplazara. Tomara un lingote de oro macizo que pesara lo mismo y medira tambin su volumen. Cuando lo hizo y comprob que el lingote de oro y la corona no desplazaban la misma cantidad de agua supo que haban engaado al rey. 1. Formalizad en lgica proposicional el argumento que seguramente utiliz Arqumedes. Para ello usad lo siguiente: p El peso de la corona y el lingote es el mismo q La corona y el lingote estn hechos del mismo material r La corona y el lingote tienen el mismo volumen s La corona y el lingote desplazan la misma cantidad de agua.
3.6. CALCULUS RATIOCINATOR. 2. Demostrad que el razonamiento de Arqumedes es correcto. EJERCICIO 2.- Curso de tica periodstica (CQC)
41
En uno de los cursos de Etica periodstica de Alvaro de la Iglesia se analizaba el siguiente titular de peridico: A La recuperacin econmica causa del incremento de accidentes de trco. En el curso se deca que si este titular fuera correcto tambin lo sera el siguiente: B La Grecia clsica causa del incremento de accidentes de trco. El argumento usado es que B es consecuencia de A, habida cuenta de que: C Hay recuperacin econmica si y slo si se fabrican ms coches D La revolucin industrial es la causa de la fabricacin de coches E La Grecia clsica es la causa de la revolucin industrial. 1. Formalizad en lgica proposicional el argumento de Alvaro de la Iglesia. Para ello usad lo siguiente: p Hay recuperacin econmica q Ha habido un incremento de accidentes de trco. r La Grecia clsica existi s La revolucin industrial existi t Se fabrican coches. 2. Demostrad que el razonamiento es correcto. EJERCICIO 3.- Amores del lgico Ceferino. Al lgico Ceferino le preguntaron: Amas a Queta, a Petra o a Rosana? El pens: Los hechos son: Amo al menos a una de las tres. Si amo a Petra, pero no a Queta, entonces amo a Rosana. O bien amo a Queta y a Rosana, o no amo a ninguna de las tres. Si amo a Queta, entonces tambin amo a Petra. Contest: Amo a las tres. 1. Formalizad en lgica proposicional el argumento del Lgico Ceferino. Para ello usad lo siguiente: p Amo a Petra q Amo a Queta r Amo a Rosana 2. Determinad si es correcto el razonamiento EJERCICIO 4.- La paradoja de los tres peluqueros (Lewis Carroll)
42
Al cabo de un rato, cuando avistbamos la barbera, to Jim empez de nuevo. Mi nica esperanza es que est Carr -dijo-, Brown es tan torpe Y la mano de Allen tiembla constantemente desde que tuvo aquel acceso de ebre. Seguro que Carr est -dijo to Joe. Y razon de la siguiente manera: Si Allen no est (p), Brown no est (q). (Desde que estuvo enfermo, no se atreve a salir slo y se hace acompaar por el aprendiz, Brown) Si Carr no est (r), entonces si Allen no est Brown debe de estar.(Porque la barbera no puede estar sola) LUEGO: Carr debe estar (El motivo que aduce es que si Carr no estuviera, deberan ser verdaderas dos proposiciones hipotticas incompatibles.)
3.7.
Nuestros conectores booleanos: algunas propiedades.
En el primer subapartado (Teorema 1) demostraremos las principales propiedades booleanas de los conectores , y : asociatividad de y , commutatividad, distributividad, leyes de De Morgan, idempotencia, absorcin, doble negacin, etc. Posiblemente no sea el momento de acometer el planteamiento algebraico de la lgica, pero se puede decir ahora qu son las lgebras de Boole y cmo las operaciones de esas lgebras tienen las mismas propiedades que nuestros conectores , , . Para ello conviene introducir dos constantes veritativas y > (lo falso y lo verdadero) e indicar que la equivalencia entre frmulas corresponde a la igualdad en el lgebra. Por lo que respecta a la interdenicin de los conectores (Teorema 2), demostraremos las tautologas correspondientes y, basndonos en el teorema del apartado anterior (el de reemplazo de frmulas equivalentes), demostraremos que nos bastan dos de ellas (por ejemplo, y ) para tener un lenguaje igualmente expresivo que el que ya tenamos.
3.7.1.
Teorema 1 (Propiedades booleanas de los conectores.)
Asociatividad: ((A B) C) (A (B C)) ((A B) C) (A (B C)) Commutatividad: (A B) (B A) (A B) (B A) Distributividad: ((A B) C) ((A C) (B C)) ((A B) C) ((A C) (B C))
3.7. NUESTROS CONECTORES BOOLEANOS:ALGUNAS PROPIEDADES.43 Leyes de De Morgan: (A B) (A B) (A B) (A B) Idempotencia: (A A) A (A A) A Absorcin: ((A B) A) A ((A B) A) A Doble negacin: A A Cero y Uno Denamos: y | (lo falso y lo verdadero) as: !Df (p p) y | !Df (A |) A (A ) (A |) | (A ) A
3.7.2.
Teorema 2 (Interdenicin de los conectores)
Reduccin de los conectores a y Para todo C y D : 1. (C D) (C D) 2. (C D) (C D) 3. (C D) (C D) (C D) Reduccin de los conectores a y . Para todo C y D : 1. (C D) (C D) 2. (C D) (C D) 3. (C D) ((C D) (C D)) Reduccin de los conectores a y Para todo C y D : 1. C C 2. (C D) ((C (D )) ) 3. (C D) ((C ) D) 4. (C D) (((C D) ((D C) )) )
44
Captulo 4
Tableaux semnticos.
4.1. Introduccin.
Los tableaux semnticos nos sirven para establecer la satisfacibilidad de una frmula (o conjunto de frmulas) y consisten bsicamente en el despliegue sistemtico de las condiciones de verdad de la frmula (o frmulas) en estudio. Tienen el aspecto de rboles (y por seo se les conoce tambin por ese nombre) cuyas ramas representan las distintas posibilidades. Las ramas se cierran cuando en ellas aparecen contradicciones, entendindose que se trata de una posibilidad frustrada. Un rbol completamente desarrollado y con todas las ramas cerradas muestra que la frmua (o frmulas) es insatisfacible. Por el contrario, una rama abierta permite denir una interpretacin que satisface a la frmula (o frmulas) del rbol. Tambin nos sirven los tableaux para vericar la correccin de un razonamiento. En apartados anteriores hemos insistido en que una forma de demostrar que |= C es demostrar que {C} es insatisfacible, que no tiene modelo alguno. Los tableaux semnticos se pueden ver como un procedimiento sistemtico de bsqueda de contraejemplo; es decir de una interpretacin que sea modelo de pero que no lo sea de C. Puesto que las ramas cerradas signican posibilidades frustradas, un rbol con todas sus ramas cerradas es la demostracin de que no hay contraejemplo y, por ende, de que |= C (utilizando |= C si y slo si {C} es insatisfacible). Por otra parte, puesto que un conjunto nito de frmulas es satisfacible si y slo si lo es la conjuncin de todas ellas, lo nico que tenemos que aprender es cmo resolver tableaux de una sola frmula. Estas son las caractersticas ms sobresalientes de los Tableaux proporcionan un procedimiento simple e intuitivo para encontrar modelos de las frmulas satisfacibles y para mostrar que las frmulas insatisfacibles no tienen modelos. igualmente se usan para conjuntos de frmulas (se hace la conjuncin) 45
46
CAPTULO 4. TABLEAUX SEMNTICOS. sirven igualmente para demostrar que una frmula es vlida (demostrando que su negacin es insatisfacible) sirven para vericar la correccin de un razonamiento (se hace el rbol de la negacin de un condicional cuyo antecedente es la conjuncin de las hiptesis y cuyo consecuente es la conclusin y se comprueba que es insatisfacible) en los dos ltimos casos funcionan por contradiccin...no siempre natural son automticas (para la lgica proposicional) pueden ser fcilmente implentadas en el ordenador (aunque, a menudo, la eciencia es pobre en comparacin con otros sistemas de prueba) son fcilmente generalizables a la lgica de primer orden (ver despus) y a otras lgicas (modal, temporal,...)
4.1.1.
Contenidos
En lo que sigue trataremos de precisar Cmo usar tableaux para analizar frmulas. El conjunto formal de las reglas de los tableau. Ejemplos. Deniciones de correccin y completud. Despus, en la parte tercera de estas notas, presentaremos Tableaux para la lgica de Primer Orden. Dado el nivel introductorio del curso se omiten las Prueba de correccin y completud.
Libro de Texto recomendado (es introductorio y muy bonito). W. Hodges, Logic Pelican (Penguin), 1997.
4.2.
Tableaux para la lgica proposicional
Sea A una frmula proposicional. Construiremos un tableau para A empezando con A y aplicando las reglas de los tableaux. Las reglas nos permiten descomponer sistemticamente a las frmulas obteniendo como resultado otras frmulas mas simples Las reglas estn diseadas para que la frmula input y la (o las) frmula output signiquen lo mismo.
4.3. EJEMPLOS
47
La descomposicin naliza cuando o bien se obtienen contradicciones explcitas (tales como B y B o > o ) o no se pueden aplicar mas reglas pues todas las frmulas han sido transformadas. Si las reglas llevan en todos los casos a una contradiccin, A es contradictoria y concluimos que A es vlida. Si no, A ser satisfacible y podemos extraer del propio rbol un modelo de A.
4.2.1.
Las reglas de los Tableau
Hay reglas para cada conectiva y para su negacin, y una regla especial para terminar (cerrar) una rama contradictoria. -reglas ( = y): 1. De A B, se deduce A y B. 2. De (A B) se deduce A y B. 3. De (A B), se deduce A y B. 4. De A, se decuce A. -reglas ( = ramicacin): 1. De A B, se deduce A y, en una rama nueva, separada, B. 2. De (A B), se deduce A y, en una rama nueva, separada, B. 3. De A B, se deduce A y, en una rama nueva, separada, B. Ejercicio 36 Podeis encontrar una regla adecuada para el bicondicional, ?, Y para la negacin del bicondicional? (La solucin se dar ms tarde.) Regla de cierre: Cerrar una rama que tenga A y A (para cualquier A), o >, o . (No continuar trabajando con ramas cerradas!)
4.3.
Ejemplos
Ejemplo 37 Empezamos con A = (p q) q y llegamos a una contradiccin. 1. (p q) q 2. p q 3. q 4. p 5. q 6. q por la -regla de en 1 por la -regla de en 2 por la -regla de en 5 cerrar la rama (3,6)
Este es un tableau cerrado para A, ya que todas sus ramas estn cerradas. Nota: Podramos haber parado en la lnea 5, ya que las lneas 3 y 5 son contradictorias.
48
CAPTULO 4. TABLEAUX SEMNTICOS.
4.3.1.
Las reglas de los tableau reejan el signicado de las conectivas, I.
Vamos a comentar el ejemplo 37. Las lneas 4 y 5 (p y q) se obtienen aplicando una -regla de conjuncin a la frmula p q situada en la lnea 2. La idea es que si el input de la regla, la frmula pq, es verdadera (en algn modelo), entonces las frmulas obtenidas como output, p y q, deben ser tambin verdaderas y vice-versa. Del mismo modo obtenemos las lneas 2 y 3 a partir de la lnea 1 suministrando la conjuncin (pq) q como input y dejando actuar a la -regla de . Como output obtenemos las dos frmulas p q y q. Observamos que son ambas verdaderas syss la frmula input es verdadera. La lnea 6 se obtuvo a partir de la 5 aplicando una -regla a la frmula q. El resultado es la frmula q, y esta es verdadera syss la frmula input q es verdadera. Ejemplo 38 Empezamos con B = (p q) q. Esta vez no obtenemos una contradiccin. 1. (p q) q 2. p q 3. q Q Q Q 4. p 5. q por la -regla de en 2 por la -regla de en 1
rama rama abierta cerrada No se puede desarrollar ms la rama izquierda. Este tableau no est cerrado. Nota. La nica regla aplicable a la lnea 1 es una -regla, para tratar la . Esto se debe a que es la conectiva dominante en (p q) q. (Esta frmula tiene la forma lgica de una conjuncin; es decir, es de la forma A B.) De la misma manera, la frmula , p q en la lnea 2 tiene la forma de una disyuncin (A B) y por lo tanto slo puede ser tratada con una -regla de .
4.3.2.
Las reglas reejan el signicado de las conectivas, II
Consideremos el ejemplo 38. Aplicamos una -regla a la frmula p q en la lnea 2. El output de la regla son las frmulas p, q, pero en ramas separadas. Por qu? La frmula input p q es verdadera (en un modelo dado) syss una (o ambas) de las frmulas output p, q son verdaderas. Pero podra ser cualquiera de ellas, dependiendo del modelo. No podemos (de momento) eliminar ninguna
4.3. EJEMPLOS
49
de las posibilidades. Por lo tanto ponemos la p y la q en ramas separadas del tableau, representando las dos situaciones o casos posibles. La verdad de p q implica la verdad de (por lo menos) una de las frmulas en las ramas y vice-versa. Usamos las ramas en un tableau para analizar la situacin por casos. El estudio de los casos debe ser exhaustivo, pero los casos no son necesariamente mutuamente excluyentes. Ejemplo 39 Empezamos con C = (((p q) p) p). 1. (((p q) p) p) 2. (p q) p 3. p -regla de . . . en 1
PPP PP P P 4. (p q) 6. p 7. q -regla de . . . en 4 5. p -regla de en 2
rama cerrada (3, 5)
rama cerrada(3, 6) Todas las ramas se cierran. Por lo tanto este tableau est cerrado. Nota. En la misma rama del rbol nunca descomponemos repetidamente la misma frmula (No sirve, obtendramos nuevamente las mismas frmulas!)
4.3.3.
Las reglas reejan el signicado de las conectivas, III.
Fijos en el ejemplo 39. Obtenemos las lneas 6 y 7 (p y q) aplicando una -regla a la frmula (p q) de la lnea 4. Esta frmula input es verdadera (en un modelo) syss las frmulas resultantes, el output p y q son ambas verdaderas. Por tanto, la regla concuerda con el signicado de ( ). Las lneas 4 y 5, (p q) y p, se obtuvieron aplicando una -regla a la frmula (p q) p de la lnea 2. Esta frmula es verdadera (en un modelo dado) syss al menos una de las frmulas (p q) o p es verdadera. De nuevo, no sabemos cul. Por lo tanto el tableau se abre, teniendo en cada rama una de las posibilidades.
4.3.4.
Solucin al ejercicio 3
Cul sera una buena regla para ?
50
Solucin: A B es verdadera syss o bien A y B son ambas verdaderas o bien A y B son ambas verdaderas. Tenemos 2 casos. Por tanto usamos una -regla: De A B, deducimos A y B y, en una nueva rama separada, A y B. Una buena -regla para ( ) es: De (A B), deducimos A y B y, en una nueva rama separada A y B. Esto se debe a que (A B) es verdadera syss o bien A y B son ambas verdaderas o bien A y B son ambas verdaderas. Ejemplo 40 Empezamos con: D = ([(p q) r] [(p r) (q r)]) PP PP P P (p q) r [(p q) r] [(p r) (q r)] (p r) (q r) (p r) (q r) p q r PP P r (p q) @ p q pq r
p q PPP pr qr @ p r @ q r
El tableau est cerrrado. Ejercicio 41 Indicad qu reglas se utilizaron y en qu lneas en el tableau precedente.
4.3.5.
Consejos y estrategias:
1. Descomponer primero las frmulas que no abran ramas; es decir, usar las -reglas antes que las -reglas 2. Dar prioridad a la descomposicin de frmulas que cierren ramas 3. Parar cuando el problema est resuelto (Para demostrar satisfacibilidad basta con encontrar una rama abierta completa) 4. Cuando no sirvan las estrategias anteriores, empezad por las frmulas ms complejas (habr luego menos ramas en las que desarrollar la frmula compleja)
4.4. CORRECCIN Y COMPLETUD Los ejercicios del nal sirven para practicar cmo hacer los tableau.
51
4.3.6.
Naturaleza sintctica de las reglas
Las reglas de los tableaux parecen estar relacionadas con la verdad de las frmulas (claro que lo estn!) De todos modos, las reglas estn expresadas y se usan de forma puramente sintctica: en trminos de la frma lgica de las frmulas; es decir, analizando las de signos sin hacer referencia al signicado de las frmulas. Esto es caracterstico (de hecho necesario) en un sistema formal de prueba. Debe ser mecnico un ordenador debera ser capaz de reconocer una prueba correcta, aunque construir una prueba pudiera ser muy complicado para el ordenador. En los ejercicios anteriores hemos visto (vase, por ejemplo 38) que a cada frmula slo se puede aplicar una regla; todo depende de su forma lgica. As funcionan todas las reglas de los tableaux. Por lo tanto (en lgica proposicional) los tableaux pueden implementarse determinsticamente en un ordenador (Aunque la eciencia puede ser pobre.)
4.4.
Correccin y completud
Uno puede pasar muchas horas haciendo tableaux... Pero esto sera intil a menos que los tableaux signicaran algo para nuestra semntica. Queremos usar tableaux para determinar propiedades semnticas; validez, satisfacibilidad, consecuencia e independencia. Los ejemplos sugieren que si hacemos un tableau que empiece con una frmula A, y todas las ramas se cierran, entonces todos los modos posibles en que A es verdadero son eliminados. Por tanto A debe ser vlida Precisaremos esta idea.
4.4.1.
Tableaux cerrados y teoremas
Denicin 42 1. Una rama de un tableau es un subconjunto maximal y lineal del tableau. Los ejemplos deberan dejar claro lo que queremos decir. E.g., en el ejemplo 39, las dos ramas son (a) lneas 1, 2, 3, 4, 6, 7, y (b) lneas 1, 2, 3, 5. Una rama est cerrada si contiene B y B, para la misma frmula B, o si contiene o >.
2.
52 3. 4. 5.
CAPTULO 4. TABLEAUX SEMNTICOS. Un tableau est cerrado si todas sus ramas estn cerradas. Si A es una frmula, un tableau de A es un tableau que empieza con A. Escribimos ` A (se lee A es demostrable, o A es un teorema) si existe un tableau cerrado para A. Fifaos bien en la aqu. No olvideis jams esta . Los tableaux prueban validez y consecuencia por refutacin.!
6.
Una frmula A es consistente si no hay un tableau cerrado para A (syss 6` A).
4.4.2.
Ejemplos de teoremas
Mostramos en el ejemplo 37 que ` ((p q) q). Mostramos en el ejemplo 39 que ` ((p q) p) p. Mostramos en el ejemplo 40 que ` [(p q) r] [(p r) (q r)].
4.4.3.
Los teoremas de correccin y completud
Resulta que con este procedimiento podemos probar (`) todas y solas las frmulas vlidas: Teorema 43 Sea A una frmula propositional cualquiera .Entonces A es vlida syss ` A. La direccin se llama correccin: el sistema de prueba (tableaux) puede slo probar frmulas que sean vlidas. (Podemos conar en el procedimiento, si hemos demostrado que una frmula es un teorema, dicha frmula es vlida.) La direccin se llama completud: podemos probar cada frmula vlida. (El mtodo es de aplicabilidad completamente general, sus reglas nos permiten producir todas las frmulas vlidas.)
4.4. CORRECCIN Y COMPLETUD
53
4.4.4.
Por qu el teorema 10 es verdadero?
No probaremos formalmente este importante teorema, pero diremos algo sobre ello. Correccin: ya hemos dicho que las ramas de un tableau para A explora todas las maneras en que A puede ser verdad en un modelo. Por lo tanto, si ` A, entonces hay un tableau cerrado para A. Por consiguiente, todas las posibilidades han sido indagadas y todas se han cerrado; ninguna nos ha permitido encontrar un modelo de A; es decir, A no puede ser verdad nunca. Por lo tanto A debe ser siempre verdadera; es decir, vlida. Completud: si 6` A, hagamos un tableau completo para A aplicando todas las reglas posibles. Como 6` A, este tableau debe tener una rama abierta. Esta rama es una descripcin completa de un modelo en el que A ser verdadera. Podemos usar la descripcin para construir un modelo de A. Por lo tanto A no es vlida.
4.4.5.
Decidibilidad algortmica
Debido a que hay slo una regla alicable a cada lnea dada de un tableau (la exigida por la forma lgica de la frmula que est en la lnea), y que siempre las frmulas outputde cualquier regla son ms simples que las frmulas input, se puede programar un ordenador para construir un tableau para cualquier frmula dada A. El programa terminar en un tiempo nito o bien porque el tableau se cierra, o porque se ha completado (no se pueden aplicar mas reglas). Si el tableau se cierra, sabemos que ` A. Si no, podemos extraer un modelo de A a partir de una rama abierta, por tanto 6` A. Por lo tanto, se puede programar un ordenador para decidir en un tiempo nito si se da ` A (o no), para cualquier frmula proposicional A. Veremos que este no es el caso para la lgica de predicados.
4.4.6.
Ejemplo de correccin
Ejemplo 44 Sea A = ((p q) q). En el ejemplo 37, mostramos que ` A. Por el teorema de correccin 43 sabemos que A es vlida. Vemoslo. Una manera de hacerlo es usando las tablas de verdad Cojamos un modelo cualquiera M y veamos que A es verdadera en l. Queremos ver que M |= A. Por lo tanto queremos mostrar que p q y q no son verdaderas simultneamente en M. Por lo tanto queremos que ver que las tres p, q, y q no sean verdaderas simultneamente en M. Pero no podemos ni tan siquiera hacer que las dos ltimas lo sean: una de ellas debe fallar; o bien M |= q o bien M |= q nunca ambas. Puesto que el modelo M es arbitrario, A es vlida, como dice el teorema 43 .
54
4.4.7.
Extraer un modelo usando un tableau
Vimos en el ejemplo 38 un tableau para A = (p q) q con una rama abierta. Este tableau est completo no se pueden aplicar mas reglas. Podemos extraer un modelo M de A a partir de una rama abierta: la rama contiene p y q; por lo tanto M(p) = M(q) = 1 . Luego (como se puede probar) M |= A.
4.5.
Demostraciones a partir de hiptesis
Denicin 45 Sean A, B frmulas. Escribimos A ` B si hay un tableau cerrado que empieza con las dos frmulas A y B. Intuitivamente, A ` B signica que podemos probar B si asumimos A como una hiptesis. Ejemplo 46 p (p q) ` q. 1. p (p q) 2. q 3. p 4. p q PP P P 5. p 4 6. q 1 1 4
cerrado(3,5)
cerrado(2,6)
Notacin. En la lnea 3, 1 signica que la lnea se obtuvo aplicando una -regla a la lnea 1. En las lneas 5 y 6, 4 signica que se obtuvieron como resultado de aplicar una -regla a la lnea 4. Usaremos notacin en ejemplos futuros y en las soluciones de los ejercicios.
4.6.
4.6.1.
Ejercicios
Prctica en la construccin de tableaux
Probar lo siguiente construyendo tableaux cerrados. 1. ` p p. 2. ` p p. 3. ` (p q) (p (q r)). 4. ` p q q p.
4.6. EJERCICIOS 5. ` ((p r) (q r)) ((p q) r). 6. ` ((p q) r) ((p r) (q r)). 7. ` (p q) ((q r) (p r)).
55
4.6.2.
Otro ejercicio
1. Construir un tableau completo de A = ((p q) (q p)). Usarlo para encontrar un modelo de A.
4.6.3.
Resumen: cmo podemos usar los tableaux
Hemos dicho que podemos usar los tableaux para determinar propiedades semnticas. Por si no ha quedado claro, resumo la situacin. USO DE TABLEAUX PARA DETERMINAR SATISFACIBILIDAD/ INSATISFACIBILIDAD Tenemos un conjunto de frmulas y queremos saber si es satisfacible o insatisfacible. Satisfacibilidad: Hay al menos una rama abierta que permite denir una interpretacin I tal que I(G) = 1 para cada G . Reduciremos previamente el conjunto a una sola frmula (hacemos la conjuncin) y construmos su tableau. Insatisfacibilidad: Todas las ramas estn cerradas USO DE TABLEAUX PARA DETERMINAR CONSECUENCIA/ INDEPENDENCIA Consecuencia: Para determinar si |= C se hace el tableau de {C} y se comprueba que todas las ramas estn cerradas. Reduciremos el conjunto a una sola frmula, haciendo la conjuncin. Independencia: Para determinar si 2 C se hace el tableau de {C} y se comprueba que hay al menos una rama abierta. Construmos un modelo usando la rama abierta. USO DE RBOLES PARA CLASIFICAR FRMULAS Los tableaux lgicos sirven en principio para determinar si una frmula es o n satisfacible. Pero si al hacer el tableau de C resulta que queda al menos una rama abierta, siendo por tanto satisfacible, para determinar si se trata de una tautologia o de una frmula contingente, hemos de hacer el tableau de C.
56
CAPTULO 4. TABLEAUX SEMNTICOS. Contradiccin: Se hace el tableau de C y se comprueba que todas sus ramas estn cerradas. Satisfacible: Se hace el tableau de C y se comprueba que al menos una rama est abierta y completamente desarrollada. Tautologa. Se hace el tableau de C y se comprueba que todas sus ramas estn cerradas Contingente: Se hace el tableau tanto de C como de C y se comprueba que en ambos casos hay ramas abiertas.
4.7.
4.7.1.
Tableaux proposicionales
Solucin de los ejercccios propuestos
Demostrad lo siguiente construtendo tableaux cerrados. 1. ` p p. 1. (p p) 2. p 3. p cerrado(2,3) 2. ` p p. 1. (p p) 2. p 3. p cerrado(2,3) 3. ` (p q) p) p. 1. (((p q) p) p) 2. (p q) p 1 3. p 1 XXXX 4. (p q) 2 7. p 2 5. p 4 cerrado(3,7) 6. q 4 cerrado(3,5) 4. ` (p q) (p (q r)). 1 1
4.7. TABLEAUX PROPOSICIONALES 1. ((p q) (p (q r))) 2. p q 3. (p (q r)) 4. p 5. (q r) 6. q 7. r PP P P 8. p 2 9. q 2 cerrado(4,8) cerrado(6,9) 1 1 3 3 5 5
57
5. ` p q q p. 1. (p q q p)
((((hhhhhhh ( h ( (( 8. (p q) 1 2. p q 1 9. q p 1 3. (q p) 1 10. q 9 4. p 2 11. p 9 5. q 2 XXX XXX X X 12. p 8 7. p 3 13. q 8 6. q 3 cerrado(5,6) cerrado(4,7) cerrado(11,12) cerrado(10,13)
6. ` ((p r) (q r)) ((p q) r). 1. (((p r) (q r)) ((p q) r)) 2. (p r) (q r) 3. ((p q) r) 4. p r 5. q r 6. p q 7. r (hhhh hh (((( ( h ( 11. q 6 8. p 6 PP PP P P P P 12. q 5 9. p 4 10. r 4 13. r 5 cerrado(8,9) cerrado(7,10) cerrado(11,12) cerrado(7,13) 1 1 2 2 3 3
7. ` ((p q) r) ((p r) (q r)).
58
CAPTULO 4. TABLEAUX SEMNTICOS. 1. (((p q) r) ((p r) (q r))) 2. (p q) r 1 3. ((p r) (q r)) 1 ((((hhhhhhh ( h ( (( 11. (q r) 3 4. (p r) 3 12. q 11 5. p 4 13. r 11 6. r 4 XXXX XXXX 14. (p q) 2 10. r 2 17. r 2 7. (p q) 2 15. p 14 cerrado(13,17) 8. p 7 cerrado(6,10) 16. q 14 9. q 7 cerrado(5,8) cerrado(12,16)
8. ` (p q) ((q r) (p r)).
1. ((p q) ((q r) (p r))) 1 1 3 3 5 5
2. p q 3. ((q r) (p r)) 4. q r 5. (p r) 6. p 7. r ``` `` 8. p 2 9. q 2 PPP cerrado(6,8) P 10. q 4 11. r 4 cerrado(9,10) cerrado(7,11)
4.7.2.
Otro ejercicio
1. Construye un tableau completo para A = ((p q) (q p)). Ulilzalo para encontrar un modelo de A. 1. ((p q) (q p)) 2. p q 3. (q p) 4. q 5. p PP P P 6. p 2 7. q 1 1 3 3 2
Este tableau no se cierra. No se puede descomponer ms, luego est completo. Cada rama abierta proporciona un modelo de A = ((p q) (q p)) de hecho, el mismo modelo en las dos ramas. Tomad la rama izaquierda (lneas 16). Hacemos verdadera a q, puesto que q est sin negar en la rama, y p falsa, puesto que p est negada. Esta interpretacin hace verdadera a A (comprubalo!).
59
4.8.
El libro de texto recomendado, por ser introductorio y muy bonito es el de: W. Hodges, Logic Pelican (Penguin), 1997. En los siguientes libros se analiza el mtodo de los tableaux, pero no son tan elementales. M. Fitting, First-order logic and automated theorem proving, Springer Graduate texts in computer science, 1996. R. C. Jerey, Formal logic, its scope and limits, McGraw Hill, New York, 1967. R. M. Smullyan, First-order logic, Springer-Verlag, Berlin, 1968. (edicin revisada, 1994)
60
Parte II
Razonamiento Lgico con diagramas de Venn.
61
Captulo 5
Teora Bsica de Conjuntos.

5.1. Introduccin.
La teora de conjuntos permite la fundamentacin de las matemticas y la lgica modernas. Es tambin una herramienta imprescindible para la fundamentacin de la Informtica, especialmente en los lenguajes de programacin. Asimismo es bsica en la formalizacin de los sistemas de lingstica. La teora de conjuntos contempornea es una disciplina muy reciente, con apenas un siglo de existencia a caballo entre las matemticas y la lgica. Su estudio en profundidad requiere conocimientos amplios de matemticas y de lgica. Nuestro objetivo en este captulo no es tan ambicioso. Aqu se pretende slo presentar las nociones bsicas de la teora: las relativas a los conjuntos y sus operaciones. Con ejemplos y ejercicios sencillos para el manejo de estos conceptos. Tambin vamos a usar esas nociones bsicas de conjuntos para formalizar enunciados sencillos expresados en espaol.
5.2.
Conjuntos
Seguiremos la idea comn de conjunto como una coleccin de objetos, ya que es la ms intuitiva. Es adems la denicin inicial de Cantor (el padre de la teora de conjuntos moderna): un conjunto es cualquier coleccin C de objetos determinados y bien distintos x de nuestra percepcin o nuestro pensamiento (que se denominan elementos de C), reunidos en un todo. Podemos tambin considerar que un conjunto coincide con la la coleccin de objetos que satisface un predicado (la extensin del un predicado).
5.2.1.
Nociones bsicas.
Hay diferentes maneras de especicar un conjunto. La ms comn consiste en el uso de llaves {} para delimitar la coleccin de objetos que forman el conjunto. 63
64
CAPTULO 5. TEORA BSICA DE CONJUNTOS.
Cmo se determina una coleccin? Listando los objetos. De acuerdo con la denicin intuitiva, un conjunto queda denido si es posible describir completamente sus elementos. El procedimiento ms sencillo de descripcin es nombrar cada uno de sus elementos, se llama denicin por extensin; es conocida la notacin de encerrar entre llaves los elementos del conjunto. Ejemplos: {a, b, c}. Es el conjunto formado por la coleccin de objetos a, b y c. {, , , , }. Es el conjunto formado exactamente por esos cinco crculos. El inconveniente para este mtodo de listado o enumeracin de los elementos del conjunto es que stos deben poseer un nmero nito de elementos y, en la prctica, un nmero muy pequeo. Qu hacer cuando la coleccin es innita, o cuando es nita pero numerosa? Describir los objetos. Cuando el nmero de elementos del conjunto es innito (como el de los nmero impares) o demasiado numeroso (como el de todas las palabras que pueden formarse con el alfabeto latino) se utiliza el mtodo de denicin por intensin, que consiste en la descripcin de un conjunto como la extensin de un predicado, esto es, mediante una o varias propiedades (el predicado) que caracterizan a los elementos de ese conjunto. Ejemplo: {n : n es un nmero natural}, aqu la especicacin del conjunto no tiene ninguna ambigedad. Hay variantes de esta notacin como puede ser: {m + n : m y n son dos nmeros enteros}. Un conjunto puede describirse de diferentes maneras ya que una coleccin de objetos puede describirse con diferentes propiedades: {0, 1, 2} = {n : n es un nmero natural menor que 3} {0, 1, 2} = {n : n es un nmero real solucin de x3 3x2 + 2x} Los smbolos bsicos son el de pertenencia y el de igualdad = . Que x es un elemento del conjunto C se expresa x C (x pertenece a C) Dos conjuntos son iguales si tienen los mismos elementos, y por ello un elemento no se lista ms de una vez en un conjunto ({a, b, b, c} = {a, b, c}.
5.2.2.
Ejercicios
Escribe los siguientes conjuntos de la forma {x : P (x)} (a) {Junio, Julio} (b) {Lunes, Martes, Miercoles, Jueves, Viernes} (c) {1, 10, 100, 1000, 10000, ...} (d) {ab, bc, cd, de, ef, f g, ...} (e) {2, 4, 6, 8, 10, 12, ..}
5.2. CONJUNTOS
65
Cardinalidad. El nmero de elementos de un conjunto X se indica |X| y se llama el cardinal de X. Igualdad, inclusin y conjunto vaco. x B es la abreviacin de x no pertenece a B / Inclusin, subconjunto: A B A est incluido en B (A es subconjunto de B), es una abreviacin de todo elemento de A es elemento de B. Inclusin estricta: A B es una abreviacin de que A B y A 6= B. Conjunto vaco: es la notacin para el conjunto que no posee ningn elemento.
5.2.3.
lgebra de conjuntos.
Unin, interseccin, diferencia. Unin. A B = {x : x A o bien x B} Se lee A unin B, y est formado por los elementos que estn en A o en B. Tanto A como B son subconjuntos de A B. Interseccin AB = {x : x A y x B} A interseccin B est formado por los elementos que estn en A y tambin en B. Es un subconjunto de A y tambin de B Diferencia A B = {x : x A y x B} A menos B est formado por / los elementos que estn en A pero no en B Ejemplos: {a, b, c, d} {d, e, f } = {a, b, c, d, e, f } {a, b, c, d, e} {c, d, e, f, g, h} = {c, d, e} {a, b, c, d, e, f } {a, d, f } = {b, c, e} {x : x es mltiplo de 3} {x : x es mltiplo de 5} = {x : x es mltiplo de 15} Dos conjuntos A y B se llaman disjuntos si su interseccin es el conjunto vaco (A B = ), es decir si no tienen ningn elemento en comn. Aqu se ve un ejemplo de la necesidad formal de disponer del conjunto vaco, ya que A B = es una forma no ambigua de expresar esta importante relacin entre conjuntos. Si A y B son disjuntos y si |A| = n y |B| = m entonces |A B| = n + m Conjunto potencia (o conjunto de las partes de un conjunto) Partes de un conjunto. PA = {X : X A} , partes de A est formado por los subconjuntos de A.
66
Ejemplo: P({a, b, c}) = {, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}, {a, b, c}} Obsrvese que tiene 23 elementos. Si |A| = n entonces |PA| = 2n .
5.2.4.
Ejercicios.
Escribe A B, A B, A B, PA y PA B en los casos: (a)A = {a, b, c} y B = {b, c, d, e} (b) A={ a,{ a} } y B={ a,b,{ a,b} } (c) A={ } y B= (d) A={ ,{ } ,{ { } } } y B={ { { } } }
5.2.5.
Universo de individuos.
Normalmente no estamos interesados en todos los conjuntos posibles, sino en una coleccin delimitada de objetos, que constituyen nuestro universo de discurso. En tal caso los conjuntos de los que hablemos sern subconjuntos de dicho universo de discurso; por ejemplo, si estamos haciendo un estudio sociolgico nuestro universo de discurso son seres humanos y si estamos haciendo un estudio geomtrico nuestro universo son puntos. Est claro que el universo de discurso vara en razn del estudio a realizar, pero que para cada caso podemos jar un universo U. Complementario de un conjunto. A = U A. El complemetario de A est formado por todos los elementos que no son de A (pero que son elementos de U.) Comentario 47 El complementario de un conjunto est siempre denido en funcin del universo de discurso, U. Mientras que la unin o diferencia de conjuntos se dene sin necesidad de recurrir al universo de discurso, la del complementario no es absoluta; es decir, requiere que se haya jado previamente el universo.
5.3.
Teoremas fundamentales del lgebra de conjuntos.
En lo que sigue A, B, C son variables que se reeren a conjuntos cualesquiera. Se cumple lo siguiente: Asociatividad: ((A B) C) = (A (B C)) ((A B) C) = (A (B C))
5.4. MS EJERCICIOS SOBRE CONJUNTOS. Commutatividad: (A B) = (B A) (A B) = (B A) Distributividad: ((A B) C) = ((A C) (B C)) ((A B) C) = ((A C) (B C)) Idempotencia: (A A) = A (A A) = A Absorcin: ((A B) A) = A ((A B) A) = A
67
Fijemos un dominio U. Ahora podemos denir complementarios. Los conjuntos de los que hablemos sern subconjuntos del universo o dominio. Leyes de De Morgan: (A B) = ( A B) (A B) = ( A B) Doble negacin: A A Cero y Uno Tomemos : y U (el cero y el uno): (A U) = A (A ) = (A U) = U (A ) = A
5.4.
Ms ejercicios sobre Conjuntos.
Los ejercicios que siguen son muy fciles ya que no se pide demostrar nada, sino elejir la respuesta acertada. Por tratarse de ejercicios que pueden resolverse apelando slo a las deniciones, esta evidente limitacin no es tan dramtica. Si este fuera un curso de teora de conjuntos, el planteamiento sera muy distinto. EJERCICIO 1. En cada uno de los ejercicios siguientes contesta si (marcando con una cruz en (a)) cuando sea cierto para todos los conjuntos A, B, C. Marcar (b) es contestar que no. 1. Si A B = entonces A B 2. Si A B y B = C entonces A C 3. A PA
68
4. AU B A entonces B = . 5. Si A B entonces A B = a 1 2 3 4 5 EJERCICIO 2. En cada uno de los ejercicios siguientes contesta si (marcando con una cruz en (a)) cuando sea cierto para todos los conjuntos A, B, C. Marcar (b) es contestar que no. 1. Si A B = entonces A B 2. Si A {B} y B {C} entonces A {C} 3. Si A B A entonces A = 4. Si AU B A entonces B = . 5. Si A B y B C 6. Si A B 7. A PA a 1 2 3 4 5 6 7 EJERCICIO 3. Sea A = {{} , a, {b, c} {a}}, son verdaderas las siguientes armaciones? 1. {} A 2. {a, {a}} A 3. {A} PA b y CB entonces A = C entonces A B = B b
5.4. MS EJERCICIOS SOBRE CONJUNTOS. 4. {, a} A 5. {{} , {b, c}} PA 6. {{} , {a}} A 7. A A 8. {b, c} A 9. {} PA 10. {A} PA a 1 2 3 4 5 6 7 8 9 10 b
69
EJERCICIO 4. En cada uno de los siguientes ejemplos elegid la (o las) respuestas acertada. 1. A = {1, 2, 3, {1}} 2. A = B = PA A = {1} B= B = {h1, 2i} 3. B = {A, {A}} 4. A = {1, 2} 6. A = B B 7. A = B {} 1 2 3 4 5 6 7 AB B = {1, {1}}
5. A = {h1, 2i , h2, 1i}
B = {1, 2, 3, 4} B = {1, 2, 3} AB {A} B BA f
A {B}
70
CAPTULO 5. TEORA BSICA DE CONJUNTOS. (f) Ninguna de stas.
EJERCICIO 5 En cada uno de los siguientes ejemplos elegid la (o las) respuestas acertada. 1. A = {1, {1} , 2, 3} 2. A = B=A B= 3. A = {2, {2}} 4. A = A B 5. A = {1} B = {{1}} 6. A = AB (donde AB = (A B) (B A)) 7. A {B} a 1 2 3 4 5 6 7 (a) A B pero A * B (b) B A y B A (c) A B pero A B (d) / A B (e) B A (f) Ninguna de stas. b c d e f B = {1}
5.5.
Espaol en Teora de Conjuntos.
Vamos a utilizar el lenguaje de la teora de conjuntos para formalizar en l enunciados sencillos. Slo formalizaremos enunciados en donde se utilicen exclusivamente predicados monarios. Puesto que no hay una forma automtica de traducir el espaol al lenguaje de conjuntos lo veremos con algunos ejemplos.
5.5.1.
Ejemplos.
EJEMPLO 1.- En cada uno de los siguientes ejemplos elegiremos una formalizacin adecuada. Por supuesto, dicha formalizacin no es nica y tambin pondremos alternativas (al menos las ms evidentes). Como clave de formalizacin usad la inicial de las palabras. 1. Las raposas no son salmanquesas. R S tambin R S = 2. Todos los ruidosos estn sordos. R S tambin R S =
5.5. ESPAOL EN TEORA DE CONJUNTOS. 3. Algunos saltamontes son radioactivos. R S 6= tambin R * S 4. Algunos nios respetuosos no saludan. R S 6= 5. No todos los reptiles son serpientes. R * S tambin R S 6= 6. No todos los remeros son silenciosos. R S 6= tambin R * S 7. Algunos no rebuznan, pero silban. R S 6= tambin R S 6=
71
EJEMPLO 2.- En cada uno de los siguientes ejemplos elegiremos la (o las) respuesta acertada. (Utlizaremos los relatores R y S; es decir, las claves de formalizacin son las iniciales.) 1. Ningn renacuajo es un saltamontes. 2. Todo son refranes o sermones. 3. No todos los que repiten saben. 4. Algunos no son sacristanes o no son racistas. 5. Los roedores no todos son simpticos. 6. Todos los radicales son solemnes. 7. Ningn rebelde es siltico. 1 2 3 4 5 6 7 RS R*S F F F (R S) = F F F (R S) 6= RS = F f
Ninguna. EJEMPLO 3.- Elegiremos la formalizacin adecuada. Como claves de formalizacin usaremos las indicadas entre parntesis. 1. El hombre (H) es el nico animal (A) que tropieza dos veces en la misma piedra (T ) 2. Los tigres (T ) y los armadillos (A) huyen del fuego (H). 3. Slo los tontos (T ) y los analfabetos (A) hacen quinielas (H).
72
4. Los huracanes (H) arrancan los rboles (A) y tumban las casas (T ). 5. Ningn tiburn (T )est seguro de su buena preparacin (A) a menos que tenga tres las de dientes (H). 6. Ningn animal (A) sin cuernos (H) puede lanzarlo a uno contra una puerta (T ). H T A T AH F F H T A F F F T AH F T H A f
1 2 3 4 5 6
f. Ninguna.
5.5.2.
Ejercicios.
Para poner en prctica lo aprendido os propongo los siguientes ejercicios: EJERCICIO 1. En cada uno de los siguientes ejemplos elegid su representacin en teora de conjuntos. 1. Algunos asesinos (D) no tienen remordimientos (B). 2. Los conejillos de indias (C) son desesperadamente ignorantes en cuestiones musicales (D). 3. Nadie que sea desesperadamente ignorante en cuestiones musicales (D) guarda nunca silencio cuando se est interpretando la sonata Claro de Luna (S). 4. Algunos conejillos de indias (C) no aprecian a Beethoven (B) 5. Todos los asesinos (D) tienen remordimientos (B). 6. Algunos asesinos no son mentirosos (C). 7. Nadie que aprecie realmente a Beethoven (B) deja nunca de guardar silencio cuando se est interpretando la sonata Claro de Luna (S). 1 2 3 4 5 6 7 B C 6= (B D) 6= C D = BS D S f
5.5. ESPAOL EN TEORA DE CONJUNTOS.
73
EJERCICIO 2. En cada uno de los siguientes ejemplos elegid su representacin en teora de conjuntos (Al formalizar, usad las iniciales de las palabras). 1. Slo las algas y los batracios crecen en aquel lugar. 2. Todos estn alicados y bizquean notoriamente. 3. Los asesinos no estaban borrachos. 4. Los asesinos toman caf. 5. Algunos borrachos toman caf. 6. Algunos asesinos toman caf. 7. Los alicantinos y los barceloneses son unos cabezotas. 1 2 3 4 5 6 7 A C 6= B A = A C = C AB AB C f
EJERCICIO 3.- En cada uno de los siguientes ejemplos elegid su representacin en teora de conjuntos. 1. Un pez (P ) que no sea capaz de bailar un minuto (B) es despreciable (D). 2. Los conejillos de indias (C) son desesperadamente ignorantes en cuestiones musicales (D). 3. Ningn pez despreciable puede bailar un minuto. 4. Ninguna rana (B) es potica (C). 5. Algunos nades (D) estn desprovistos de poesa. 6. Ningn ocial (D) declina nunca una invitacin a bailar el vals (B). 7. Algunos nades (D) no son ranas (B). 1 2 3 4 5 6 7 P D B C D = P B D CD = D B = f
74
5.6.
Libros de Tera de Conjuntos hay muchos, aunque a este nivel tan elemental no conozco ninguno. Tal vez lo ms elemental que conozco sean los tres captulos del libro de lgica de Suppes Suppes [1972] Lgica simblica. CECSA. Mxico. Mis favoritos son Enderton [1977] Elements of Set Theory. Academic Press. New York Devlin [1997] The Joy of Sets. Springer Verlag. New York Muchos de los ejercicios son del libro de Carroll Carrol [1972] El juego de la lgica. Alianza Editorial. Madrid
Captulo 6
Diagramas de Venn.
6.1. lgebra de conjuntos con diagramas de Venn.
Los diagramas de Venn son una buena alternativa didctica para la representacin de conjuntos y los enunciados que expresan relaciones entre ellos. La forma habitual de hacerlo es trazar un rectngulo que representa el universo de discurso y dentro de l guras cerradas (normalmente crculos o elipses) que representan los conjuntos. As para representar los conjuntos abstractos A, B y C usaremos este diagrama:
En este diagrama aparecen delimitadas ocho zonas marcadas con nmeros. Dichas zonas corresponden a los siguientes conjuntos:
Zona Zona Zona Zona
1. 2. 3. 4.
A (B C) (A B) C ABC B (A C)
Zona Zona Zona Zona
5. 6. 7. 8.
(A C) B (B C) A C (A B) (A B C) 75
76
CAPTULO 6. DIAGRAMAS DE VENN.
Figura 6.1: Los elementos de A pueden estar en 1, 2, 3 o 5. Los elementos de B en 2,3 4 o 6, etc. En 8 estn los elementos del universo que no estn en ninguno de los conjuntos A, B, C. En principio trazaremos dichas guras de forma que tengan zonas comunes y la informacin adicional que los enunciados nos suministren la llevaremos al diagrama usando estas convenciones: 1. Sombrearemos en el diagrama las zonas vacas. 2. Usaremos cruces entrelazadas para indicar la existencia de elementos en una zona. 3. Las zonas de las que carecemos de informacin permanecern sin sombras ni cruces.
De esta forma el diagrama contendr no slo a las guras que representan conjuntos, sino tambin a las expresiones algebraicas que nos dicen qu relacin guardan entre s los conjuntos representados.
6.1.1.
Ejemplos
Esto lo veremos con unos cuantos ejemplos. EJEMPLO 1.- Para expresar en el diagrama que Q P sombrearemos en el diagrama Q P. EJEMPLO 2.- Para indicar en el diagrama que (P Q) 6= pondremos una pequea marca en todas aquellas zonas que constituyen (P Q) y uniremos estas marcas entre s. La razn es que sabemos que fuera de P Q hay al menos un elemento, pero no sabemos exactamente donde.
6.1. LGEBRA DE CONJUNTOS CON DIAGRAMAS DE VENN.
77
EJEMPLO 3.- Por supuesto, un mismo diagrama corresponde a diversas expresiones conjuntistas equivalentes. As a las cinco expresiones conjuntistas que siguen les corresponde el mismo diagrama, como vemos en la gura:
(1) (2) (3) (4) (5)
P Q P Q=U (P Q) = P Q) = QP
EJEMPLO 4.- De forma similar al ejemplo anterior, las expresiones conjuntistas siguientes tienen una misma representacin en un diagrama, como vemos en la gura:
(1) P Q = (2) P Q (3) Q P
6.1.2.
Diagramas consistentes e inconsistentes.
Usando los diagramas es fcil ver qu conclusiones se pueden extraer de los datos obtenidos de dos o ms diagramas. Lo que haremos es superponer los diagramas de dichos datos y analizar el resultado. Decimos que un diagrama es inconsistente cuando aparecen sombreados y cruces entrelazadas y al menos para un entrelazado sucede que cada cruz del mismo est sombreada. Naturalmente, el diagrama es consistente en el resto de los casos. Es decir, no hay cruces y entrelazados coincidentes o ninguno de los entrelazados est completamante sombreado.
6.1.3.
Ejemplos
Lo veremos con algunos ejemplos.
78
EJEMPLO 1.- Si sabemos que Q P (vase el anterior EJEMPLO 1. ) y que P Q = (vase el anterior EJEMPLO 4.), conclumos que Q = . Grcamente este resultado lo obtenemos superponiendo los diagramas anteriores.
Este diagrama es consistente, llegar a la conclusin de que un conjunto es vaco no es ninguna contradiccin. EJEMPLO 2.- Si sabemos que Q P y que (P Q) 6= (vase el anterior EJEMPLO 3), al superponer los diagramas obtenemos este otro:
Este diagrama tampoco es inconsistente, Ahora sabemos que Q 6= (que es ms especco e informativo que (P Q) 6= ). Por supuesto, Q P se sigue manteniendo. EJEMPLO 3.- Al superponer los diagramas del EJEMPLO 2 y del 4 obtenemos el diagrama siguiente:
6.1. LGEBRA DE CONJUNTOS CON DIAGRAMAS DE VENN.
79
Ahora sabemos que P M Q 6= y que P Q. Tampoco este diagrama es inconsistente. EJEMPLO 4.- La superposicin de los diagramas correspondientes a P 6= , P Q y P Q es inconsistente.
P 6= El resultado nal es el siguiente:
P Q
P Q
Diagrama nal Este diagrama nal es inconsistente: no es posible que haya y no haya a un tiempo elementos en una zona.
6.1.4.
Modelos que satisfacen diagramas.
En un diagrama de Venn hay una representacin abstracta de los conjuntos y sus relaciones, pero siempre que el diagrama sea consistente podemos construir realizaciones o modelos de lo representado en el diagrama. A un mismo diagrama le corresponden innitas realizaciones o modelos. Lo que haremos es especicar un universo U y denir en l los conjuntos, respetando la informacin suministrada por el diagrama; dejamos sin elementos las zonas sombreadas y situamos a nuestro antojo elementos en las zonas con cruces,.en las zonas sin cruces ni sombras podemos poner elementos o no ponerlos.
6.1.5.
Ejemplos
La mejor manera de verlo es mediante ejemplos sencillos.
80
EJEMPLO 1.- En los cuatro apartados que siguen pondremos algunos modelos de este diagrama.
1. U = {1, 2, 3} 2. U = {1, 2, 3}
P = {1, 2} Q = {2} P = Q= P = {n : n es un nmero par} Q =
3. U = {n : n es un nmero natural} Q = {n : n es mltiplo de cuatro} 4. U = {x : x es un pas} {Espaa, Italia}
P = {x : x es un pas mediterrneo}
EJEMPLO 2.- En los cuatro apartados que siguen pondremos modelos de este diagrama.
1. U = {1, 2, 3} 2. U = {1, 2, 3}
P = {1} Q = {2} P = Q= P = {Juan, Pedro} Q=
3. U = {Juan, Pedro, Marta, Rodrigo}
4. U = {x : x es un pas} P = {Francia, Holanda} Q = {Espaa, Italia} EJEMPLO 3.- En los cuatro apartados que siguen pondremos modelos de este diagrama. 1. U = {1, 2, 3} P = {1, 2} Q = {3}
6.2. EXPRESIONES EN ESPAOL CORRESPONDIENTES A UN DIAGRAMA.81
Figura 6.2: 2. U = {1, 2, 3} P = Q = {1, 2, 3} P = {x : x es un nmero par} Q= Q =
3. U = {x : x es un nmero natural} {x : x es un nmero impar}
4. U = {x : x es un ser vivo} P = {x : x tiene 10 aos o menos} {x : x tiene ms de siete aos}
EJEMPLO 4.- En los cuatro apartados que siguen pondremos modelos de este diagrama.
1. U = {1, 2, 3} 2. U = {1, 2, 3}
P = {1, 2} Q = {3} P = Q = {1}
3. U = {x : x es un nmero natural} P = {x : x es un divisor de 24} Q = {x : x es un divisor de 91} 4. U = {x : x es un ser vivo} P = {x : x tiene 10 aos o menos} {x : x tiene ms de diez aos} Q =
6.2.
Expresiones en espaol correspondientes a un diagrama.
Nosotros formalizbamos en Teora de Conjuntos algunas expresiones del espaol. Puesto que a las expresiones de Teora de Conjuntos las representa-
82
mos con diagramas, podemos tambin adjudicar directamente diagramas a los enunciados del espaol.
6.2.1.
Ejemplos
Ejemplo 1.- Todas las expresiones que siguen pueden formalizarse en Teora de Conjuntos como P Q. Por consiguiente a todas ellas les corresponde el mismo diagrama, el que aparece en la gura: 1. Todas las avispas (P ) son hoscas (Q). 2. Los nios (P ) dicen la verdad (Q). 3. Ningn nio miente. 4. Son los apodos (P ) sutilezas prontas (Q). 5. Nadie entraba en la academia de Platn (P ) a menos que supiese geometra (Q). 6. Nadie era verdadero revolucionario (P ) a menos que fuera anti-stalinista (Q). 7. El perro (P ) es un buen amigo del hombre (Q).
EJEMPLO 2.- Todas las expresiones que siguen pueden formalizarse en Teora de Conjuntos como P Q = . Por consiguiente a todas ellas les corresponde el mismo diagrama, el que aparece en la gura: 1. Ningn pas que haya sido explorado (P ) est infestado de dragones (Q). 2. Los pases explorados no estn infestados de dragones. 3. Los pases infestados de dragones estn sin explorar. 4. No hay crculos (P ) cuadrados (Q).
6.3. RAZONAMIENTOS CON DIAGRAMAS.
83
Figura 6.3:
6.3.
Razonamientos con diagramas.
En este apartado veremos que los diagramas pueden usarse no solamente para representar enunciados, sino tambin como un procedimiento de prueba. Es decir, podemos vericar si un razonamiento es o n correcto utilizando diagramas. Se tratar sencillamente de superponer diagramas y comprobar si el diagrama resultante es o no consistente. El procedimiento es como sigue: En diagramas separados representaremos las hiptesis. En otro diagrama representamos la negacin de la conclusin del razonamiento. Unicamos en un mismo diagrama tanto los de las hiptesis como el de la negacin de la conclusin. Comprobamos si el diagrama resultante es consistente o inconsistente. Caso de ser inconsistente, conclumos que el razonamiento es correcto Caso de ser consistente, denimos un modelo del diagrama. Se trata de un procedimiento de prueba refutativo. Un razonamiento es correcto cuando no podemos imaginar ninguna situacin en la que las hiptesis del razonamiento sean verdaderas y la conclusin sea falsa; es decir, cuando el conjunto formado por las hiptesis y la negacin de la conclusin sea inconsistente. Nosotros trasladamos a diagramas tanto las hiptesis como la negacin de la conclusin y lo que tenemos que vericar es que ello resulta en un diagrama inconsistente. Si al llevar al diagrama tanto las hiptesis como la negacin de la conclusin el diagrama resulta consistente, podemos denir con su ayuda un modelo en donde las hiptesis del razonamiento sean verdaderas y la conclusin falsa; de esta forma encontramos un contraejemplo para rebatir la argumentacin propuesta.
84
6.3.1.
Ejemplos
Lo veremos con algunos ejemplos: EJEMPLO 1.- Mediante diagrmas de Venn determinamos si es correcto el razonamineto siguiente. Hiptesis 1.- J R 6= Hiptesis 2. E J = Conclusin. (J R) E 6=
Hiptesis 1.
Hiptesis 2.
Conclusin negada
Consistente Inconsistente F Correcto F Razonamiento Incorrecto Diagrama Diagrama nal. EJEMPLO 2.- Mediante diagrmas de Venn determinamos si es correcto el razonamiento siguiente. Hiptesis 1.- A H Hiptesis 2. H B Conclusin. A B =
Hiptesis 1.
Hiptesis 2.
Conclusin negada
85
Consistente Inconsistente F Correcto F Razonamiento Incorrecto Diagrama Digrama nal. EJEMPLO 3.- Mediante diagrmas de Venn determinamos si es correcto el razonamineto siguiente. Hiptesis 1.- L F Hiptesis 2. L C 6= Conclusin. C F 6=
Hiptesis 1.
Hiptesis 2.
Conclusin negada
Consistente F Inconsistente Correcto Razonamiento Incorrecto F Diagrama Digrama nal. Puesto que el diagrama nal es consistente, construmos un modelo que cumpla las especicaciones del mismo. U = {a, b, c} F = {a, b, c} C = {a, b} L = {a, c} Se observa que en este modelo se cumplen las hiptesis, pues: (1) {a, c} = L F = {a, b, c} (2) {a, c} {c} = {c} 6= (L C 6= ) Pero la conclusin (C F 6= ) falla, pues: {a, b} =
86
6.3.2.
Ejercicios
Para practicar lo aprendido, os propongo los ejercicios siguientes. EJERCICIO 1. Mediante diagramas de Venn determinad si el razonamiento siguiente es correcto: Hiptesis 1. Ninguna rana (A) es potica (B). Hiptesis 2. Algunos nades (C) estn desprovistos de poesa. Conclusin. Algunos nades no son ranas.
Hiptesis 1.
Hiptesis 2.
Conclusin negada.
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama Digrama nal. EJERCICIO 2. Mediante diagramas de Venn determinad si el razonamiento siguiente es correcto: Hiptesis 1. Los asesinos (A) no estaban borrachos (B). Hiptesis 2. Los asesinos toman caf (C). Conclusin. Algunos borrachos toman caf.
Hiptesis 1.
Hiptesis 2.
Conclusin negada.
87
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama Digrama nal.
EJERCICIO 3. Decidid mediante diagramas si el siguiente argumento es correcto: Hiptesis 1. Ningn radical (A) es optimista (B) Hiptesis 2. Ningn optimista es solemne (C). Conclusin. Todos los radicales son solemnes.
Hiptesis 1.
Hiptesis 2.
Conclusin negada.
Consistente Inconsistente Valido Razonamiento Invlido Diagrama Digrama nal.
EJERCICIO 4.- Decidid mediante diagramas si el siguiente argumento es correcto: Hiptesis 1. Todos los racistas (A) son violentos (B). Hiptesis 2. Algn sacristn (C) no es violento. Conclusin. Algn sacristn no es racista.
88
Hiptesis 1.
Hiptesis 2.
Conclusin negada.
Consistente Inconsistente Valido Razonamiento Invlido Diagrama Digrama nal.
6.4.
Lgica de relatores monarios y diagramas de Venn.
En la parte que sigue de este curso veremos que la lgica proposicional no es sucientemente expresiva, que muchos razonamientos claramente correctos no son captados por ella y que esto se debe a que el anlisis realizado es demasiado pobre ya que slo intervienen los conectores. En la bsqueda de un lenguaje ms expresivo y verstil que el de la lgica proposicional podemos pasar directamente al de la lgica de primer orden o hacer una escala intermedia en el de la lgica de predicados monarios (LPM). Puesto que esta lgica est ntimamente relacionada con el lgebra de conjuntos que acabamos de ver, vamos a indicar brevemente en qu consiste la lgica de predicados monarios y cmo podemos utilizar los diagramas de Venn como procedimiento de prueba, tambin en los casos en que dichos razonamientos se expresen en LPM. Un lenguaje formal consta de un alfabeto bsico y de unas reglas precisas de formacin de frmulas. Nosotros utilizaremos distintos lenguajes de primer orden, dependiendo del uso que queramos darle. El lenguaje de la lgica de predicados monarios slo tiene esta clase de predicados como signos especcos.
6.4.1.
Alfabeto.
El alfabeto de un lenguaje cualquiera, L, de lgica de primer orden de predicados monarios contiene dos tipos de signos: los comunes a todos los lenguajes de primer orden y los que son peculiares de este lenguaje de primer orden. Entre
6.4. LGICA DE RELATORES MONARIOS Y DIAGRAMAS DE VENN.89 los primeros estn los conectores, los cuanticadores y las variables individuales. Entre los segundos estn los relatores monarios. Nosotros usamos , , , , como conectores, y como cuanticadores y las letras x, y, z, u, v, w, x0 , x1 , x2 ,..., y0 , y1 , y2 , ... como variables individuales. Tambin, como signos impropios utilizaremos parntesis: ), (. Un lenguaje L(R) concreto contiene adems un conjunto R de relatores monarios. Usaremos R, S, T , R0 , R1 , R2 ,... como relatores monarios.
6.4.2.
Trminos y Frmulas.
Las frmulas y los trminos de L se construyen siguiendo unas sencillas reglas de formacin. Dichas reglas extraen del conjunto de las de signos del alfabeto a aquellas a las que llamamos trminos y frmulas. Denicin 48 El conjunto de los trminos de L (al que llamamos TERM(L(R)), o simplemente TERM) es el conjunto de sus variables. Denicin 49 El conjunto de las frmulas de L (al que llamamos FORM(L(R)), o simplemente FORM, cuando est claro por el contexto) es el menor conjunto que se puede generar a partir de las reglas siguientes: F1.- Si es un trmino, R es una frmula. F2.- Si A y B son frmulas, tambin lo son: A, (AB), (AB), (A B), (A B) F3.- Si A es una frmula, tambin lo son: xA y xA. TERM x, y, z, ... CONECT , , , FORM ATOM Rx A xA C (C B) B
REL R
CUANT
Denicin 50 Llamamos expresiones de L al conjunto formado por los trminos y las frmulas de L; es decir, EXPR = TERM FORM Comentario 51 Advirtase que tal y como hemos denido el conjunto de frmulas, como el menor conjunto que cumple las reglas F1 a F3, si un conjunto Q cumple las mencionadas reglas, entonces FORM(L) Q , lo que signica que todas las frmulas estn en dicho conjunto.
90
Denicin 52 Llamamos frmulas atmicas a las obtenidas mediante la regla F1. Denicin 53 Forma lgica: Las frmulas obtenidas mediante las reglas F3 y F3 reciben las denominaciones siguientes: Forma lgica A (A B) (A B) (A B) (A B) xA xA Denominacin negacin conjuncin disyuncin condicional bicondicional generalizacin particularizacin
6.4.3.
Ejemplos de frmulas bien formadas, indicando su forma lgica.
1. Frmulas atmicas: Sx, Ry, ... 2. Negaciones: a) Sx
b) (x(Gx Cx) yRy) c) xSx
d) x(Rx Sx) 3. Conjunciones: a) xF x Sx
e) x(F x yGy).
b) x(zF z Rx) Sx
d) x(Gx Cx) (xF x xGx) 4. Disyunciones: a) F x xy(Cx (P y Ay)) 5. Condicionales: a) x(M x F x) x(Gx F x)
c) x(Gx Hx) x(Hx F x)
b) x(Cx y(P y Ay)) x(Gx M x)
b) x((P x Rx) F x) x(Gx T x)
6.5. ESPAOL EN LGICA DE PREDICADOS MONARIOS. c) x((Sx Lx) F x) Bx. 6. Bicondicionales: a) x((Rx Bx) Cx) x(Gx Cx)
91
b) x((Rx Bx) Gx) x((Sx M x) y((Gy M y) Dy) Cx)
7. Generalizaciones: a) x((Gx Dx) (M x y((Gy M y) Dy))) b) x(y((Sx M x) ((Gy Dy) M y)) Cx) 8. Particularizaciones: a) x(Gx (P x Rx)) b) x(F x T x) c) x((P x Rx) F x)
d) yx(Gx T y)
6.5.
Espaol en Lgica de predicados monarios.
Los enunciados que vamos a formalizar en esta lgica sern todos muy simples, de forma que las frmulas utilizadas slo precisen un cuanticador y una sola variable. Como en ocasiones anteriores, la formalizacin es siempre la parte ms resbaladiza pues no hay una forma automtica de hacerlo.
6.5.1.
Ejemplos y ejercicios
Lo veremos con algunos ejemplos y ejercicios: EJERCICIO 1.- En cada uno de los siguientes ejemplos elegid la formalizacin adecuada. Como clave de formalizacin usad la inicial de las palabras. 1. Las raposas no son salmanquesas. 2. Todos los ruidosos estn sordos. 3. Algunos saltamontes son radioactivos. 4. Algunos nios respetuosos no saludan. 5. No todos los reptiles son serpientes. 6. No todos los remeros son silenciosos. 7. Algunos no rebuznan, pero silban.
92 a) x(Rx Sx)
b) x(Rx Sx)
d) x(Rx Sx) f ) Ninguna.
c) x(Rx Sx)
e) x(Rx Sx) a 1 2 3 4 5 6 7 F b F c d F e f
F F F
La formalizacin adecuada a (7) es: x(Rx Sx) EJERCICIO 2.- En cada uno de los siguientes ejemplos elegid la (o las) respuesta acertada. (Utlizad los relatores R y S las claves de formalizacin son las iniciales.) 1. Ningn renacuajo es un saltamontes. 2. Todo son refranes o sermones. 3. No todos los que repiten saben. 4. Algunos no son sacristanes o no son racistas. 5. Los roedores no todos son simpticos. 6. Todos los radicales son solemnes. 7. Ningn rebelde es siltico. a) x (Rx Sx) c) x (Rx Sx)
b) x(Rx Sx)
d) x (Rx Sx) e) x (Rx Sx) f ) Ninguna.
6.5. ESPAOL EN LGICA DE PREDICADOS MONARIOS. a 1 2 3 4 5 6 7 b c d e f
93
EJERCICIO 3.- En cada uno de los siguientes ejemplos elegid la (o las) respuesta acertada. (Utlizad los relatores R y S; las claves de formalizacin son las iniciales.) 1. No todos los republicanos son socialistas. 2. Algunos rumiantes son silenciosos. 3. Todos estiman a Russell o a Scrates. 4. Algunos no saben ni ruso ni sueco. 5. Los reptiles estn sucios. 6. Todos los ruidosos estn sordos. 7. Ningn ruso es sueco. a) x(Rx Sx)
b) x(Rx Sx) c) x(Rx Sx)
d) x(Rx Sx) e) x(Rx Sx) f ) Ninguna.
a 1 2 3 4 5 6 7
EJERCICIO 4.- Elegid la formalizacin adecuada. Como relatores monarios usad los indicados entre parntesis.
94
1. El hombre (H) es el nico animal (A) que tropieza dos veces en la misma piedra (T ) 2. Los tigres (T ) y los armadillos (A) huyen del fuego (H). 3. Slo los tontos (T ) y los analfabetos (A) hacen quinielas (H). 4. Los huracanes (H) arrancan los rboles (A) y tumban las casas (T ). 5. Ningn tiburn (T )est seguro de su buena preparacin (A) a menos que tenga tres las de dientes (H). 6. Ningn animal (A) sin cuernos (H) puede lanzarlo a uno contra una puerta (T ). a) b) c) d) e) f) x(Hx (T x Ax)) x((T x Ax) Hx) x ((T x Ax) Hx) x((T x Ax) Hx) x((T x Hx) Ax) Ninguna. a 1 2 3 4 5 6 b c d e f
6.6.
Semntica.
Para interpretar frmulas del lenguaje de primer orden debemos explicitar nuestro dominio de cuanticacin y precisar cmo interpretamos los relatores del lenguaje. El concepto fundamental que vamos a introducir es el de verdad en una estructura. A partir de l se dene el de consecuencia.
6.6.1.
Modelos
Usaremos letras maysculas de tipo gtico (o similar) para referirnos a modelos. D E A es una estructura adecuada para L(R) syss A = A, RA , donde: 2. Para cada relator R R su interpretacin, RA , es un subconjunto del universo; es decir, RA A
1. A 6= es el universo o dominio de la estructura. (A debe ser un conjunto no vaco.)
6.6. SEMNTICA.
95
D E Las frmulas de L(R) se interpretan en un modelo A = A, RA compuesto de un universo y de una serie de relaciones monarias denidas sobre el universo. Dada A las sentencias son verdaderas o falsas en A. La idea es bastante simple: los relatores del lenguaje formal se interpretan como los conjuntos destacados en la estructura. Las frmulas atmicas se interpretan de modo conjuntista; es decir, la frmula Rx ser verdadera en A siempre que x RA (no sabremos si es verdadera o falsa hasta que no sepamos interpretar variables). La cuanticacin se interpreta restringida al universo de la estructura; por ejemplo, xRx ser verdadera en un modelo A si RA es todo el universo del modelo, x(Rx Sx) es verdadera en A = A, RA , S A siempre que .RA S A Para establecer el valor de verdad de una frmula cualquiera necesitamos previamente asignar valores a las variables; as, cuando sepamos cmo se interpreta la variable x, sabremos si Rx es verdadera o falsa en la estructura A con la asignacin considerada. Basada en esa asignacin se establece el valor de verdad de una frmula cualquiera. ASIGNACIN Una asignacin es una funcin F que otorga un elemento del universo a cada variable; es decir, F : V AR A ASIGNACIN VARIANTE Dada una asignacin cualquiera, F, una variable, x, y un individuo del unix verso de la estructura, x, denimos Fx de la siguiente manera:
x Fx = (F {hx, F (x)i}) {hx, xi}
6.6.2.
Interpretacin de L.
Esta asignacin coincide con la asignacin F en todo, excepto, tal vez, en el valor de la variable x. En la asignacin variante ese valor es x, mientras que en la asignacin original poda ser cualquier elemento de A. INTERPRETACIN Dada una estructura A y una asignacin F denimos una interpretacin I , I = hA, F i , extendiendo la funcin F de forma que otorgue un valor de verdad (0: falso, 1: verdadero) a cada frmula del lenguaje formal L; es decir, I :EXPR(L) A {0, 1} tal que I[FORM(L)] = {1, 0} Notacin 54 Dada una interpretacion I = hA, F i y una asignacin variante x x Fx , escribiremos Ix para designar a la interpretacin hA, Fx i. x
96
Denicin 55 Denimos ahora la interpretacin de trminos y frmulas. T1. Para cada variable individual x, la interpretacin viene determinada por la asignacin; es decir, I(x) = F (x) F1. Para cada frmula atmica Rx, la interpretacin es as: I(Rx) = 1 syss I(x) R A F3. Los conectores reciben la interpretacin habitual: 1. Una frmula negada es verdadera cuando la frmula es falsa y falsa cuando es verdadera. I(C) = 1 syss I(C) = 0 2. Una conjuncin es verdadera cuando ambas frmulas lo son I(C D) = 1 syss I(C) = 1 y I(D) = 1
3. Una disyuncin es verdadera si al menos una de las frmulas lo es I(C D) = 1 syss I(C) = 1 o I(D) = 1 4. Un condicional slo es falso cuando el antecedente es verdadero y el consecuente falso, es verdadero en todos los dems casos I(C D) = 1 syss I(C) = 0 o I(D) = 1 5. Un bicondicional es verdadero cuando las dos frmulas son simultneamente verdaderas o falsas I(C D) = 1 syss I(C) = I(D) F4. Las frmulas cuanticadas reciben la siguiente interpretacin: 1. Una generalizacin es verdadera cuando lo es para cada elemento del universo I(xC) = 1 syss para cada a A :Ia (C) = 1 x 2. Una particularizacin es verdadera cuando lo es para algn miembro del universo I(xC) = 1 syss existe un a A tal que:Ia (C) = 1 x
6.7. CONCEPTOS CLAVE.
97
6.6.3.
Ejemplos
Lo veremos con algunos ejemplos. EJEMPLO 1.- La frmula x(Rx Sx) es verdadera en el modelo A = A.RA , S A donde A = {1, 2, 3} , RA = {1, 2} y S A = {2, 3} . En realidad lo ser en todo modelo en donde A = RA S A EJEMPLO 2.- La frmula x(Rx Sx) es verdadera en el modelo A = A.RA , S A donde A = {1, 2, 3} , RA = {1, 2} y S A = {3} . En realidad lo ser en todo modelo en donde RA S A = EJEMPLO 3.- La frmula x(Sx Rx) es verdadera en el modelo A = A.RA , S A donde A = {1, 2, 3} , RA = {1, 2} y S A = {1} . En realidad lo ser en todo modelo en donde RA S A EJEMPLO 4.- La frmula x(Rx Sx) es verdadera en el modelo A = A.RA , S A donde A = {1, 2, 3} , RA = {1, 2} y S A = {3} . En realidad lo ser en todo modelo en donde RA S A 6=
6.7.
Conceptos clave.
Aqu denimos los conceptos de satisfacibilidad de una frmula y de un conjunto de frmulas, e introducimos la relacin de consecuencia y su negacin (la de independencia). El concepto de validez se reducir al de consecuencia (del conjunto vaco de frmulas). Tambin, como cuestin terminolgica, diremos que una interpretacin I es un modelo de una frmula (o de un conjunto de frmulas) en el caso en que la interpretacin satisfaga a la frmula (o a cada una de las frmulas del conjunto). SATISFACIBILIDAD E INSATISFACIBILIDAD Denicin 56 Una frmula C es satisfacible syss hay una interpretacin I tal que I(C) = 1. (tambin diremos que I satisface a la frmula C o tambin, que I es modelo de la frmula C. Es corriente escribir I |= C para indicar que I es modelo de C.) Denicin 57 Un conjunto de frmulas es satisfacible syss hay una interpretacin I tal que I(G) = 1 para cada frmula G . (Decimos que I satisface al conjunto ; o tambin, que I es modelo de . Es corriente escribir I |= para indicar que I es modelo de .) Comentario 58 Si el conjunto de frmulas es nito, = {G1 , G2 , ..., Gn }, es satisfacible syss G1 G2 ... Gn es satisfacible. Comentario 59 El concepto intuitivo correspondiente es, como habreis adivinado, el de coherencia, o compatibilidad de creencias. Comentario 60 Denimos insatisfacible como no satisfacible.
98
VALIDEZ, CONSECUENCIA E INDEPENDENCIA. Denicin 61 Una frmula C es consecuencia de un conjunto de frmulas -y escribimos |= C - syss todo modelo de lo es tambin de C; es decir, toda interpretacin que hace verdadera a cada frmula de , hace verdadera a C. Denicin 62 Una frmula C es vlida -y escribimos |= C - syss |= C ; es decir, toda interpretacin hace verdadera a C. Denicin 63 Una frmula C es independiente de un conjunto de frmulas -y escribimos 2 C - syss C no es consecuencia de ; es decir, hay modelos de que no lo son de C.
6.8.
Diagramas, frmulas y conjuntos.
Los ejemplos anteriores nos sugieren que podemos asociar a las frmulas las expresiones conjuntistas que aparecen al nal de cada uno de los ejemplos. Puesto que tambin sabemos representar en diagramas de Venn dichas expresiones conjuntistas, lo que vamos a hacer ahora es tratar de articularlo todo. La ventaja es que podremos utilizar los diagramas como procedimiento de prueba en LPM.
6.8.1.
Ejemplos
Lo veremos con algunos ejemplos. Instrucciones. Los siguientes ejercicios lo son de formalizacin de enunciados del espaol en el lenguaje de la lgica de primer orden y de su interpretacin en teora de conjuntos. (El lenguaje de primer orden empleado slo contiene relatores monarios, pudindose expresar fcilmente su signicado en el lenguaje de teora de conjuntos; incluso representarse mediante diagramas de Venn.) EJERCICIO 1.(1) Elegid la formalizacin adecuada. 1 2 3 4 5 6 7 Slo las algas y los batracios crecen en aquel lugar. Todos estn alicados o bizquean notoriamente. Los asesinos no estaban borrachos. Algunos borrachos toman caf. Los alicantinos y los barceloneses son unos cabezotas. Los asesinos toman caf. Algunos asesinos toman caf. a b c d e f g x((Ax Bx) Cx) x(Ax Cx) x(Cx (Ax Bx)) x(Ax Bx) x(Ax Cx) x(Bx Cx) x(Bx Ax)
(2) Expresad lo anterior en teoria de conjuntos.
6.8. DIAGRAMAS, FRMULAS Y CONJUNTOS. a b c d e f g x(Ax Bx Cx) x(Ax Cx) x(Cx Ax Bx) x(Ax Bx) x(Ax Cx) x(Bx Cx) x(Bx Ax) i ii iii iv v vi vii AC A C 6= A B (A B) = CAB B C 6= ABC
99
(3) Representad lo anterior mediante diagramas de Venn. (Figura 1.)
ii
iii
iv
v EJERCICIO 2.-
vi
vii
(1) Elegid la formalizacin adecuada. 1 2 3 4 5 6 7 Los conejillos de indias (C) son desesperadamente . ignorantes en cuestiones musicales (D). Un pez (P ) que no sea capaz de bailar un minuto(B) es despreciable (D). Ningn pez despreciable puede bailar un minuto. Algunos nades (D) no son ranas (B). Algunos nades (D) estn desprovistos de poesa (C) . Ningn ocial (D) declina nunca una invitacin a bailar el vals. Ninguna rana (B) es potica (C) a x(P x Bx Dx) b x(Cx Dx) c x(P x Dx Bx) d x(Bx Cx) e x(Dx Cx) f x(Dx Bx) g x(Dx Bx)
100
(2) Expresad lo anterior en teora de conjuntos. a b c d e f g x(P x Bx Dx) x(Cx Dx) x(P x Dx Bx) x(Bx Cx) x(Dx Cx) x(Dx Bx) x(Dx Bx) i ii iii iv v vi vii DB= D B 6= CD BPD P D B BC= D C 6=
(3) Representad lo anterior mediante diagramas de Venn.
ii
iii
iv
vi
vii
6.9.
Argumentos que se resuelven con diagramas.
Esta parte es eminentemente prctica, y puesto que las indicaciones de cmo utilizar los diagramas como procedimiento de prueba ya las vimos en la seccin correspondiente, lo nico que haremos es resolver stos y otros ejercicios similares durante el curso. La nica novedad es que ahora se pide que se formalicen en lgica de predicados monarios los enunciados. Mediante diagramas determinar si un conjunto de frmulas es satisfacible o insatisfacible consiste en vericar si su diagrama correspondiente es consistente o inconsistente. Por consiguiente, el vericar si una frmula es consecuencia de un conjunto de frmulas o independiente de ellas consiste en realizar el diagrama de las hiptesis junto con el de la negacin de la conclusin y vericar su consistencia (Si es inconsistente el diagrama, ser consecuencia; si es consistente, ser independiente. El diagrama nos ayudar a encontrar el modelo que satisfaga las hiptesis pero no la conclusin, en el segundo caso.)
6.9. ARGUMENTOS QUE SE RESUELVEN CON DIAGRAMAS.
101
EJERCICIO 1.- Formalizad es primer orden y resolved usando diagramas HIPTESIS 1.- Algunos judos son ricos HIPTESIS 2.- Todos los esquimales son gentiles CONCLUSIN Algunas personas ricas no son esquimales
Hiptesis 1
Hiptesis 2 Diagrama
Conclusin negada
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama nal. EJERCICIO 2. Formalizad es primer orden y resolved usando diagramas HIPTESIS 1.- Todas las avispas son hoscas HIPTESIS 2.- Todos criaturas hoscas son bien acogidas CONCLUSIN Todas las avispas son mal acogidas
Hiptesis 1
Hiptesis 2 Diagrama
Conclusin negada
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama nal. EJERCICIO 3.- Formalizad es primer orden y resolved usando diagramas HIPTESIS 1.- Todos los canarios bien nutridos cantan con potencia HIPTESIS 2.- Ningn canario se siente melanclico si canta con potencia
102
CAPTULO 6. DIAGRAMAS DE VENN. CONCLUSIN Todos los canarios bien nutridos son joviales
Hiptesis 1
Hiptesis 2 Diagrama
Conclusin negada
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama nal. EJERCICIO 4.- Formalizad es primer orden y resolved usando diagramas HIPTESIS 1.- Todos los leones son eros HIPTESIS 2.- Algunos leones no beben caf CONCLUSIN Algunas criaturas que beben caf no son eras
Hiptesis 1
Hiptesis 2 Diagrama
Conclusin negada
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama nal. EJERCICIO 5.- Formalizad es primer orden y resolved usando diagramas HIPTESIS 1.- Algunas almohadas son blandas HIPTESIS 2.- Ningn atizador es blando CONCLUSIN Algunos atizadores no son almohadas
Hiptesis 1
Hiptesis 2
Conclusin negada
6.9. ARGUMENTOS QUE SE RESUELVEN CON DIAGRAMAS.
103
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama Diagrama nal. EJERCICIO 6.- Formalizad es primer orden y resolved usando diagramas HIPTESIS 1.- A todos los abstemios les gusta el azcar HIPTESIS 2.- Ningn ruiseor bebe vino CONCLUSIN A ningn ruiseor le disgusta el azcar
Hiptesis 1
Hiptesis 2
Conclusin negada
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama Diagrama nal. EJERCICIO 7.- Formalizad es primer orden y resolved usando diagramas HIPTESIS 1.- Los nios son ilgicos HIPTESIS 2.- Nadie que sepa manejar un cocodrilo es despreciado HIPTESIS 3.- Las personas ilgicas son despreciables CONCLUSIN Algunos nios so saben manejar cocodrilos
Hiptesis 1
Hiptesis 2
Hiptesis 3
Conclusin negada
104
Consistente Inconsistente Correcto Razonamiento Incorrecto Diagrama Diagrama nal.
6.10.
Tanto lsofos como informticos, lgicos y psiclogos, han constatado que en muchas ocasiones nos es ms fcil resolver un problema de matemticas, fsica, lgica o informtica usando diagramas que usando las clsicas representaciones algebraicas. De hecho, los profesores de Lgica ya eran conscientes de lo tiles que son, por ejemplo, los diagramas de Venn a la hora de resolver ciertos problemas y de mostrar ciertos teoremas en teora de conjuntos. Ya Euler, Venn y Peirce se dieron cuenta de la importancia que tienen los diagramas en las pruebas matemticas. Este es un campo de investigacin reciente y muy rico, pero la bibliografa no es elemental. La referncia mejor es: Allwein, Gerard and Jon Barwise [1996]. Logical Reasoning with Diagrams. G. Allwein and J. Barwise, editors, New York: Oxford University Press. Para los diagramas que se estudian aqu se puede consultar el libro de Suppes anteriormente mencionado.
Captulo 7
Relaciones y Funciones.
Esta parte slo es necesaria para entender la semntica de la lgica de primer orden que se introducir en apartados posteriores, hemos credo conveniente situarla aqu porque despus de haber estudiado los conjuntos parece natural seguir con una clase especial de ellos; las relaciones y funciones. Pero si no se va a estudiar la lgica de primer orden y su semntica, esta parte es prescindible.
7.1.
Par ordenado y producto cartesiano.
En la notacin de conjuntos listando sus elementos entre llaves el orden en que estos aparece no importa, ya que dos conjuntos son iguales si tienen los mismos elementos. si queremos especicar un orden determinado entre los elemntos de un conjunto no podemos usar las llaves {}, que se sustituyen por parntesis hi y en lugar de conjuntos se habla de pares ordenados (cuando son dos elementos) o de secuencias cuando son ms de dos elementos. Par ordenado. hx, yi es el conjunto formado por x e y en este orden. Existe una denicin en trminos de pares desordenados hx, yi = {{x} , {x, y}} aunque lo normal es tomarlo como una nocin primitiva. Una n-pla es una secuencia ordenada de n elementos hx1 , x2 , , xn i Producto cartesiano. Dados dos conjunto cualesquiera A y B se puede considerar el conjunto formado por todos los pares ordenados formados por un elemento de A en la primera componente y un elemento de B en la segunda componente. Este conjunto se llama su producto cartesiano. Producto cartesiano de dos conjuntos. A B = {hx, yi : x A y y B} 105
106
CAPTULO 7. RELACIONES Y FUNCIONES.
Ejemplo: Si A = {a, b, c} y B = {s, t, u, v} entonces A B = = {ha, si , ha, ti , ha, ui , ha, vi , hb, si , hb, ti , hb, ui , hb, vi , hc, si , hc, ti , hc, ui , hc, vi} Obsrvese que |A B| = 3 4 = 12 Si |A| = n y |B| = m entonces |A B| = n m
7.2.
7.2.1.
Relaciones
Relaciones binarias.
Una relacin binaria es un conjunto de pares ordenados. El producto cartesiano de dos conjuntos es un ejemplo de relacin binaria La llamaremos simplemente relacin. Dominio de la relacin. Dom R = {x : Existe un y tal que hx, yi R} Rango de la relacin. Rang R = {x : Existe un y tal que hy, xi R} Campo de la relacin. Camp R = Rang R Dom R La notacin ms usual es xRy en lugar de hx, yi R. Sobre todo con algunas relaciones signicativas como son =, y . Ejemplo: Como ejemplo del uso de la formalizacin del lenguaje natural en teora de conjuntos la expresin Isabel es madre de Mara puede verse como hIsabel, M arai {hx, yi : x es madre de y} (relacin). As tomando la relacin R = es madre de , Dom R es el conjunto de todas las madres y Rang R es el conjunto de las hijas o hijos.
7.2.2.
Relacin inversa y restriccin
Es la relacin que se obtiene de otra permutando las componentes de todos sus pares ordenados Relacin inversa. R1 = {hx, yi : hy, xi R} Dom R1 = Rang R y Rang R1 = Dom R Restriccin de una relacin a un conjunto: R | A = {hx, yi : hx, yi R y x A} .
7.2.3.
Propiedades de ciertas relaciones.
R es reexiva si hx, xi R para todo x Camp R R es simtrica si hx, yi R implica hy, xi R R es transitivasi hx, yi R y hy, zi R implica hx, zi R R es irreexiva si hx, xi R para todo x Camp R /
7.2. RELACIONES R es asimtrica si hx, yi R implica hy, xi R / R es intransitiva si hx, yi R y hy, zi R implica hx, zi R / R es antisimetrica si hx, yi R y hy, xi R implica x = y
107
7.2.4.
Relaciones de equivalencia.
R es una relacin de equivalencia si y slo si R es una relacin y R es reexiva, simtrica y transitiva R es una relacin de equivalencia sobre A si y slo si Camp R = A y R es una relacin de equivalencia Clase de equivalencia de xsegn R (siendo x Camp R ) : {y : hy, xi R} [x]R =
Cociente. Si R es una equivalencia sobre A , el cociente de A por R es el conjunto de las clases de equivalencia A/R = {[x]R : x A} Particiones. H es una particin de A si y slo si se cumple H es un conjunto de subconjuntos no vacos de A, disjuntos dos a dos y tal que la unin de todos ellos es A. Es decir, si se cumple: (1) si X H entonces X A y X 6= (2) si X, Y H con X 6= Y entonces X Y = (3) x A si y slo si x X para algn X H El resultado ms importante sobre relaciones de equivalencia es que el conjunto A/R = {[x]R : x A} de las clases de equivalencia de R sobre A forma una particin de A. Ejemplo: Consideremos la relacin R sobre el conjunto de los nmeros enteros Z denida por : xRy si x y es divisible por 5. Se demuestra que R es una relacin de equivalencia sobre Z, y es fcil observar que slo hay cinco clases de equivalencia: [0] = {0, 5, 5, 10, 10, 15, 15, } [1] = {1, 6, 4, 11, 9, 16, 14, } [2] = {2, 7, 3, 12, 8, 17, 13, } [3] = {3, 8, 2, 13, 7, 18, 12, } [4] = {4, 9, 1, 14, 6, 19, 11, } Estos cinco subconjuntos de Z forman una particin de Z
108
7.2.5.
Relaciones de Orden
R es una relacin de orden (parcial) si y slo si R es una relacin y R es reexiva, antisimtrica y transitiva R es un orden (parcial) sobre A si y slo si Camp R = A y R es una relacin de orden R es un orden total (o lineal) si y slo si R es una relacin de orden y se verica xRy o yRx para todo x, y (R es conectada) R es un orden total sobre A si y slo si CampR = A y R es una relacin de orden lineal Un conjunto parcialmente ordenado es un par hA, Ri formado por un conjunto A y un orden parcial sobre A Un conjunto totalmente ordenado es un par hA, Ri formado por un conjunto A y un orden total sobre A Sea hA, Ri un conjunto parcialmente ordenado y sea Y A Un elemento a Y es un elemento minimal de Y si y slo si no existe x Y tal que hx, ai R. Un elemento a Y es primer elemento de Y (mnimo de Y ) si y slo si ha, xi R para todo x Y . Notacin: Habitualmente escribiremos 6 en vez de R para relaciones de orden, y hA, 6i para conjuntos ordenados tanto parcial como totalmente.
7.3.
Funciones
Funcin: f es una funcin si y slo si f es una relacin y se cumple: si hx, yi f y hx, zi f entonces y = z Notacin: Si f es una funcin notaremos f (x) = y para indicar hx, yi f Composicin: f g es la funcin denida por: hx, yi f g syss existe algn z tal que hx, zi g y hz, yi f En tal caso se tiene que (f g)(x) = f (g(x)) = y Funciones de A en B f es una funcin de A en B si y slo si f es una funcin y Domf = A y Rangf B Notacion: para indicar que f es una funcin de A en B escribiremos f : A B
7.4. EJERCICIOS
109
f es una funcion inyectiva si y slo si f es una funcin y se cumple que: si hx, yi f y hz, yi f entonces x = z f : A B es exhaustiva si y slo si Rangf = A f : A B es biyectiva syss f es inyectiva y exhaustiva
7.4.
Ejercicios
1. Sea A = {a, b, {a}, {b}, {a, b}{a, {a}}, {a, {a}, {{a}}}, {{b}}, {{{b}}}}. Especica las siguientes relaciones: (a) R={hx, yi :x, y A y x y} (b) S={hx, yi :x, y A y x y} (c) T={hx, yi : x, y A y x = Py} 2. Cual de las siguientes propiedades es cierta. Demustralo o da un contraejemplo cuando sea falso. (a) (A (B C) = (A B) (A C)) (b) (A B) (C D) = (A C) (B D)) (c) (A B) C = (A C) (B C)) (d) A B = PP(A B) 3. Prueba que si par ordenado se dene (x, y) = {{x}, {x, y}}, entonces se cumple la propiedad fundamental: hx1 , x2 i = hx1 , x2 i implica x1 = x2 y y1 = y2 . 4. Especica cuales de las siguientes relaciones xRy son reexivas, cuales simtricas y cuales transitivas: (a) x e y son personas del mismo sexo (b) x es hija/o de y (c) x e y son hermanos/as. (d) x e y comparten al menos uno de los cuatro abuelos/as. (e) x e y hablan un mismo idioma. (f) x es un factor de y (x e y nmeros enteros). (g) x es una fraccin de nmeros enteros equivalente al nmero decimal y. 5. Determina cuales de las relaciones del ejercicio 7 son de equivalencia. Escribe el conjunto de las clases de equivalencia para cada una de ellas. 6. Demuestra las siguientes propiedades: (a) la relacin R es simtrica si y slo si R1 = R. (b) la relacin R es transitiva si y slo si R R R. (c) la relacin R es de equivalencia en A si y slo si RR1 = R y DomR = A. 7. Determina si las siguientes relaciones son rdenes parciales u rdenes totales.
110
(a) La relacin xRy denida por x < y (< el orden usual en los nmeros naturales). (b) La relacin xRy denida por x divide a y (x 6= y) en el conjunto de los nmeros naturales. 8. Considrese la relacin siguiente denida en N N por: (a, b) 6 (c, d) si y slo si a 6 c y b 6 d. Demuestra que es un orden parcial pero no es total.
7.5.
Ms ejercicios de relaciones.
EJERCICIO 1. Decid si es cierto para todas las relaciones R y S. Marcad (a) en caso armativo y (b) en caso negativo. 1. Si DomR = DomS entonces R = S.
2. Si R es reexiva entonces {hx, xi /x CampR} es un subconjunto de R. 3. Si R y S son transitivas, entonces, R S 4. Si R 5. Si R a 1 2 3 4 5 EJERCICIO 2. Marcad (a) en caso armativo y (b) en caso negativo. 1. Nos indican que {E} es una particin de E. Podras asegurar que E no es vaco?. 2. Representamos mediante 2N al conjunto de los mltiplos de 2 y mediante 3N a los de tres. Es {2N, 3N } una particin de N ? 3. Sea {A, B, C, D, E, F, G, H} una particin de un conjunto X. Es {A, B C, D E, F, G, H} una particin de X.? 4. Sea R una relacin de orden. Podra R ser tambin una relacin de equivalencia?. 5. Es N N una relacin de orden sobre N ? b es transitiva.
es una relacin simtrica, entonces R1 = R es una relacin asimtrica, entonces R es antisimtrica.
7.5. MS EJERCICIOS DE RELACIONES. a 1 2 3 4 5 EJERCICIO 3. Sea R = {h, {}i , {, } , h{} , {}i} B = {} C = {{}} Hallad: 1. R | A 2. R | B 3. R | C 4. R1 5. R1 | C 6. (R 1 R) | (B C) EJERCICIO 4. Sea R = {h1, {2}i , {1, 1} , h{1} , {2}i} B = {1} Hallad: 1. R | A 2. R | B 3. R | C 4. R1 5. R1 | C 6. (R 1 R) | (B C) C = {{2}} A= A= b
111
EJERCICIO 5. En cada uno de los siguientes ejemplos decid qu propiedades tiene la relacin R 1. R {ha, ai , hb, bi , hc, ci , hb, ci , ha, ci} 2. R {hx, yi /x es mltiplo de y} 3. R {hx, yi N 2 /3 = x & 2y = 5}
112
4. R {hx, yi N 2 /9 6 x 6 y 6 10} Asim 1 2 3 4 (a) Asimtrica, (b) Reexiva, (c) Antisimtrica, (d) Transitiva, (d) Conectada y (f) Ninguna de las anteriores. EJERCICIO 6. En cada uno de los siguientes ejemplos decid qu propiedades tiene la relacin R 1. R {ha, ai , hb, bi , hc, ci} 2. R hx, yi N 2 /y = x 4 Reex Antisim Trans Conect Ning
3. R {hx, yi H 2 /x es yerno de y} 4. R {hx, yi H 2 /x conoce a y} 5. R {hx, yi /x 6 y}
6. R {hx, yi R2 /x2 = y 2 } 7. R {hx, yi N 2 /x 6 106 6 y} Serial Antisim Eucldea Intrans Irreex Ninguna 1 2 3 4 5 6 7 (a) Serial, (b) Antisimtrica, (c) Eucldea, (d) Intransitiva, (e) Irreexiva, (f) Ninguna de las anteriores EJERCICIO 7. En cada uno de los siguientes ejemplos decid qu propiedades tiene la relacin R 1. R {hc, ci , hb, ci , ha, ci} 2. R hx, yi N 2 /x y = 10
3. R {hx, yi H 2 /x es hermano mellizo de y} 4. R {hx, yi H 2 /x conoce a y}
7.6. REFERENCIAS BIBLIOGRFICAS. 5. R {hx, yi /x = 2 & y = 5} 6. R {hx, yi R2 /x2 = y 2 } 7. R {hx, yi N 2 /x 6 y 6 77} Sim 1 2 3 4 5 6 7 Antisim Conec Intrans Irreex Ninguna
113
7.6.
REFERENCIAS BIBLIOGRFICAS.
Libros de Tera de Conjuntos hay muchos, aunque a este nivel tan elemental no conozco ninguno. Tal vez lo ms elemental que conozco sean los tres captulos del libro de lgica de Suppes Suppes [1972] Lgica simblica. CECSA. Mxico. Mis favoritos son Enderton [1977] Elements of Set Theory. Academic Press. New York Devlin [1997] The Joy of Sets. Springer Verlag. New York Muchos de los ejercicios son del libro de Carroll Carrol [1972] El juego de la lgica. Alianza Editorial. Madrid
114
Parte III
LGICA DE PRIMER ORDEN
115
Captulo 8
INTRODUCCIN GENERAL
8.1. Por qu necesitamos la Lgica de Primer Orden?
El objetivo fundamental de este tema es el de introducir, de manera intuitiva, los conceptos fundamentales de la lgica clsica de primer orden1 . Desde una perspectiva muy general, nos interesa destacar lo siguiente: (1) la caracterizacin de la lgica como el estudio de la consecuencia (o de los conjuntos consistentes de enunciados) y (2) el objetivo de encontrar sistemas formales que mecanicen el procedimiento de determinar si a partir de ciertas hiptesis se siguen ciertas conclusiones. En esto, naturalmente!, coincide la lgica proposicional con la de primer orden. Los detalles cambian, pues el lenguaje de la lgica de primer orden, FOL (abreviatura del ingls First Order Logic), es considerablemente ms complejo. De manera que se mantiene: Lgica = estudio de la consecuencia (razonamientos vlidos o correctos) Lgica = estudio de los conjuntos de creencias consistentes Lgica = Gramtica + Semntica (+ Clculo) A la pregunta que sirve de encabezamiento a este apartado respondemos que aunque la lgica proposicional es formalmente muy satisfactoria, su capacidad expresiva es bastante limitada.
1 La lgica clsica se caracteriza por su rigor y precisin, pero carece de matices; la verdad es absoluta, el tiempo est ausente, no hay ambigedad. La lgica clsica caracteriza el razonamiento de las matemticas y cuando se aplica a razonamientos no matemticos, se matematizan primero. Hay otras lgicas: Temporal, modal, dinmica, borrosa, no monotnica, etc.
117
118
Lo veremos con un ejemplo. Ejemplo 64 El razonamiento siguiente es claramente correcto; sin embargo, la lgica proposicional no nos permite demostrarlo ya que en esta lgica los tres enunciados quedan sin analizar; es decir, se consideran frmulas atmicas Slo los viejos y los nios dicen la verdad. Mara Manzano no es una vieja ni es una nia. LUEGO: Mara Manzano miente. En lgica proposicional , y se formalizan como letras proposicionales (por ejemplo, p, q y r) y por lo tanto {p, q} 2 r. Para poder entrar en el detalle de este razonamiento y establecer su correccin necesitamos un lenguaje que contenga no slo los conectores (entre ellos, la negacin, , el conyuntor, , el condicional, , y el disyuntor ), sino tambin: Constantes individuales, por ejemplo, a. En nuestro ejemplo, Mara Manzano se formalizara como una constante individual. Relatores; por ejemplo, V , N y M. En nuestro ejemplo, ser viejo, nio o mentiroso se formalizaran como relatores monarios. Cuanticadores; por ejemplo, . Nos sirve para expresar todos los. Variables individuales, para dar curso a la cuanticacin. Con este lenguaje se podra formalizar: x(M x (V x N x)) V a N a LUEGO: Ma En la lgica de primer orden introduciremos un lenguaje formal, desarrollaremos una semntica para sus frmulas e introduciremos un clculo deductivo que nos permitir demostrar a partir de {, } . Comentario 65 El lenguaje requerido para formalizar el razonamineto anterior slo utiliza relatores monarios. La lgica que slo utiliza relatores monarios es ms expresiva que la proposicional, pero retiene de sta algunas de sus metapropiedades, tales como la decidibilidad, que se pierden al pasar al lenguaje de primer orden sin restricciones. En la parte anterior de este curso, la del razonamineto lgico con diagramas, hemos estudiado esa lgica. Comentario 66 Es cierto que la lgica de primer orden contiene a la proposicional. Esto quiere decir que si un razonamiento es proposicionalmente correcto, lo seguir siendo en primer orden, pero si es incorrecto proposicionalmente no tiene porqu seguir siendo incorrecto en primer orden. (Lo acabamos de ver en el ejemplo, es correcto en primer orden e incorrecto en proposicional.)
8.2. LENGUAJES DE ORDEN CERO, DE PRIMERO Y DE SEGUNDO ORDEN.119
8.2.
Lenguajes de orden cero, de primero y de segundo orden.
Como se ha dicho anteriormente, la lgica que estamos estudiando es la denominada lgica clsica. Habiendo caracterizado a la lgica como el estudio de los razonamientos vlidos o correctos y llegado a la conclusin de que la exigencia de rigor y precisin nos obliga a introducir un lenguaje formal, necesitamos saber cul. Todo depender del nivel de abstraccin que se vaya a usar; cuando los enunciados simples no se analizan y en el razonamiento tan slo intervienen los conectores, el lenguaje a usar es el proposicional (o de orden cero); cuando se analizan los enunciados atmicos y se cuantica sobre individuos, el lenguaje ha de ser el de primer orden; cuando la cuanticacin se extiende a propiedades y relaciones, precisamos el lenguaje de segundo orden 2 . Habitualmente estamos interesados en una cierta realidad matemtica a la que hemos otorgado una estructuracin bsica: tenemos un universo o dominio de discurso, en el que estn los objetos de los que queremos hablar, y ciertas relaciones y funciones denidas sobre el universo de discurso. Ejemplo 67 Imaginad que lo que nos interesa es el estudio de las relaciones de orden. Por muy limitada que haya sido nuestra experiencia matemtica, seguro que no nos resultan desconocidas ciertas estructuras de orden. Ya en la escuela primaria aprendimos el orden de los naturales, de los enteros y de otros nmeros. Tambin nos familiarizamos con el concepto de ser un subconjunto de y vimos que estableca un cierto orden, que en ciertos dominios poda incluso ser lo que llamamos una cadena. Por otra parte, tal vez en Filosofa de la Ciencia os planteasteis cmo se establece un concepto mtrico o una escala (por ejemplo, la masa, la dureza de los metales, la intensidad de un sesmo) y llegasteis a la conclusin de que fue preciso un proceso de comparacin entre sucesos o cualidades y el establecimiento de una relacin de orden. Posiblemente algunos de vosotros habeis estudiado los retculos y tal vez los cardinales y los ordinales. Ms adelante quiz estudies teora de conjuntos axiomtica, pero casi seguro que en alguna ocasin empleareis el Axioma de eleccin, El teorema del buen orden o el Lema de Zorn. Comentario 68 Un curso breve de Teora de conjuntos est disponible en ARACNE.
2 Para estudiar la lgica de segundo orden puede usarse: Mara Manzano. (1996) Extensions of First Order Logic. Cambridge University Press.
120
Con todo ello quiero decir que ya sabeis que en el Universo matemtico hay ciertas estructuras matemticas de enorme importancia a las que llamamos rdenes. La ventaja de usar un lenguaje lgico es que podemos hacer abstraccin de las estructuras concretas y hablar simultnemanete de todas ellas. Decimos que una relacin R denida sobre un conjunto A es de orden, si es: Reexiva Antisimtrica Transitiva Cuando adems es conectada, Conectada decimos que R es un orden lineal. Cuando Todos los subconjuntos de A tienen primer elemento decimos que la relacin R es un buen orden. Qu lenguaje necesitamos para hablar de lo que nos interesa, las relaciones de orden? Claramente el lenguaje proposicional es insuciente porque en l slo caben razonaminetos de este tipo: 1. ` (( ) ). [Que nos servira para ver que si en la relacin R falla la transitividad, no puede ser de orden.] 2. ((( ) ) ) ` (( ) ). [Que nos sirve para ver que si la relacin R es un orden lineal, tambin es un orden (parcial).] Sin embargo, si tomamos un lenguaje de primer orden con un relator binario R, podremos expresar las caractersticas de una relacin de orden as: xRxx xy((Rxy Ryx) x = y) xyz((Rxy Ryz) Rxz) xy(Rxy Ryx) Estas frmulas son verdaderas en las estructuras de los naturales y de los enteros con su orden, hN, 6i , hZ, 6i y en h{, {1} , {1, 2}} , i
8.3. GLOSARIO
121
y en muchas otras. En principio {, , , } axiomatiza la propiedad de ser un orden lineal en el sentido siguiente: una estructura A cualquiera es un orden lineal si y slo si es un modelo de {, , , }. Cuando adems del lenguaje de primer orden tengamos un clculo deductivo, todas las propiedades de los rdenes lineales las demostraremos en el clculo y valdrn simultneamente para todas las estructuras que sean rdenes lineales. De esta forma, al situarnos en este nivel de abstraccin que el lenguaje lgico permite, conseguimos economizar recursos. Se pueden expresar en primer orden todas las propiedades imaginables de estructuras matemticas?, Sirve la lgica de primer orden para axiomatizar toda la matemtica? La respuesta es que n. En nuestro caso, para expresar la propiedad de ser un buen orden se precisa de la cuanticacin sobre propiedades; es decir, de la lgica de segundo orden (SOL). En SOL se expresa: X(yXy v(Xv z(Xz Rvz v 6= z))) Como hemos visto, el lenguaje de la lgica de segundo orden es ms expresivo que el de primer orden y ste que el de orden cero. Comentario 69 Sin embargo, las propiedades lgicas de estos lenguajes van decreciendo: mientras que la lgica proposicional posee un clculo deductivo correcto, completo y es decidible, la de primer orden posee un clculo correcto y completo, pero ya no es decidible, y la de segundo orden ni es decidible ni posee un clculo completo. Para expresar grcamente lo anterior, pensad en una balanza: en un platillo se pone el poder expresivo de la lgica y en el otro las propiedades lgicas. En la lgica proposicional pesan ms las propiedades lgicas, en la de segundo orden la capacidad expresiva, la de primer orden est ms equilibrada. Sabiendo sto somos nosostros los que decidiremos qu lgica necesitamos, qu virtudes nos interesa preservar.
8.3.
Glosario
1. Consistencia: Decimos que un conjunto de enunciados es consistente cuando existe al menos una situacin que los hace simultneamente verdaderos. (ingl.: Consistency). 2. Inconsistencia: Decimos que un conjunto de enunciados es inconsistente cuando no existe ninguna situacin que los haga simultneamente verdaderos. (ingl.: Inconsistency) 3. Consecuencia: Decimos que un enunciado es consecuencia de un conjunto de enunciados que sirven de hiptesis si, y slo si, no existe ninguna
122
CAPTULO 8. INTRODUCCIN GENERAL situacin en la que cada una de las hiptesis sea verdadera y la conclusin sea falsa; es decir, cuando el conjunto formado por las hiptesis y la negacin de la conclusin sea inconsistente. (ingl.: Consequence).
8.4.
Estas referencias coinciden bsicamente con las que dimos en el primer captulo de Lgica proposicional. 1.8
Captulo 9
El lenguaje de la lgica de primer orden.

El objetivo fundamental de este tema es doble: la adquisicin de un lenguaje formal (poniendo especial nfasis en la formalizacin) y la introduccin del mtodo de induccin y recursin sobre la construccin de trminos y frmulas. Se introducirn los conceptos de variables libres y ligadas y el de sustitucin.
9.1.
9.1.1.
Gramtica y formalizacin.
Gramtica de L.
Cmo se construye un lenguaje formal? Vamos a construir un lenguaje al que podamos traducir las oraciones del castellano. A diferencia de las lenguas naturales (como el castellano, el ingls, el cataln o el chino) ser ste un lenguaje formal que contar con unas reglas de formacin precisas. El uso ms frecuente que vamos a hacer del lenguaje formal es como vehculo de razonamiento. Slo nos interesar traducir a nuestro lenguaje formal las expresiones lingsticas que describan un estado o expresen un pensamiento completo; es decir, nos limitaremos al uso declarativo del lenguaje natural. Para hablar acerca de nuestro lenguaje formal utilizaremos el espaol, del mismo modo que utilizamos el espaol para estudiar el latn. Cuando sto se hace, al lenguaje en estudio se le llama lenguaje objeto (latn, en el ejemplo) y al lenguaje que utilizamos de vehculo, metalenguaje (espaol, en el ejemplo anterior). Nuestro lenguaje objeto es el lenguaje formal y el espaol, aumentado con algunos signos, es el metalenguaje. Finalmente, distinguimos entre uso y mencin de una palabra o una expresin. Usamos normalmente las palabras para referirnos a objetos que no son lingsticos; es decir, las usamos como un signo, para aludir a algo distinto de ellas mismas. Hay otras ocasiones en las que usamos el lenguaje para hablar 123
124 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN. acerca del propio lenguaje. Usamos entonces el metalenguaje para mencionar las expresiones de un lenguaje. Comentario 70 Una explicacin algo ms detallada de estos conceptos puede hallarse en el Captulo 2 de este METABOOK, El lenguaje de la lgica proposicional. Comentario 71 Siguiendo la distincin entre lenguaje y metalenguaje propuesta por Tarski, no expresaremos la verdad de un enunciado en el lenguaje objeto, sino en el metalenguaje. Evitaremos as las denominadas paradojas semnticas, como la del mentiroso, que brevemente presento a continuacin.. PARADOJA DEL MENTIROSO. La paradoja ms antigua que se conoce es la de Epimnides, el cretense. Deca que todos los cretenses son mentirosos y que todas sus armaciones son mentiras. La contradiccin aparece cuando uno se pregunta sobre la propia armacin de Epimnides. Es tambin esta armacin una mentira? Una forma fcil de verlo es as: Sea p el enunciado: Estoy mintiendo. Naturalmente, esto es lo mismo que decir: No es verdad p, que podramos formalizar as: V p. Es decir, (1) p V p Pero la propiedad semntica de verdad debera ser denida de forma que para cualquier x, x es verdadera si y slo si x; es decir, x(V x x). Qu sucede cuando consideramos la frmula p?. En primer lugar, (2) V p p Ahora podemos usar (1) y reemplazar en (2) la frmula p por su formalizacin, obteniendo: (3) V p V p Naturalmente, esto es una contradiccin. CONCLUSIN: Nosotros distinguiremos entre lenguaje y metalenguaje, la frmula x(V x x) con el signicado que se pretende que tenga no puede ser una frmula del lenguaje objeto. La verdad de un enunciado se expresa en el metalenguaje, nunca en el lenguaje objeto.
Un lenguaje formal consta de un alfabeto bsico y de unas reglas precisas de formacin de frmulas. Nosotros utilizaremos distintos lenguajes de primer orden, dependiendo del uso que queramos darle. Por ejemplo, si queremos hablar de relaciones de orden nos bastar con un lenguaje que posea un signo para referirnos a la relacin, si queremos hablar de grupos, necesitaremos un signo para la operacin binaria y una constante para el elemento neutro. Dependiendo de la aplicacin que vaya a drsele, el lenguaje de primer orden se adecuar, pero hay ciertos signos que son comunes a todos los lenguajes de primer orden.
9.1. GRAMTICA Y FORMALIZACIN. Alfabeto.
125
El alfabeto de un lenguaje cualquiera, L, de lgica de primer orden contiene dos tipos de signos: los comunes a todos los lenguajes de primer orden y los que son peculiares de cada lenguaje de primer orden. Entre los primeros estn los conectores, los cuanticadores y las variables individuales. Tambin inclumos aqu la igualdad. Entre los segundos estn los relatores, los functores y las constantes individuales. Nosotros usamos , , , , como conectores, y como cuanticadores y las letras x, y, z, u, v, w, x0 , x1 , x2 ,..., y0 , y1 , y2 , ... como variables individuales. Usaremos = como signo de igualdad. Tambin, como signos impropios utilizaremos parntesis: ), (. Un lenguaje L(R, f , c) concreto contiene adems un conjunto R de relatores, un conjunto f de functores y un conjunto c de constantes individuales. Todos o algunos de estos conjuntos pueden ser vacos. n n n Para cada nmero natural n, usaremos Rn , S n , T n , R0 , R1 , R2 ,... como relatores n-arios. n n n Para cada nmero natural n, usaremos f n , g n , hn , f0 , f1 , f2 ,... como functores n-arios. Como constantes individuales usaremos a, b, c, a0 , a1 , a2 , ... Comentario 72 Las constantes individuales pueden considerarse constantes 0arias, en cuyo caso el leguaje se reducira a: L(R, f ) Trminos y Frmulas. Las frmulas y los trminos de L se construyen siguiendo unas sencillas reglas de formacin. Dichas reglas extraen del conjunto de las de signos del alfabeto a aquellas a las que llamamos trminos y frmulas. Por ejemplo, queremos que R2 ax, xy(T 2 xy R2 xa), f 1 x = b sean frmulas, pero que no lo sean f 1 x = y, ni f 2 xa R2 ab. La frmula f 1 x = b es una ecuacin, a derecha e izquierda de la igualdad aparecen los trminos f 1 x y b Denicin 73 El conjunto de los trminos de L (al que llamamos TERM(L), o simplemente TERM) es el menor conjunto que se puede generar mediante las reglas: T1.- Las variables individuales son trminos. T2.- Las constantes individuales son trminos. T3.- Si 1 , 2 ,..., n son trminos, f n 1 ... n es un trmino. (Tambin podemos escribir, f n ( 1, ..., n )) Denicin 74 El conjunto de las frmulas de L (al que llamamos FORM(L), o simplemente FORM, cuando est claro por el contexto) es el menor conjunto que se puede generar a partir de las reglas siguientes:
126 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN. F1.- Si 1 , 2 ,..., n son trminos, Rn 1 ... n es una frmula. (Tambin podemos escribir, Rn ( 1, ..., n )) F2.- Si 1 y 2 son trminos, 1 = 2 es una frmula. F3.- Si A y B son frmulas, tambin lo son: A, (AB), (AB), (A B), (A B) F4.- Si A es una frmula, tambin lo son: xA y xA. TERM x, y, z, ... a, b, c, ... f 1 ... n
n
1 . . . n
FORM ATOM Rn 1 ... n 1 = 2
A xA C (C B) B
FUNC fn
REL Rn
CONECT , , ,
CUANT
Denicin 75 Llamamos expresiones de L al conjunto formado por los trminos y las frmulas de L; es decir, EXPR(L) = TERM(L) FORM(L) Comentario 76 Advirtase que tal y como hemos denido el conjunto de frmulas, como el menor conjunto que cumple las reglas F1 a F4, si un conjunto Q cumple las mencionadas reglas, entonces FORM(L) Q , lo que signica que todas las frmulas estn en dicho conjunto. De forma similar para trminos. Denicin 77 Llamamos frmulas atmicas a las obtenidas mediante las reglas F1 y F2. En especial, las formadas mediante F2 son ecuaciones. Denicin 78 Forma lgica: Las frmulas obtenidas mediante las reglas F3 y F4 reciben las denominaciones siguientes: Forma lgica A (A B) (A B) (A B) (A B) xA xA Denominacin negacin conjuncin disyuncin condicional bicondicional generalizacin particularizacin
127
Comentario 79 Demostrar que una sucesin de signos del alfabeto L es una frmula consiste en mostrar que se construy conforme a las reglas del clculo de frmulas; es decir, F1 a F4. Comentario 80 El saber identicar la forma lgica de una frmula dada es fundamental para manipular el clculo deductivo correctamente.
9.1.2.
Ejemplos
1. Frmulas atmicas: Ra, f a = x, Rf f a, ... 2. Negaciones: a) xy(P x Qx)) b) Qx c) b = c
d) (xy(Rxy f x = y) xyz(Rxy Rxz y = z)) 3. Conjunciones: a) uv((Ru Rv) u = v) xRx c) Ru (Rv u = v)
b) yx(Rx x = y) (Rx x = y)
4. Disyunciones: a) x(P x Qx) x(P x Rx) b) Rx Qx c) a = b a = c
d) xy(Rxy Ryx) xyz(Rxy Ryz Rxz) 5. Condicionales: a) x(F x Ra) xF x b) xyF xy Ra c) x(P x Rx) xy (F xy F yx)
6. Bicondicionales: a) x(Rx f x = a) (xRx} f a = a) b) xP x Qa c) x (P x Qa) (xP x xRx)
128 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN. 7. Generalizaciones: a) x(M xa M xb)
b) x(Ox y(Ry Exy)
c) xyz(Rxf xy Rf yxz Rxz)
8. Particularizaciones: a) x(M xa M xc) b) xa = x c) xyf x = y
d) xOx
9.1.3.
Subfrmulas.
Llamamos subfrmulas de una frmula a todas aquellas partes de una frmula que son tambin frmulas (generadas por F1 a F4). Descomponer una frmula en subfrmulas es una manera de demostrar que efectivamente se trata de una frmula. La forma ms sencilla de hacerlo es mediante rboles genealgicos, que todo el mundo entiende con facilidad. Para no confundirlos con los rboles lgicos, que se vern despus, yo los hago de abajo a arriba, con aspecto de autntico rbol genealgico.
9.1.4.
Formalizacin.
Este tema tiene una vertiente prctica, la formalizacin, en la que me gusta insistir, pues considero que es fundamental que se adquiera mucha soltura en el uso del lenguaje simblico. El que la formalizacin preceda a la interpretacin semntica tiene una justicacin: permite una introduccin intuitiva de los conectores y de los cuanticadores. Sin embargo, es ms fcil hacerlo cuando se domina mejor el lenguaje formal. La alternativa pedaggica que propongo es iniciar ahora la formalizacin pero redondear el tema al nal; por ejemplo, haciendo que algunos de los ejercicios de deduccin se propongan en espaol, o en lenguaje matemtico sin formalizar. Otra posiblilidad es usar el programa el mundo de Tarski, del que hablaremos luego. Los apartados que trataremos son los que siguen: 1. Negacin. Negamos la verdad de un enunciado armando su negacin. La negacin recoge el uso de la partcula no del castellano (o cualquiera de sus equivalentes; no es cierto que, no es verdad que, nunca, jams). La interpretacin que le daremos ser la siguiente: La negacin de un enunciado verdadero ser falsa y la de uno falso ser verdadera.
129
2. Conjuncin. Cuando utilizamos una conjuncin entre dos enunciados queremos indicar que ambos son verdaderos. Normalmente usamos la conjuncin copulativa, y para indicar conjuncin, pero, aunque, sin embargo se usan tambin. Hay un ligero matiz que diferencia estos usos, que se pierde en el lenguaje formal. La interpretacin que le daremos ser la siguiente: La conjuncin de dos enunciados es verdadera si y slo si ambos lo son. 3. Disyuncin. La disyuncin que recoge nuestra conectiva es la llamada incluyente (o no excluyente), como cuando en un anuncio SE SOLICITA SECRETARIA QUE SEPA FRANCS O INGLS, que evidentemente no excluye a la que sepa los dos idiomas. Normalmente se expresa mediante o, a menos que, a no ser que, y/o. La interpretacin que le daremos ser la siguiente: La disyuncin de dos enunciados es verdadera si al menos uno de ellos lo es. 4. Condicional. Formalizamos (A B) para indicar un enunciado condicional. En este caso A es el antecedente y B el consecuente. En castellano usamos normalmente la expresin si A entonces B. Se usan tambin si A, B, B, si A, A es condicin suciente para B, B es condicin necesaria para A, slo si B, A. La interpretacin que le daremos ser la siguiente: Un enunciado condicional es falso cuando el antecedente es verdadero y el consecuente falso, en el resto de los casos es verdadero. 5. Bicondicional. Cuando queremos indicar que A es condicin suciente para B y que B es condicin necesaria para A lo formalizamos as: (A B). La interpretacin que le daremos ser la siguiente: Un enunciado bicondicional es verdadero cuando y slo cuando sus dos miembros son simultneamente verdaderos o falsos. 6. Generalizacin. Cuando queremos indicar que todos los individuos del universo de discurso verican A, escribimos: xA. La interpretacin que le daremos ser la siguiente: Una generalizacin es verdadera cuando se verica para todos los individuos del universo. 7. Particularizacin. Cuando queremos expresar que al menos un individuo del universo verica A, escribimos: xA. La interpretacin que le daremos ser la siguiente: Una particularizacin es verdadera cuando se verica para al menos un individuo del universo.
130 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN.
9.1.5.
Espaol en Lgica de primer orden.
EJERCICIO 1.- En cada uno de los siguientes ejemplos elegid la (o las) respuesta acertada. 1. Slo los seres humanos (H 1 x x es un ser humano) tienen primos (((P 2 xy x es primo de y). 2. Hay un hombre (M 1 x x es un hombre) que adrnira a (P 2 x yx admira a y) todos los hombres. 3. Ningn ser humano (H 1 x x es un hombre) es admirado (P 2 xy x admira a y) por todos los hombres. 4. Slo algunos seres humanos (H 1 x x es un ser humano) carecen de primos (P 2 xy x es primo de y). a) x H 1 x y H 1 y P 2 xy b) xy P 2 yx H 1 x ) c) x H 1 x y H 1 y P 2 yx d) x H 1 x yP 2 yx e) x H 1 x P 2xx f ) Ninguna de ellas. a 1 2 3 4 b c d e f
EJERCICIO 2.- En cada uno de los siguientes ejemplos elegid la (o las) respuesta acertada. 1. Slo algunos cocineros famosos (P 1 x x es un cocinero famoso) son tambin buenos actores (R1 x x es un buen actor). 2. Todos los rencorosos ( R1 x x es un rencoroso) son intrigantes ( P 1 x x es un intrigante). 3. Ningn tenista (T 1 x x es un tenista) es su propio entrenador (R2 xy x es entrenador de y). 4. Ningn tenista (T 1 x x es un tenista) es admirado (R2 xy x admira a y ) por todos los dems. a) x(R1 x P 1 x)
9.1. GRAMTICA Y FORMALIZACIN. b) x(R1 x P 1 x) d) x(T 1 xR2 xx) f ) Ninguna. c) x(R1 x P 1 x)
131
e) x(T 1 x yR2 yx) a 1 2 3 4 b c d e f
EJERCICIO 3.- En cada uno de los siguientes ejemplos elegid la (o las) respuesta acertada. 1. Slo algunos seres humanos (H 1 x x es un ser humano) son progenitores (P 2 xy x es progenitor de y). 2. Todos los seres humanos (H 1 ) tienen dos progenitores (P 2 ) 3. Ningn ser humano (H 1 ) es su propio progenitor (P 2 ) 4. Ningn ser humano (H 1 ) es admirado (P 2 xy x admira a y) por todos los hombres. a) x H 1 x y H 1 y P 2 xy b) x(H 1 x yz P 2 yx P 2 zx y 6= x ) c) x H 1 x y H 1 y P 2 yx d) x H 1 x yP 2 yx e) x H 1 x P 2 xx f ) Ninguna. a 1 2 3 4 EJERCICIO 4.- En cada uno de los siguientes ejemplos elegid la (o las) respuesta acertada. 1. El hombre (Hx x es un hombre) siempre ama (A2 xy x ama a y) a quienes le aman. 2. Existe un hombre (Hx x es un hombre) que es ms viejo que (D2 xy x es ms viejo que y) todos los dems. b c d e f
132 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN. 3. Slo algunos hombres (H x es un hombre) son despreciados (D2 xy x es despreciado por y) por las personas (Hx x es un hombre) a quienes ellos aman (A2 xy x ama a y). 4. Los huracanes (Hx x es un huracn) arrancan los rboles (Ax x arranca los rboles) y tumban las casas (T x x tumba las casas). 5. El perro (Hx x es un hombre) es el nico animal (Ax x es un animal)que suea (T x x suea). 6. Slo algunos gorilas (Hx x es un gorila) reconocen a (D2 xy x reconoce a y) los gorilas contra los que han luchado (A2 xy x lucha contra y). 7. Los animales (Ax x es un animal) se irritan siempre mortalmente (Hx x se irrita mortalmente) si no les presto atencin (T x x se irrita si no le presto atencin). a) yx((Hx (T x Ax)) x = y) c) x (T x Ax) Hx) d) x Hx y((Hy A2 xy) D2 yx) e) x(Hx y(Hy x 6= y D2 xy)) f ) Ninguna. a 1 2 3 4 5 6 7 EJERCICIO 5.- Elegid la ( o las) formalizacin adecuada. 1. Algunos hombres (H) desprecian a (D2 ) todos, incluso se desprecian a s mismos. 2. Existe un hombre (H) que es ms viejo que (D2 ) todos los dems. 3. Slo algunos hombres (H) son despreciados (D2 ) por las personas (H) a quienes ellos aman (A2 ). 4. El gato (H)es el nico animal (A) que tiene siete vidas (T ). 5. Hay un portero (A) a quien todo el mundo conoce (D2 ). 6. Los albailes (A) se irritan siempre (H) si no les presto atencin (T ). 7. Ningn animal (A) sin cuernos (H) puede lanzarlo a uno contra una puerta (T ) b c d e f b) x((T x Ax) Hx)
9.1. GRAMTICA Y FORMALIZACIN. a) b) c) d) e) f) yx((Hx (T x Ax)) x = y) x((T x Ax) Hx) x Hx y(Hy D2 xy x((T x Ax) Hx) x(Hx y((Hy A2 xy) D2 yx)) Ninguna. a 1 2 3 4 5 6 7 b c d e f
133
EJERCICIO 6.- Traducid al espaol los siguientes enunciados de la lgica de primer orden, empleando para ello la clave siguiente: P x := xes un panadero, T x := x es astuto, Lx := x es lento. 1. x(P x Lx) 2. x(P x Lx T x) 3. x(T x P x) 4. x((P x T x) Lx) 5. xLx xT x x(Lx T x) 6. x(P x P x) EJERCICIO 7.- Traducid al espaol los siguientes enunciados de la lgica de primer orden, empleando para ello las claves siguientes: Sx := x vive en Santander, F x := x es futbolista, Rxy := x respeta a y 1. x(Sx F x) 2. y(F y zRzy) 3. xyRxy 4. x(Sx F x) 5. x(Rxx Sx) 6. x(uRxu vRvx)
134 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN. EJERCICIO 8.- Traducid al espaol las siguientes oraciones del lenguaje de la lgica de predicados. Emplead la clave: Qxy := x quiere a y 1. x(yQxy zQzz) 2. x(yQxy zQzz) 3. x(yQxy zQzz) 4. xz(yQxy Qzz) 5. xzy(Qxy Qzz) 6. xzy(Qxy Qzz) 7. zxy(Qxy Qzz) 8. zyx(Qxy Qzz) 9. xy(Qxy Qyx) 10. xy(Qxy Qyx) 11. xy(Qxy Qyx) 12. xy(Qxy Qyx) EJERCICIO 9.- Asumamos que las oraciones siguientes tratan sobre nmeros naturales. El smbolo mondico de funcin S representa la funcin del siguiente (Sn:=n+1), la constante individual c representa el nmero 0. Qu proposiciones reproducen las oraciones siguientes? 1. x(Sx = c) 2. x(x = c y(x = Sy)) EJERCICIO 10.- Qu proposiciones sobre nmeros expresan las oraciones siguientes? (Usamos < como relator binario para expresar la relacin de estrictamente menor que y el functor binario para expresar el producto. Nos hemos permitido colocar ambos en medio de los trminos que relacionan u operan, en vez de anteponerlos a ellos para que sea ms legible.) 1. xy(x < y z(x < z z < y)) 2. xy(y y = x)
9.2. *CONVENCIONES SOBRE NOTACIN.
135
9.1.6.
El mundo de Tarski.
Cuando se aprende una segunda lengua se pueden seguir dos mtodos muy diferentes: Utilizar la lengua propia y hacer traducciones directas e inversas hacia la nueva. Aprender a usarla directamente. El primero es el mtodo tradicional y ha sido el predominante en la enseanza de la lgica; sin embargo, este mtodo plantea diversos problemas. En el caso de la lgica la dicultad principal estriba en que el lenguaje natural es mucho ms complejo que el formal, y con frecuencia las dicultades de formalizacin radican en el lenguaje natural. Sin pretenderlo, transferimos al lenguaje formal una complejidad que no le es propia. Otro problema es que para ser un buen traductor hace falta conocer y dominar bien las dos lenguas, mientras que en nuestro caso se supone que estamos justamente aprendiendo el lenguaje formal. Estas consideraciones llevaron a los autores de El mundo de Tarski, Barwise y Etchemendy, a concebir el mencionado programa, en el que el aprendizaje del lenguaje formal es directo. A la informacin sobre este programa se puede acceder desde nuestra pgina de ARACNE: http://aracne.usal.es
9.2.
*Convenciones sobre notacin.
Entre las convenciones acerca de la notacin, se suele incluir la supresin de parntesis. Cuando se emplean reglas de supresin de parntesis, lo ms frecuente es asignar prioridad a los conectores. Nosotros tan slo permitiremos la supresin de parntesis externos, pues considero que los parntesis, aunque engorrosos, ayudan mucho a entender las frmulas. Utilizaremos una regla de agrupamiento de cuanticadores que dice lo siguiente: Una secuencia de cuanticadores del mismo tipo pueden simplicarse. De esta forma, en vez de xyzA escribiremos xyzA y en vez de xyzvwA escribiremos xyzvwA Usaremos tambin 6= t como abreviatura de ( = t)
136 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN. Comentario 81 Por supuesto, la apariencia grca de los conectores y cuanticadores es puramente convencional. Los que nosotros usamos son los ms frecuentes, pero tambin se usan: & g = (x)
9.3.
Variables libres y ligadas.
Considerad la siguiente frmula: A x(R2 yz z(R2 xz R2 xy)) en la que las variables subrayadas estn ligadas por los cuanticadores que las preceden; el resto de las variables que aparecen en la frmula estn libres. Es decir, una variable que aparece en una frmula puede estar libre o ligada, dependiendo de si est fuera o dentro del alcance de un cuanticador. A continuacin deniremos mediante recursin para expresiones cualesquiera (trminos y frmulas), la funcin LBR que a cada trmino o frmula le asigna el conjunto de las variables libres en ella. Denicin 82 LBR es una funcin que a cada trmino y a cada frmula le asigna un conjunto de variables, el de las que estn libres en ella. LBR(x) = {x} LBR(f n 1 ... n ) = LBR( 1 ) ... LBR( n ) LBR(Rn 1 ... n ) = LBR( 1 ) ... LBR( n ) LBR( 1 = 2 ) = LBR( 1 ) LBR( 2 ) LBR(A) = LBR(A) LBR(A B) = LBR (A B) = LBR (A B) = LBR (A B) = LBR (A) LBR (B) LBR (xA) = LBR (xA) = LBR (A) {x} Notacin 83 A los trminos sin variables libres los llamamos trminos cerrados o designadores, a las frmulas sin variables libres las llamamos frmulas cerradas o sentencias. Notacin 84 Cuando la variable x LBR(A) podemos secribir A(x) hacerlo ms explcito. para
9.4. SUSTITUCIN DE UNA VARIABLE POR UN TRMINO.
137
9.3.1.
Ejercicios
Para cada una de las frmulas siguientes denid su LBR. Cules de las frmulas siguientes son sentencias? 1. xy(Rxy Ax) Az 2. xy(Rxy Ax) Ax 3. u(vAv (zRvuz Bu)) 4. x(y(P x x(Rx Ry)) zSxyz)
9.4.
Sustitucin de una variable por un trmino.
La sustitucin es una funcin que a cada trmino, a cada variable y a cada expresin le asigna una nueva expresin que resulta de sustituir la variable por el trmino en la expresin original. Frecuentemente esta operacin consiste simplemente en borrar la variable y colocar en su lugar el trmino. Sin embargo, no queremos que se alteren las estancias libres y ligadas por lo que en algunos casos habr que realizar reajustes, e incluso no llevar a trmino la sustitucin. No queremos que como resultado de la sustitucin el signicado de la frmula se altere sustancialmente; queremos que lo que antes se armaba sobre la variable, se arme ahora sobre el trmino. Por ejemplo, la frmula xRxy dice que todos los elementos estn relacionados mediante la relacin nombrada mediante R con un cierto individuo, sin determinar. Si se interpreta esta frmula en la estructura de los naturales y se interpreta la relacin como la de orden, la frmula es claramente falsa ya que el orden de los naturales carece de extremo superior. Si reemplazamos y por z obtenemos la frmula xRxz que dice lo mismo que la anterior. No obstante, si reemplazsemos y por x obtendramos la frmula xRxx que dice que la relacin es reexiva, algo claramente verdadero con la interpretacin anterior. Sin embargo, no queremos que con la sustitucin se produzcan estos cambios de signicado y lo que haremos es, antes de sustituir y por x sustituir la variable cuanticada por una nueva; por ejemplo,v, de esta forma escribimos vRvx que no cambia el sentido de la frmula original, ni su valor de verdad. Denicin 85 La denicin recursiva de la sustitucin de una variable por un trmino en una expresin es como sigue:

t Sx (z) =
t z
si x z en caso contrario
t t t Sx (f n 1 ... n ) = f n Sx ( 1 )...Sx ( n ) t t t Sx (Rn 1 ... n ) = Rn Sx ( 1 )...Sx ( n ) t t t Sx ( 1 = 2 ) = Sx ( 1 ) = Sx ( 2 ) t t Sx (A) = Sx (A) t t t Sx (A B) = Sx (A) Sx (B) t t t Sx (A B) = Sx (A) Sx (B) t t t Sx (A B) = Sx (A) Sx (B) t t t Sx (A B) = Sx (A) Sx (B)
zA
t Sx (zA)
t zSx (A) t v vSx Sz (A)
si x LBR(zA) / x LBR(zA) si z LBR(t) / x LBR(zA) si z LBR(t) v es una variable nueva si x LBR(zA) / x LBR(zA) si z LBR(t) / x LBR(zA) si z LBR(t) v es una variable nueva
zA
t Sx (zA)
t zSx (A) t v vSx Sz (A)
Notacin 86 Cuando t sea un trmino cerrado, y x LBR(A), escribiremos t A(t) en vez de Sx (A(x))
9.4.1.
Ejemplos de sustitucin
a 1. Sx (P x Lx) = P a La a 2. Sx (x(P x Lx) T x) = x(P x Lx) T a a 3. Sx (x(T x P x)) = x(T x P x) a 4. Sx (z((P z T x) Lx)) = z((P z T a) La) a 5. Sx ((xLx T x) x(Lx T x)) = ((xLx T a) x(Lx T x)) z 6. Sx (x(P x P x)) = x(P x P x) z 7. Sx (xP x P x) = xP x P z
9.5. GLOSARIO.
z 8. Sx (z((P z T x) Lx) = v((P v T z) Lz)
139
9.5.
Glosario.
Lenguaje natural (ordinario) Producidos en la evolucin psicolgica e histrica; p.e. espaol, ingls, ruso,... Lenguaje formal (o articial) Creados por el hombre, consta de un alfabeto bsico y de unas reglas de formacin. Metalenguaje y lenguaje objeto Para hablar acerca de nuestro lenguaje formal utilizaremos el castellano, del mismo modo que utilizamos el castellano para estudiar el latn. Cuando sto se hace, al lenguaje en estudio se le llama lenguaje objeto (latn, en el ejemplo) y al lenguaje que utilizamos de vehculo, metalenguaje (castellano, en el ejemplo anterior). Nuestro lenguaje objeto es el lenguaje formal y el castellano, aumentado con algunos signos, es el metalenguaje. Uso y mencin. Decimos que usamos una expresin cuando la utilizamos como un signo; es decir, cuando sta se reere a algo distinto de la propia expresin. Decimos que mencionamos una expresin cuando la utilizamos para referirnos a la expresin misma. Alfabeto. Por alfabeto podemos entender el conjunto de smbolos que forman las expresiones de un lenguaje. El alfabeto de nuestro lenguaje L(R, f , c) de la lgica de primer orden contiene dos tipos de signos; a saber, los comunes a los lenguajes de primer orden orden y los peculiares de cada lenguaje de primer orden. Entre los primeros estn los conectores, los cuanticadores y las variables. Entre los segundos estn los relatores, los functores y las constantes individuales. Conectores. negador, disyuntor, conyuntor, condicionador y bicondicionador. Cuanticadores. cuanticador universal, y cuanticador existencial. Variables (individuales). x, y, z, u, v, w, x0 , x1 , ... Relatores. Un conjunto R de smbolos como nombres para las relaciones: Rn , S n , T n , ... Functores. Un conjunto f de smbolos como nombre para las funciones: f n , g n , hn , ... Constantes (individuales). Un conjunto c como nombre para individuos: a, b, c, ...
140 CAPTULO 9. EL LENGUAJE DE LA LGICA DE PRIMER ORDEN. Trminos, TERM. Sucesiones nitas de signos del alfabeto obtenidas conforme a las reglas T1 a T3 Frmulas, FORM. Sucesiones nitas de signos del alfabeto construdas conforme a las reglas F1 a F4 del clculo de frmulas. Reciben los nombres siguientes: (REGLAS F1 y F2) A (A B) (A B) (A B) (A B) xA xA frmula atmica (o simple) negacin disyuncin conjuncin condicional bicondicional generalizacin particularizacin
Expresin, EXPR. Miembro del conjunto de trminos y frmulas. EXPR = TERM FORM. Subfrmulas. Llamamos subfrmulas de una frmula a todas aquellas partes de una frmula que son tambin frmulas (generadas por F1 a F4). Forma lgica. Es el tipo de frmula; es decir, atmica, negacin, disyuncin, conjuncin, condicional, bicondicional, generalizacin y particularizacin. Clculo (de frmulas). Algoritmo (procedimiento efectivo) mediante el cual podemos generar las frmulas (y justicar que una sucesin determinada de signos del alfabeto lo es) Arbol genealgico (de una frmula). Procedimiento de generacin de subfrmulas. Induccin. Procedimiento mediante el cual se prueba que todas las frmulas tienen una determinada propiedad (o que todos los trminos tienen una determinada propiedad). Se hace en dos pasos: (1) Bsico y (2) Inductivo. Recursin. Procedimiento mediante el cual se introduce un nuevo concepto para todas las frmulas o para todos los trminos. Se hace en dos pasos: (1) Bsico y (2) Inductivo. Variable libre. Variable que no est en el alcance de un cuanticador. Variable ligada. Variable afectada por un cuanticador. LBR(). Conjunto formado por todas las variables libres de la expresin . Designadores. Trminos sin variables.
9.6. REFERENCIAS BIBLIOGRFICAS Sentencias. Frmulas sin variables libres.
141
Sustitucin. Funcin que a cada variable, a cada trmino y a cada expresin le asigna una expresin que resulta de sustituir la variable por el trmino en la expresin original.
9.6.
Lenguaje natural y Lenguaje formal. Lenguaje y Metalenguaje. Uso y Mencin. Funciones veritativas. Se puede encontrar una estupenda explicacin de estos conceptos en DEAO, A (1978) pg 21 a 27. Tambin se puede consultar BERGMANN et alts, (1990), pg 49 a 51. Formalizacin. En el libro de SUPPES (1975), pg 25-44 y 73-89. Tambin en DEAO, A (1978) 238-244. Deao incluye numerosos ejercicios. El mundo de Tarski Encontrareis una informacin actualizada de este y otros programas desarrollados por el CSLI en la siguiente direccin http://www-csli.stanford.edu/hp/
Captulo 10
Semntica
Para interpretar frmulas del lenguaje de primer orden debemos explicitar nuestro dominio de cuanticacin y precisar cmo interpretamos las constantes, los functores y los relatores del lenguaje. En este tema el concepto fundamental a introducir es el de verdad en una estructura. A partir de l se dene el de consecuencia.
10.1.
Estructuras de primer orden
Usaremos letras maysculas de tipo gtico (o similar) para referirnos a estructuras. Aunque no sea imprescindible, nosotros presuponemos la existencia de un lenguaje de primer orden, L(R, f , c) y denimos una estructura adecuada. D E A es una estructura adecuada para L(R, f , c) syss A = donde: 1. A 6= es el universo o dominio de la estructura. (A debe ser un conjunto no vaco.) 2. Para cada relator n-ario R R su interpretacin, RA , es una relacin n aria denida sobre el universo; es decir, RA An 3. Para cada functor n-ario f f su interpretacin, f A , es una funcin n aria denida sobre el universo; es decir, f A : An A 4. Para cada c c su interpretacin, cA , es un elemento del universo; es decir, cA A
A, RA , f A , cA ,
10.1.1.
Ejemplos de estructuras
la estructura si-
EJEMPLO 1.- Sea A = A,cA , cA , cA , cA , cA , AA , RA 1 2 3 4 5 guiente: 143
144
CAPTULO 10. SEMNTICA
A = {1, 2, 3, 4, 5}, cA = i para i=1,2,...5, AA = {i : i tiene un acento 1 circumejo} RA = {< i, j >: hay una echa de i hacia j}
EJEMPLO 2.- ea A = A,cA , cA , cA , cA , cA , AA , RA 1 2 3 4 5 guiente:
la estructura si-
EJEMPLO 3.- Sea A = A,cA , cA , cA , cA , cA , AA , RA 1 2 3 4 5 guiente:
la estructura si-
EJEMPLO 4.- Sea A = A,aA , bA , cA , f4 , RA la estructura siguiente: A = N, aA = 2, bA = 3, cA = 5, f = +, RA = <
10.2. INTERPRETACIN DE L.
145
10.2.
Interpretacin de L.
D E Las frmulas de L(R, f , c) se interpretan en una estructura A = A, RA , f A , cA compuesta de un universo y de una serie de relaciones y funciones denidas sobre el universo. Dada A los designadores de L denotan individuos de A y las sentencias son verdaderas o falsas en A. La idea es bastante simple: los relatores, functores y constantes individuales del lenguaje formal se interpretan como las relaciones, funciones e individuos destacados en la estructura. Las frmulas atmicas se interpretan de modo conjuntista; es decir, la frmula Ra ser verdadera en A siempre que aA RA . La cuanticacin se interpreta restringida al universo de la estructura; por ejemplo, xR2 xx es verdadera en N = hN, i mientras que xy(R2 xy R2 yx) es falsa. Para establecer el valor de verdad de una frmula cualquiera necesitamos previamente asignar valores a las variables; as, cuando sepamos cmo se interpreta la variable y, sabremos si Ry es verdadera o falsa en la estructura A con la asignacin considerada. Basada en esa asignacin se establece el valor de verdad de una frmula cualquiera. ASIGNACIN Una asignacin es una funcin F que otorga un elemento del universo a cada variable; es decir, F : V AR A ASIGNACIN VARIANTE Dada una asignacin cualquiera, F, una vax riable, x, y un individuo del universo de la estructura, x, denimos Fx de la siguiente manera:
x Fx = (F {hx, F (x)i}) {hx, xi}
Esta asignacin coincide con la asignacin F en todo, excepto, tal vez, en el valor de la variable x. En la asignacin variante ese valor es x, mientras que en la asignacin original poda ser cualquier elemento de A. INTERPRETACIN Dada una estructura A y una asignacin F denimos una interpretacin I , I = hA, F i , extendiendo la funcin F de forma que otorgue denotacin a todos los trminos (no solamente a las variables) y un valor de verdad (0: falso, 1: verdadero) a cada frmula del lenguaje formal L; es decir, I :EXPR(L) A {0, 1} tal que I[TERM(L)] A y I[FORM(L)] = {1, 0} Notacin 87 Dada una interpretacion I = hA, F i y una asignacin variante x x Fx , escribiremos Ix para designar a la interpretacin hA, Fx i. x
146
Denicin 88 La denicin de I para TERM(L) se har mediante el procedimiento de induccin semitica, as:
T1. Para cada variable individual x, la interpretacin viene determinada por la asignacin; es decir, I(x) = F (x) T2. Para cada constante a, la interpretacin viene dada en la estructura A; es decir, I(a) = aA T3. Para cada trmino functorial f 1 ... n , la interpretacin es as: I(f 1 ... n ) = f
A
(I( 1 ), ..., I( n ))
Denicin 89 La denicin de I para FORM(L) se har mediante el procedimiento de induccin semitica, de la manera siguiente:
F1. Para cada frmula atmica R 1 ... n , la interpretacin es as: I(R 1 ... n ) = 1 syss hI( 1 ), ..., I( n )i R A F2. En especial, cuando es una igualdad, I( 1 = 2 ) = 1 syss I( 1 ) = I( 2 ) F3. Los conectores reciben la interpretacin habitual: 1. Una frmula negada es verdadera cuando la frmula es falsa y falsa cuando es verdadera. I(C) = 1 syss I(C) = 0 2. Una conjuncin es verdadera cuando ambas frmulas lo son I(C D) = 1 syss I(C) = 1 y I(D) = 1
3. Una disyuncin es verdadera si al menos una de las frmulas lo es I(C D) = 1 syss I(C) = 1 o I(D) = 1 4. Un condicional slo es falso cuando el antecedente es verdadero y el consecuente falso, es verdadero en todos los dems casos I(C D) = 1 syss I(C) = 0 o I(D) = 1
147
5. Un bicondicional es verdadero cuando las dos frmulas son simultneamente verdaderas o falsas I(C D) = 1 syss I(C) = I(D) F4. Las frmulas cuanticadas reciben la siguiente interpretacin: 1. Una generalizacin es verdadera cuando lo es para cada elemento del universo I(xC) = 1 syss para cada a A :Ia (C) = 1 x 2. Una particularizacin es verdadera cuando lo es para algn miembro del universo I(xC) = 1 syss existe un a A tal que:Ia (C) = 1 x
SATISFACIBILIDAD E INSATISFACIBILIDAD Denicin 90 Una frmula C es satisfacible syss hay una interpretacin I tal que I(C) = 1. Denicin 91 Dada una interpretacin I tal que I(C) = 1 decimos que I satisface a la frmula C ; o tambin, que I es modelo de la frmula C. Notacin 92 Es corriente escribir I |= C para indicar que I es modelo de C. Denicin 93 Un conjunto de frmulas es satisfacible syss hay una interpretacin I tal que I(G) = 1 para cada frmula G . Denicin 94 Dada una interpretacin I tal que I(G) = 1 para cada G decimos que I satisface al conjunto ; o tambin, que I es modelo de . Notacin 95 Es corriente escribir I |= para indicar que I es modelo de . Comentario 96 Si el conjunto de frmulas es nito, = {G1 , G2 , ..., Gn }, es satisfacible syss G1 G2 ... Gn es satisfacible. Comentario 97 El concepto intuitivo correspondiente es, como habreis adivinado, el de coherencia, o compatibilidad de creencias. Denicin 98 Una frmula C es insatisfacible syss no es satisfacible; es decir, no hay ninguna interpretacin I tal que I(C) = 1. Denicin 99 Un conjunto de frmulas es insatisfacible syss no hay ninguna interpretacin I tal que I(G) = 1 para cada frmula G .
148
10.2.1.
Ejercicios
EJERCICIO 1.Cules de las siguientes sentencias son verdaderas en la estructura del ejemplo 1 de 10.1.1 ? Verdadero Rc3 c4 Ac5 Rc1 c1 Rc3 c5 Rc1 c2 (Rc1 c3 Rc5 c5 ) Ac4 xRxc2 x(yRyx Ax) z(Az u(Au (Rzu Ruz))) EJERCICIO 2.Considerando de nuevo la estructura del ejemplo 1 de 10.1.1, indicad la verdad o falsedad en l de las sentencias, indicando aparte el alcance de los cuanticadores que aparecen en cada sentencia. Verdadero xAx z(Rzz xRxz) xy(Rxy zRyz) x(yRyx zRxz) xAx yz(Ryz Rzy u(u = y u = z Ryu)) x(Ax yz(Ryz Rzy u(u = y u = z Ryu))) EJERCICIO 3. Sean A = A, RA , B = B, RB , C = C, RC las estructuras representadas en el dibujo (los puntos unidos por lneas ascendentes estn relacionados; es decir, seguimos la pauta de los diagramas de Hasse). Falso Falso
149
1. En el lenguaje comn adecuado a todos ellos (con slo un relator binario como signo peculiar,R2 ) escribid cinco sentencias verdaderas en todos ellos. 2. Estos sistemas tienen una estructura matemtica conocida: escribid los axiomas que caracterizan dicha estructura. 3. Idlos tomando de dos en dos y escribid en cada caso una sentencia que los distinga. EJERCICIO 4.Sean A = hZ, 0, +i y B = hZ, 1, i las estructuras de los enteros con el cero y la adicin y la de los enteros con el uno y el producto. 1. En el lenguaje adecuado a dichos sistemas encontrad una sentencia que sea verdadera en el primerp pero que no lo sea en el segundo. 2. Escribid cinco sentencias verdaderas en ambos.
EJERCICIO 5.Sean A = hN, 0, +1i y B = hN, 0, +2, i las estructursas siguientes: A tiene como universo el conjunto de los nmeros naturales, el cero como funcin ceroaria, la operacin monaria de sumar uno. B slo se distingue de A en su operacin monaria, que aqu es la de sumar dos. 1. En el lenguaje adecuado a dichos sistemas encontrad una sentencia que sea verdadera en el primero pero que no lo sea en el segundo. 2. Escribid cinco sentencias verdaderas en ambos.
EJERCICIO 6. Sean A = A, RA , B = B, S B , C = C, T C los sistemas representados en el dibujo (los puntos unidos por echas estn relacionados).
150
1. En el lenguaje adecuado a todos estos sistemas (con slo un relator binario como signo peculiar, R2 ) escribid cinco sentencias verdaderas en todos ellos. 2. Estos sistemas tienen una estructura matemtica conocida. Escribid las sentencias que caracterizan dicha estructura. 3. Idlos tomando de dos en dos y escribid en cada caso una sentencia que los distinga.
EJERCICIO 7. Sean A = A, RA , B = B, RB , C = C, RC las estructuras representadas en el dibujo (los puntos unidos por lneas ascendentes estn relacionados; es decir, seguimos la pauta de los diagramas de Hasse).
1. En el lenguaje adecuado a todos estos sistemas (con slo un relator binario como signo peculiar, R2 ) escribid cinco sentencias verdaderas en todos ellos. 2. Estos sistemas tienen una estructura matemtica conocida. Escribid las sentencias que caracterizan dicha estructura. 3. Idlos tomando de dos en dos y escribid en cada caso una sentencia que los distinga.
EJERCICIO 8.1. Asociad cada frmula con su signicado en teora de conjuntos, en cual quier estructura A = A, RA , P B (1) (2) (3) x(yRxy P x) x(P x Rxx) x(P x Rxx) (a) (b) (c) P B IRA = P B IRA 6= Dom(RA ) P B
151
Figura 10.1: 2. Encontrad una estructura A = A, RA , P B en donde sean verdaderas las tres frmulas EJERCICIO 9. Sean A = A, RA , B = B, RB , C = C, RC las estructuras representadas en el dibujo (los puntos unidos por lneas ascendentes estn relacionados; es decir, seguimos la pauta de los diagramas de Hasse). 1. En el lenguaje adecuado a todos ellos (con slo un relator binario como signo peculiar,R2 ) escribid tres sentencias verdaderas en todos ellos. 2. Idlos tomando de dos en dos y escribid en cada caso una sentencia que los distinga. 3. Estos sistemas tienen una estructura matemtica conocida: escribid los axiomas que caracterizan dicha estructura.
EJERCICIO 10. Sean A = A, RA , B = B, RB , C = C, RC las estructuras representadas en el dibujo (los puntos unidos por lneas ascendentes estn relacionados; es decir, seguimos la pauta de los diagramas de Hasse).
1. En el lenguaje adecuado a todos ellos (con slo un relator binario como signo peculiar,R2 ) escribid tres sentencias verdaderas en todos ellos.
152
2. Idlos tomando de dos en dos y escribid en cada caso una sentencia que los distinga. 3. Estos sistemas tienen una estructura matemtica conocida: escribid los axiomas que caracterizan dicha estructura.
10.3.
Conceptos clave.
Acabamos de denir los conceptos de satisfacibilidad de una frmula y de un conjunto de frmulas, ahora introducimos la relacin de consecuencia y su negacin (la de independencia) y terminamos deniendo la equivalencia entre frmulas. El concepto de validez se reducir al de consecuencia (del conjunto vaco de frmulas). Tambin, como cuestin terminolgica, diremos que una interpretacin I es un modelo de una frmula (o de un conjunto de frmulas) en el caso en que la interpretacin satisfaga a la frmula (o a cada una de las frmulas del conjunto). Al introducir el concepto de consecuencia hay que hacer hincapie en cmo hemos conseguido precisar la idea intuitiva de razonamiento vlido sin tener que recurrir a la retraduccin al castellano. VALIDEZ, CONSECUENCIA E INDEPENDENCIA. Denicin 100 Una frmula C es consecuencia de un conjunto de frmulas -y escribimos |= C - syss todo modelo de lo es tambin de C; es decir, toda interpretacin que hace verdadera a cada frmula de , hace verdadera a C. Denicin 101 Una frmula C es vlida -y escribimos |= C - syss |= C ; es decir, toda interpretacin hace verdadera a C. Denicin 102 Una frmula C es independiente de un conjunto de frmulas -y escribimos 2 C - syss C no es consecuencia de ; es decir, hay modelos de que no lo son de C. EQUIVALENCIA LGICA. Denicin 103 Dos frmulas C y D son lgicamente equivalentes si y slo si C |= D y D |= C Notacin 104 Usaremos el signo para expresar este metaconcepto, escribiremos C D Comentario 105 no es el bicondicional del lenguaje L, que sigue siendo , es una relacin binaria entre frmulas establecida en el metalenguaje.
10.4. MTODOS PARA DETERMINAR PROPIEDADES SEMNTICAS.153
10.3.1.
Pruebas de independencia
1. Haced una prueba de independencia: a) xyRxy 2 yxRxy b) x(Rx Sx) 2 xRx xSx c) xyz(Rxy Ryz Rxz) 2 xy(Rxy Ryx) 2. Demostrad que el siguiente conjunto ={ 1 , 2 , 3 } de frmulas es independiente; es decir, demostrad que para cada se cumple: {} 2 1 2 3 xyz(Rxy Ryz Rxz) xy(Rxy Ryx x = y) xy(Rxy Ryx)
10.4.
Mtodos para determinar propiedades semnticas.
De momento slo contamos con las deniciones para determinar propiedades semnticas. En captulos posteriores introduciremos las tablas semnticas y un clculo de deduccin natural. Si se compara a la lgica de primer orden con la proposicional, vemos que hemos ganado de forma evidente en cuanto al poder expresivo se reere, pero hemos pagado como tributo con las tablas de verdad. A estas alturas en lgica proposicional contbamos con un procedimiento, el de las tablas de verdad, que en un nmero nito de pasos determinaba si una frmula cualquiera era vlida. En lgica de primer orden no slo no tenemos tablas de verdad sino que se puede demostrar que FOL no es decidible; es decir, no existe ningn procedimiento efectivo (o algoritmo) que en un nmero nito de pasos nos diga si una frmula es vlida o n. Comentario 106 Estos resultados se conocen desde los aos treinta, cuando Church y Turing (de forma independiente) demostraron la indecidibilidad de la lgica de primer orden. Para resolver (negativamente) el problema de la decidibilidad de FOL, que haba planteado Hilbert, tanto Church como Turing tuvieron que precisar y denir matemticamente el concepto de computabilidad efectiva. As nacieron la denominada denibilidad, y la computabilidad mediante mquinas abstractas (de Turing) y se estableci la conocida como tesis de Church, que arma que el concepto intuitivo y el matemtico son equivalentes. Os recominedo la lectura de mi artculo: Vida, Obra y Algunos Milagros de Alonzo Church, publicado por HPL (History and Philosophy of Logic) en 1997 y que os podeis bajar de mi pgina web (http://cts.usal.es/mara)
154
Sin embargo, aunque la validez (y por consiguiente, la insatisfacibilidad) son indecidibles, no todo est perdido pues para frmulas (o conjuntos nitos de frmulas) insatisfacibles la comprobacin se hace en un nmero nito de pasos. Lo que sucede es que si la frmula (o conjunto nito de ellas) es satisfacible el procedimiento de comprobacin puede entrar en un bucle innito. Por consiguiente, la lgica de primer orden (ms concretamente el problema de la validez y el de la insatisfacibilidad) es semi-decidible; es decir, hay procedimientos efectivos que permiten decidir en tiempo nito las respuestas positivas (vlida la frmula, insatisfacible la negacin), pero no siempre las respuestas negativas (no vlida, satisfacible la negacin). Dicho de otra manera, el conjunto de las frmulas vlidas de primer orden no es decidible, pero al menos es recursivamente enumerable. En captulos posteriores introduciremos clculos para la lgica de primero orden y demostraremos su completud y correccin. Comentario 107 Demostrar la indecidibilidad de la lgica de primer orden cae fuera de lo razonable en un curso introductorio de lgica. SATISFACIBILIDAD Directo: Encontrar una interpretacin I tal que I(G) = 1 para cada G INSATISFACIBILIDAD (OBVIO) Directo (no tanto): Demostrar que no hay ninguna interpretacin I tal que I(G) = 1 para cada G
CONSECUENCIA E INDEPENDENCIA Para determinar consecuencia e independencia usaremos el
MTODO MATEMTICO
Quereis conocerlo?
(REDUCCIN AL CASO ANTERIOR)

Es decir, usaremos: C C 2C syss syss syss {C} es insatisfacible {C} es insatisfacible {C} es satisfacible
Comentario 108 Como recordareis de lgica proposicional, nosotros usamos el signo |= en el metalenguaje para expresar propiedades de frmulas, as:
10.5. *ALGUNAS PROPIEDADES DE CONECTORES Y CUANTIFICADORES.155
METALENGUAJE
C es vlida C no es vlida C es una contradiccin C es insatisfacible C es satisfacible C no es vlida C es contingente C 2C C 2 C 2 C y 2 C
10.5.
*Algunas propiedades de conectores y cuanticadores.
Vase la seccin de lgica proposicional 3.7 en donde se enuncian las principales propiedades booleanas de los conectores , y : asociatividad de y , commutatividad, distributividad, leyes de De Morgan, idempotencia, absorcin, doble negacin, etc. Por lo que respecta a la interdenicin de los conectores en lgica proposicional se puede demostrar que nos bastan dos de ellos (por ejemplo, y ) para tener un lenguaje igualmente expresivo que el que ya tenamos. Evidentemente, estos resultados siguen siendo aplicables a FOL. A continuacin damos algunas equivalencias propias de FOL, en donde aparecen cuanticadores. Equivalencias bsicas 1. xA xA 2. xA xA 3. xA xA Cuanticadores y conectores 1. xA xB x(A B) 2. xA xB x(A B) Cuanticacin mltiple 1. xyA yxA 2. xyA yxA
156
Cuanticacin vaca Si x no est libre en B, se cumple: 1. xA B x(A B) 2. xA B x(A B) 3. xA B x(A B) 4. xA B x(A B) Cuanticacin y sustitucin Si x no est libre en A y x 6= y , se cumple:
y 1. xA ySx A y 2. xA ySx A
10.6.
Simplicacin del lenguaje formal.
De la denicin de satisfaccin de frmulas se sigue que no necesitamos todos los conectores y cuanticadores que hemos introducido. Para algunos propsitos -por ejemplo, en las pruebas por induccin semitica, en la mayor parte de las implementaciones informticas-, conviene tener un lenguaje reducido, ms econmico. Sin embargo, no queremos restarle expresividad. Se obtiene un lenguaje al menos tan expresivo como el L, cuando habiendo elegido un subconjunto propio del de sus signos lgicos demostramos que todas las frmulas de L pueden denirse, mediante frmulas equivalentes, usando el conjunto reducido de signos lgicos. De esta manera el lenguaje bsico queda notablemente aligerado y cuando tengamos que demostrar algn metateorema para todas las frmulas, mediante induccin semitica, lo agradeceremos. No obstante, podemos conservar en la prctica del lenguaje objeto todos los signos, ya que las frmulas que incluyen el resto de conectores pueden ser consideradas abreviaturas. De lo consignado en 3.7 y en 1 en apartados precedentes se desprende: Podemos suponer que nuestro lenguaje slo el cuanticador existencial y los conectores y . Las frmulas que incluyen y el resto de conectores , , , pueden considerarse abreviaturas. Podemos suponer que nuestro lenguaje slo tiene el cuanticador universal y los conectores y . Las frmulas que incluyen y el resto de conectores , , , pueden considerarse abreviaturas. Podemos suponer que nuestro lenguaje slo contiene el cuanticador universal, y que slo tiene los conectores y . Las frmulas que incluyen el resto de conectores , , y el particularizador, , pueden considerarse abreviaturas.
10.7. GLOSARIO.
157
En otros contextos se usan otros conjuntos de conectores; por ejemplo, en lgica modal se suele usar {, , }. Las frmulas que incluyen el resto de conectores , , , y el particularizador, , pueden ser consideradas abreviaturas.
10.7.
Glosario.
Estructura. Llamamos estructura a una tupla formada por: (1) Un conjunto no vaco llamado universo o dominio de la estructura, (2) Una serie de relaciones denidas sobre el universo de la estructura, (3) Una serie de funciones denidas sobre el universo de la estructura y (4) una serie de individuos del universo destacados en la estructura. Asignacin. Una asignacin sobre una estructura es una funcin que a cada variable del lenguaje le otorga un elemento del universo de la estructura. Interpretacin. Una interpretacin es un par ordenado formado por una estructura y una asignacin. Dada una interpretacin los trminos del lenguaje adquieren denotacin (individuos del universo) y las frmulas del lenguaje valor de verdad (son verdaderas o falsas). Satisfacible. Una frmula es satisfacible cuando existe una interpretacin que la hace verdadera. Un conjunto de frmulas es satisfacible cuando existe una interpretacin que las hace simultneamente verdaderas. Modelo. Una interpretacin es modelo de una frmula (o de un conjunto de frmulas) cuando la hace verdadera (simultneamente verdaderas). Insatisfacible. Una frmula (o conjunto de frmulas) es insatisfacble cuando no hay ninguna interpretacin que la haga verdadera (simultneamente verdaderas). Consecuencia. Una frmula es consecuencia de un conjunto de frmulas cuando toda interpretacin que hace simultneamente verdaderas a las frmulas del conjunto, hace tambin verdadera a la frmula. Validez. Una frmula es vlida cuando toda interpretacin la hace verdadera. Independencia. Una frmula es independiente de un conjunto de frmulas cuando no es consecuencia de ellas; es decir, hay una interpretacin que hace verdadero al conjunto pero falsa a la frmula. Equivalencia lgica. Dos frmulas son lgicamente equivalentes cuando la primera es consecuencia de la segunda y la segunda de la primera; es decir, el bicondicional entre ellas es una frmula vlida.
158
10.8.
El captulo II de MANZANO, M. Teora de Modelos se ocupa de la Semntica de la lgica de primer orden, pero no tiene un carcter tan elemental como el de estas notas.
Captulo 11
Tableaux para lgica de primer orden

11.1. Introduccin
Ya hemos visto los tableaux para la lgica proposicional (frmulas construidas a partir de tomos usando slo las conectivas booleanas , , , , ). Ahora extenderemos este trabajo a la lgica de predicados (de primer orden) Slo necesitamos aadir algunas reglas para lidiar con los cuanticadores y la identidad. De todos modos, la construccin de un tableau (si hay alguno) para una frmula ya no ser automtica.
11.1.1.

Contenidos
Revisin rpida de la lgica de primer orden Reglas de Tableau para la lgica de primer orden Ejemplos Correccin y completud Dicultades del caso de primer orden Conclusin.
11.2.
Nuevas reglas de tableau para la lgica de predicados
Sea L un lenguaje con un nmero innito de constantes, y sea A una Lfrmula. Hacemos un tableau para A empezando con A y aplicando las reglas de los tableau. Las reglas son exactamente las de la lgica proposicional, con dos reglas mas para los cuanticadores (y dos reglas mas para la identidad vase mas tarde): 159
160
CAPTULO 11. TABLEAUX PARA LGICA DE PRIMER ORDEN
-reglas: 1. Si t es un trmino cerrado y x una variable, entonces de xA(x) podemos deducir A(t). 2. Si t es un trmino cerrado y x una variable, de xA(x) podemos deducir A(t). -reglas: sea x una variable. 1. De xA(x) podemos deducir A(c) para cualquier constante c L que no haya sido usada an en la rama. 2. De xA(x) poemos deducir A(c) para cualquier constante c L que no haya sido usada an en la rama.
11.3.
Ejemplos
Practiquemos con las nuevas - y -reglas.
11.3.1.
Este 1. 2. 3.
Un ejemplo sencillo
es un tableau para xyP xy. xyP xy yP cy 1 P cd 2
Notas La lnea 2 se obutvo de la lnea 1 usando la -regla de xA(x) se deduce A(t) para cualquier trmino cerrado t. Aqu, A(x) era yP xy. Elejimos que t fuese una constante, c. (Podramos haber usado cualquier otro trmino cerrado.) La lnea 3 se obtuvo de la lnea 2 aplicando la -regla de yA(y) se deduce A(c) donde c es una constante nueva. Aqu, A(y) era P cy. Usamos la constante nueva d. No podamos haber usado c porque ya haba sido previamente usada en la rama (lnea 2).
11.3.2.
Otro tableau para xyP xy
Podramos haber seguido aplicando las reglas: 1. xyP xy 1 2. yP cy 2 3. P cd 1 4. yP dy 5. yP f (c, a, d), y 1 4 6. P de 5 7. P f (c, a, d), b es tambin un tableau para xyP xy, y as sucesivamente. Cmo sabemos cundo tenemos que parar?
11.3. EJEMPLOS
161
Intentamos cerrar el tableau, como en la lgica proposicional. Paramos cuando todas las ramas estn cerradas (contienen una contradiccin explcita). Desde luego, puede ocurrir que no seamos lo sucientemente listos como para conseguir cerrarlo Vase mas tarde.
11.3.3.
` para la lgica de predicados
Sea A una sentencia. Escribimos ` A si existe un tableau cerrado para A. Esto es como en la lgica proposicional. Ejemplo 109 Probamos ` xP x xP x. 1. (xP x xP x) 2. 3. 4. 5. 6. xP x xP x Pc xP x P c 1 1 2 3 5
cerrado(4,6) Notas
xP x xP x es obviamente vlida. Las antiguas reglas proposicionales (aqu, ) tambin se usan. Mejor usar las -reglas antes que las -reglas, puesto que tienen restricciones.
11.3.4.
Las -reglas son mas difciles de aplicar que las -reglas
En la lnea 4, la constante c deba ser nueva en la rama. (Sin problemas no se ha usado todava ninguna constante!) Una constante nueva es como cualquier otra. Por lo tanto no importa cul usemos. Una vez que decidimos aplicar una -regla a una frmula, hay esencialmente una nica forma de hacerlo. En la lnea 6, podramos haber sustituido x por cualquier trmino cerrado en la frmula xP (x). Por qu elejimos c? Esta es una cuestin profunda. La respuesta es: nos dimos cuenta de que nos poda servir para cerrar el tableau! La prctica ayuda a hacer esto. Pero no hay un mtodo general (algoritmo) para hacerlo. Despus hablaremos ms de esto.
162
11.3.5.
Otro tableau cerrado
Probamos ` xyCxy yxCxy. 1. (xyCxy yxCxy) 2. xyCxy 3. yxCxy 4. yCay 5. xCxb 6. Cab 7. Cab cerrado(6,7) Notas 1 1 2 3 4 5
En la lnea 4, la constante a tena que ser nueva en la rama. (Sin problemas!) En la lnea 5, la constante b tena que ser nueva en la rama. No podamos haber usado a. En la lnea 6, podemos usar un trmino cerrado para sustituir y en yCay (lnea 4). Miramos la lnea 5 y conjeturamos b, con la esperanza de cerrar el tableau. En la lnea 7, podemos usar cualquier trmino cerrado para sustituir y en xCxb (lnea 5). Elejmos a, para cerrar el tableau.
11.3.6.
Y otro tableau cerrado
Probamos ` x(P x Qx) xP x xQx. 1. (x(P x Qx) xP x xQx) 2. x(P x Qx) 1 3. (xP x xQx) 1 4. xP x 3 5. xQx 3 6. P c Qc 2 XXX X 7. P c 6 9. Qc 6 8. P c 4 10. Qc 5 cerrado(7,8) cerrado(9,10)
11.4.
Reglas de Tableau para la igualdad
1. Podemos introducir t = t en una rama, en cualquier momento, para cualquier trmino cerrado t. 2. Si A(x) es atmica y t, son trminos cerrados, entonces de A(t) y = t (o bien t = ) podemos deducir A( ).
11.4. REGLAS DE TABLEAU PARA LA IGUALDAD
163
Es decir, podemos sustituir un trmino cerrado por otro en una frmula atmica si hemos probado que son iguales. (Esta regla no se limitar a las frmulas atmicas; es decir, A(t) pudiera no serlo) Y esto es todo!
11.4.1.
Ejemplo
Probamos ` x(x = x). 1. x(x = x) 2. (c = c) 3. c = c cerrado(2,3) 1 =
Similarmente probamos ` x(x = x). 1. x(x = x) 2. (c = c) 3. c = c cerrado(2,3) 1 =
Escribimos = para justicar la regla 1.
11.4.2.
Otro ejemplo
Probamos ` xy(x = y y = x). 1. xy(x = y y = x) 2. y(c = y y = c) 1 2 3. (c = d d = c) 3 4. c = d 3 5. (d = c) = 6. c = c =(4,6) 7. d = c cerrado(6,7) La lnea 7 se obtuvo sustituyendo d por c en la lnea 6, usando la lnea 4 (c = d) y =-regla 2. En este uso de la igualdad aplincando la regla 2, t es c es d t = es c = d lnea 4 A(x) es x = c esto es atmico, como requiere la regla. A(t) es c = c lnea 6 A( ) es d = c lnea 7.
164
11.5.
Correccin y completud
Como en la lgica proposicional puede mostrarse que Teorema 110 Para toda L-sentencia A : A es vlida syss ` A. No probaremos esto formalmente. La idea de la prueba es la misma que en la lgica proposicioanl, pero mas complicada porque una rama abierta podra ser innita, y por la presencia de trminos y de la igualdad Vase un libro de texto para los detalles.
11.6.
Ejercicios
Probad lo siguiente construyendo tableaux cerrados: 1. xyCxy ` xyCyx. 2. x(yF xy Gbx), xyF yx ` xGxx. 3. xy(zF yz F xy), F ab ` yxF yx. 4. xy(P xy P yx) ` xP xx. 5. x(Gx Hx), x(Hx F x), Ga ` x(Gx F x). 6. Cb Cc, Ca xCx ` Ca. 7. xF xb xGx, xF ax ` x(Hxc Gx). 8. xy(zAyz Axy), Att ` Ats. 9. xy(Ayx Cxy), Awh ` xChx. 10. xy(Cx P y Axy) ` x(Cx y(P y Axy)). 11. xy(Cx P y Axy) ` x(Cx y(P y Axy)). 12. Ga, x(Gx M x), x(M x F x) ` x(Gx F x). 13. x(Sx F x Bx), Sj Lj ` x(Sx Lx F x) Bj. 14. x(Bxa Bxb) ` x(y(Cxy Bya) z(Bzb Cxz)). 15. x(Cx F x) ` x(y(T xy Cy) z(T xz F z)). 16. x(Bxh Bxw) ` x(y(Bxh M yx) z(Bxw M zx)). 17. x(Rx Bx Cx), x(Gx Cx) ` x(Rx Bx Gx). 18. x(Sx M x y(Gy M y Dy) Cx), x(Gx Dx M x y(Gy M y Dy)) ` xy((Sx M x) (Gy Dy M y) Cx).
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS
165
19. x(Gx P x Rx), x(F x T x) ` (x(P x Rx F x) x(Gx T x)). 20. x(Cxj Cxm Bxm), x(Cxm Bxm) ` x(Cxm Cxj).
11.7.
Solucin a los ejercicios propuestos
(1).- xyCxy ` xyCyx. 1. xyCxy 2. xyCyx 3. yCby 4. yCya 5. Cba 6. Cba closed(5,6) 1 2 4 3
(2).- x(yF xy Gbx), xyF yx ` xGxx. 1. x(yF xy Gbx) 2. xyF yx 3. xGxx 4. yF by Gbb 5. yF yb 6. F bb 7. Gbb XXXX X 8. yF by 4 10. Gbb 4 9. F bb 8 closed(7,10) closed(6,9) 1 2 5 3
(3).- xy(zF yz F xy), F ab ` yxF yx. 1. xy(zF yz F xy) 2. F ab 3. yxF yx 4. xF cx 3 5. F ca 4 6. y(zF yz F cy) 1 7. zF az F ca 6 XXX X X 8. zF az 7 10. F ca 7 9. F ab 8 closed(5,10) closed(2,9)
166
(4).- xy(P xy P yx) ` xP xx. 1. xy(P xy P yx) 2. xP xx 3. P aa 2 4. y(P ay P ya) 1 5. P aa P aa 4 XXXX 6. P aa 5 7. P aa 5 closed(3,6) closed(3,7) (5).- x(Gx Hx), x(Hx F x), Ga ` x(Gx F x). First version: 1. x(Gx Hx) 2. x(Hx F x) 3. Ga 4. x(Gx F x) 5. Ga Ha 1 ((hhhhh ( h ( (( 7. Ha 5 6. Ga 5 8. Ha F a 2 closed(3,6) ``` ` ` 9. Ha 8 10. F a 8 11. (Ga F a) 4 closed(7,9) XXX X 12. Ga 11 13. F a 11 closed(3,12) closed(10,13) Second version: 1. x(Gx Hx) 2. x(Hx F x) 3. Ga 4. x(Gx F x) 5. (Ga F a) 4 ((hhhhh ( h ( (( 7. F a 5 6. Ga 5 8. Ga Ha 1 closed(3,6) ```` ` 9. Ga 8 10. Ha 8 11. Ha F a 2 closed(3,9) XXX X 12. Ha 11 13. F a 11 closed(10,12) closed(7,13)
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS (6).- Cb Cc, Ca xCx ` Ca. 1. Cb Cc 2. Ca xCx 3. Ca 4. Cb 1 5. Cc 1 XXX X 6. Ca 2 7. xCx 2 8. Cb 7 closed(3,6) closed(4,8) (7).- xF xb xGx, xF ax ` x(Hxc Gx). 1. xF xb xGx 2. xF ax 3. x(Hxc Gx) XXX X X 4. xF xb 1 1 7. xGx 5. F ab 4 8. (Hdc Gd) 3 6. F ab 2 8 9. Hdc 8 10. Gd closed(5,6) 7 11. Gd closed(10,11) (8).- xy(zAyz Axy), Att ` Ats. 1. xy(zAyz Axy) 2. Att 3. Ats 4. y(zAyz Aty) 1 5. zAtz Att 4 XXXX X 6. zAtz 5 8. Att 5 7. Ats 6 closed(2,8) closed(3,7) (9).1. 2. 3. xy(Ayx Cxy), Awh ` xChx. xy(Ayx Cxy) Awh xChx 1 4 5 5 3
167
4. y(Ayh Chy) 5. Aah Cha 6. Aah 7. Cha 8. Cha closed(7,8)
168
(10).- xy(Cx P y Axy) ` x(Cx y(P y Axy)). 1. xy(Cx P y Axy) 2. x(Cx y(P y Axy)) (Ca y(P y Aay)) Ca y(P y Aay) y(Ca P y Aay) Ca P b Aab XXX X X 8. Ca 7 9. P b Aab 10. (P b Aab) closed(4,8) closed(9,10) 3. 4. 5. 6. 7. 2 3 3 1 6 7 5
(11).- xy(Cx P y Axy) ` x(Cx y(P y Axy)). 1. xF x xGx 2. x(Gx F x) 3. (Ga F a) 2 4. Ga 3 5. F a 3 XXXX X 6. xF x 1 8. xGx 1 7. F a 6 9. Ga 8 closed(5,7) closed(4,9) (12).- Ga, x(Gx M x), x(M x F x) ` x(Gx F x). 1. Ga 2. x(Gx M x) 3. x(M x F x) 4. x(Gx F x) 5. Gb M b 2 6. Gb 5 7. M b 5 8. M b F b 3 ``` ` ` 9. M b 8 10. F b 8 11. (Gb F b) 4 closed(7,9) XXX X 12. Gb 11 13. F b 11 closed(6,12) closed(10,13)
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS (13).- x(Sx F x Bx), Sj Lj ` x(Sx Lx F x) Bj. 1. x(Sx F x Bx) 2. Sj Lj 3. (x(Sx Lx F x) Bj) 4. x(Sx Lx F x) 3 5. Bj 3 6. Sj Lj F j 4 ((((hhhhhhh h (((( 8. F j 6 7. (Sj Lj) 6 9. Sj F j Bj 1 closed(2,7) ((hhhhh ( h ( (( 15. Bj 9 10. (Sj F j) 9 XXX X closed(5,15) 11. Sj 10 14. F j 10 12. Sj 2 closed(8,14) 2 13. Lj closed(11,12) (14).- x(Bxa Bxb) ` x(y(Cxy Bya) z(Bzb Cxz)). 1. x(Bxa Bxb) 2. x(y(Cxy Bya) z(Bzb Cxz)) 3. (y(Ccy Bya) z(Bzb Ccz)) 4. y(Ccy Bya) 5. z(Bzb Ccz) 6. Ccd Bda 7. Ccd 8. Bda 9. (Bdb Ccd) (((hhhhhh ( h ( (( 14. Ccd 9 10. Bdb 9 11. Bda Bdb 1 closed(7,14) XXX X 12. Bda 11 13. Bdb 11 closed(8,12) closed(10,13) 2 3 3 4 6 6 5
169
170
(15).- x(Cx F x) ` x(y(T xy Cy) z(T xz F z)). 1. x(Cx F x) 2. x(y(T xy Cy) z(T xz F z)) 3. (y(T ay Cy) z(T az F z)) 4. y(T ay Cy) 5. z(T az F z) 6. T ab Cb 7. T ab 8. Cb 9. (T ab F b) ```` ` ` 10. T ab 9 11. F b 9 12. Cb F b 1 closed(7,10) XXX X 13. Cb 12 14. F b 12 closed(8,13) closed(11,14) 2 3 3 4 6 6 5
(16).- x(Bxh Bxw) ` x(y(Bxh M yx) z(Bxw M zx)). 1. x(Bxh Bxw) 2. x(y(Bxh M yx) z(Bxw M zx)) 3. (y(Bah M ya) z(Baw M za)) 2 3 4. y(Bah M ya) 3 5. z(Baw M za) 4 6. Bah M ba 6 7. Bah 6 8. M ba 1 9. Bah Baw ```` ` 10. Bah 9 11. Baw 9 12. (Baw M ba) 5 closed(7,10) XXXX 13. Baw 12 14. M ba 12 closed(11,13) closed(8,14)
(17).- x(Rx Bx Cx), x(Gx Cx) ` x(Rx Bx Gx).
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS 1. x(Rx Bx Cx) 2. x(Gx Cx) 3. x(Rx Bx Gx) 4. (Rc Bc Gc) 3 5. Rc Bc 4 6. Gc 4 7. Rc Bc Cc 1 ((((hhhhh ( h ( 9. Cc 7 8. (Rc Bc) 7 10. (Gc Cc) 2 closed(5,8) XXX X 11. Gc 10 12. Cc 10 closed(6,11) closed(9,12)
171
172
(18).- x(Sx M x y(Gy M y Dy) Cx), x(Gx Dx M x y(Gy M y Dy)) ` xy((Sx M x) (Gy Dy M y) Cx). 1. x(Sx M x y(Gy M y Dy) Cx) 2. x(Gx Dx M x y(Gy M y Dy)) 3. xy((Sx M x) (Gy Dy M y) Cx) y((Sa M a) (Gy Dy M y) Ca)3 ((Sa M a) (Gb Db M b) Ca) 4 5 (Sa M a) (Gb Db M b) 5 Ca 6 Sa M a 6 Gb Db M b 2 Gb Db M b y(Gy M y Dy) ((((hhhhhhh hhhh (((( ( (( 12. y(Gy M y Dy) 10 11. (Gb Db M b) 10 13. (Sa M a) y(Gy M y Dy) Ca 1 closed(9,11) (hhhh hhh (((( h ( h ( (( 17. Ca 13 14. ((Sa M a) y(Gy M y Dy)) 13 (((hhhhhh closed(7,17) ( h ( (( 15. (Sa M a) 14 16. y(Gy M y Dy) 14 closed(8,15) closed(12,16) 4. 5. 6. 7. 8. 9. 10. (19).- x(Gx x(Gx T x)). 1. 2. 3. P x Rx), x(F x T x) ` (x(P x Rx F x) x(Gx P x Rx) x(F x T x) (x(P x Rx F x) x(Gx T x))
3 4. x(P x Rx F x) 3 5. x(Gx T x) 5 6. (Gc T c) 6 7. Gc 6 8. T c 1 9. Gc P c Rc (hhhh hh (((( ( h ( 11. P c Rc 9 10. Gc 9 12. P c Rc F c 4 closed(7,10) ((hhhhh ( h ( (( 14. F c 12 13. (P c Rc) 12 15. F c T c 2 closed(11,13) XXX X 16. F c 15 17. T c 15 closed(14,16) closed(8,17)
11.7. SOLUCIN A LOS EJERCICIOS PROPUESTOS
173
(20).- x(Cxj Cxm Bxm), x(Cxm Bxm) ` x(Cxm Cxj). 1. x(Cxj Cxm Bxm) 2. x(Cxm Bxm) 3. x(Cxm Cxj) 4. Cqm Bqm 2 5. Cqm 4 6. Bqm 4 7. (Cqm Cqj) 3 (hhhh hhhh (((( ((( 9. Cqj 7 8. Cqm 7 10. Cqj Cqm Bqm 1 closed(5,8) ((hhhhh h (((( 14. Bqm 10 11. (Cqj Cqm) 10 XXXX closed(6,14) 12. Cqj 11 13. Cqm 11 closed(9,12) closed(5,13)
11.7.1.
Ejercicios propuestos sin solucin
Demostrad mediante tableaux: 1. uv((Ru Rv) u = v) xRx ` yx(Rx x = y) 2. xy(Rxy f x = y) ` xyz(Rxy Rxz y = z) 3. xy(Rx x = y) ` uv(Ru Rv u = v) 4. x(P x Qx), x(P x Rx) ` x(Rx Qx) 5. x(F x Ra) ` xF x Ra 6. xy (F xy F yx) ` xyF xy 7. xP x Qa ` x (P x Qa) 8. x(P x Rx) ` xP x xRx 9. x(M xa M xb), x(M xa M xc) ` x(M xb M xc) 10. {a = b a = c, b = c} ` xa = x 11. {xyf x = y, xyz(Rxy Ryz Rxz)} ` xyz(Rxf xy Rf yxz Rxz) 12. {x(Rx f x = a), xRx} ` f a = a 13. x(Ox y(Ry Exy), x(Ox y(Hy Exy), xOx} ` x(Hx Rx)
174
11.7.2.
Ejercicios de formalizacin y deduccin en primer orden
EJERCICIO 1.1. Formalizad en primer orden: Si todos los justos (Jx x es justo) merecen el respeto de sus compatriotas (Rx x merece el respeto de sus compatriotas), entonces Cipriano (c Cipriano) mereci su destino (Dx x merece su destino). Todos los magnnimos (M x x es magnnimo) y slo ellos, merecen el respeto de sus compatriotas. Todos los magnnimos son justos. Por consiguiente, Cipriano mereci su destino. 2. Es correcto el razonamiento?. Justica tu respuesta deduciendo la conclusin de las hiptesis en un clculo deductivo o (en su caso) mediante una prueba de independencia. (Nota: en el primer caso, demuestra {, , } ` . en el segundo, demuestra que {, , } 2 EJERCICIO 2.1. Formaliza en primer orden. Usando las siguientes claves: Dx x es un demcrata. Lx x es un liberal. Sx x es un socialista. Cx x es un conservador. Rx x acepta la revolucin industrial. P x x deende la institucin de la propiedad privada de los medios de produccin. M x x deende el establecimiento de una economa de mercado autorregulada. T x x deende la conversin del trabajo en mercanca En el siglo XIX un demcrata poda ser tanto liberal como socialista. Los liberales aceptaban la revolucin industrial y defendan la institucin de la propiedad privada de los medios de produccin, el establecimiento de una economa de mercado autorregulada y la conversin del trabajo en mercanca. Los socialistas aceptaban tambin la revolucin industrial, pero rechazaban esos tres puntos de la ideologa liberal. Los conservadores, por su parte, rechazaban la revolucin industrial. De ello se desprende que ni los liberales ni los socialistas eran conservadores, que ningn liberal era socialista y que ningn conservador era demcrata. 2. Es correcto el razonamiento?. Justica tu respuesta deduciendo la conclusin de las hiptesis en un clculo deductivo o (en su caso) mediante una prueba de independencia. EJERCICIO 3.1. Formaliza en primer orden. Todos los escritores (Ex x es un escritor) que comprenden la naturaleza humana (Cx x comprende la naturaleza humana) son inteligentes (Ix x es inteligente). Nadie es verdadero poeta (P x x es un verdadero poeta) a menos que
175
pueda mover los corazones de los hombres (M x x puede mover los corazones de los hombres). Shakespeare (a Shakespeare) escribi (E 2 xy x escribe y) Hamlet (b Hamlet). Ningn escritor que no comprenda la naturaleza humana puede mover los corazones de los hombres. Nadie sino un verdadero poeta poda haber escrito Hamlet. Shakespeare era inteligente. 2. Es correcto el razonamiento?. Justica tu respuesta deduciendo la conclusin de las hiptesis en un clculo deductivo o (en su caso) mediante una prueba de independencia. EJERCICIO 4.1. Formalizad en porimer orden. Slo hay un sosta (Sx x es un sosta) que ensea gratuitamente (Gx x ensea gratuitamente), y ste es Scrates (a Scrates). Scrastes argumenta mejor que (A2 xy x argementa mejor que y) ningn otro sosta. Platn (b Platn) argumenta mejor que algn sosta que ensea gratuitamente. Si una persona argumenta mejor que otra segunda, entonces esta segunda no argumenta mejor que la primera. Por consiguiente, Platn no es un sosta. 2. Es correcto el razonamiento?. Justica tu respuesta deduciendo la conclusin de las hiptesis en un clculo deductivo o (en su caso) mediante una prueba de independencia. EJERCICIO 5.1. Formaliza en primer orden. Usa las claves de formalizacin siguientes: a Lancelot. b Ginebra. c Arturo. Axy x ama a y. Bxy x es amigo de y Lancelot ama a la Reina Ginebra. Lancelot no ama a ninguno de sus amigos. El Rey Arturo es amigo de Lancelot. Los amigos de Lancelot odian a aquellos a quienes Lancelot ama. Por consiguiente, El Rey Arturo odia a la Reina Ginebra. 2. Es correcto el razonamiento?. Justica tu respuesta deduciendo la conclusin de las hiptesis en un clculo deductivo o (en su caso) mediante una prueba de independencia.
11.8.
Vase 4.8

.

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

.

Cargado por

Copyright:

Formatos disponibles

Apuntes de Lgica

c Proyecto ARACNE 2000

Razonamiento Lgico con diagramas de Venn.

LGICA DE PRIMER ORDEN

La Lgica es lo que tienen en comn ciencias tan dispares como:

MATEMTICAS FILOSOFA LINGSTICA INFORMTICA DERECHO FSICA SOCIOLOGA . . .

CAPTULO 1. INTRODUCCIN GENERAL

CAPTULO 1. INTRODUCCIN GENERAL

EJEMPLO 1.- Polticos! Suponed que un poltico maniesta:

1.3. ENUNCIADOS QUE EXPRESAN CREENCIAS.

Enunciados que expresan creencias.

CAPTULO 1. INTRODUCCIN GENERAL

1.5. LENGUAJE FORMAL.

CAPTULO 1. INTRODUCCIN GENERAL

Conclusin Verdadera Verdadera 1 Falsa 3

Conclusin Verdadera Verdadera 5 Falsa 7

1.6. CONSECUENCIA LGICA.

1.8. REFERENCIAS BIBLIOGRFICAS

CAPTULO 1. INTRODUCCIN GENERAL

El lenguaje de la lgica proposicional.

CAPTULO 2. EL LENGUAJE DE LA LGICA PROPOSICIONAL.

2.1. GRAMTICA Y FORMALIZACIN.

Todos los rboles son pinos es en lgica proposicional un enunciado atmico.

CAPTULO 2. EL LENGUAJE DE LA LGICA PROPOSICIONAL.

Denominacin negacin conjuncin disyuncin condicional bicondicional

2.1. GRAMTICA Y FORMALIZACIN.

CAPTULO 2. EL LENGUAJE DE LA LGICA PROPOSICIONAL.

2.1. GRAMTICA Y FORMALIZACIN.

2.1. GRAMTICA Y FORMALIZACIN. (p q) r r (p q) F p (q q) (q r) p F F * F F

CAPTULO 2. EL LENGUAJE DE LA LGICA PROPOSICIONAL.

Convenciones sobre notacin.

CAPTULO 2. EL LENGUAJE DE LA LGICA PROPOSICIONAL.

3.2. TABLAS DE VERDAD.

CAPTULO 3. SEMNTICA. (Tabla del conector monario de negacin.)

3.2. TABLAS DE VERDAD. p 1 . . . . . . q 1 ... C 1 . . . 1 . . .

34 8. ((p q) (p q)) (r r) 9. (p q) (p q) 10. (p p) (p p)

11. (((p q) r) s) (s ((p q) r)) 12. p (p (q q))

3.4. CONCEPTOS CLAVE.

d) (A B) sea una tautologa

e) (B A) sea una contradiccin

f ) (B (B A)) sea una frmula contingente

d) A es satisfacible si y slo si A es contingente

e) A es una tautologa si y slo si A es contingente

f ) A es una frmula contingente si y slo si A lo es tambin

3. Si A es una frmula contingente y B una contradiccin a) Qu es (A B) ? b) Y (A B) ? c) Y (A B) ?

d) Y (A B) ? 4. Decid si es posible encontrar frmulas A y B tales que: a) (A B) sea una contradiccin

Mtodos para determinar propiedades semnticas.

Reduccin a una frmula: Haces la conjuncin, G1 G2 ... Gn y... qu debe darte?

3.6. CALCULUS RATIOCINATOR.

Para determinar consecuencia e independencia usaremos el

(REDUCCIN AL CASO ANTERIOR)

2. En cada caso determinad si la frmula es consecuencia de las hiptesis. a) b) c) d) e)

Vericar la correccin de algunos razonamientos:

Nuestros conectores booleanos: algunas propiedades.

Teorema 1 (Propiedades booleanas de los conectores.)

Teorema 2 (Interdenicin de los conectores)

Tableaux para la lgica proposicional

Las reglas de los Tableau

CAPTULO 4. TABLEAUX SEMNTICOS.

Las reglas de los tableau reejan el signicado de las conectivas, I.

Las reglas reejan el signicado de las conectivas, II

PPP PP P P 4. (p q) 6. p 7. q -regla de . . . en 4 5. p -regla de en 2

rama cerrada (3, 5)

Las reglas reejan el signicado de las conectivas, III.