logicaii - tlacuatl.mx
TRANSCRIPT
![Page 1: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/1.jpg)
![Page 2: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/2.jpg)
![Page 3: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/3.jpg)
![Page 4: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/4.jpg)
![Page 5: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/5.jpg)
![Page 6: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/6.jpg)
![Page 7: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/7.jpg)
Zur Ehre unseren E ltern undZulässiger E rgötzung des G eistes
![Page 8: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/8.jpg)
![Page 9: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/9.jpg)
Prefacio
Tanto a la matemática como a la filosofía se les ha considerado paradigmas deconocimientos a priori, caracterizados por el uso de un vocabulario preciso y por elrigor de sus métodos de argumentación. En un terreno común a ambas disciplinas,surgió la lógica matemática como resultado de la reflexión, es decir, de la investigaciónde la mente sobre su propia manera de proceder y, en particular, como un intento decodificar toda forma de razonamiento correcto y de un lenguaje perfecto, adaptadoa las necesidades de toda ciencia posible. La investigación sobre este instrumentoformidable pronto reveló algunas de sus limitaciones, lo que obligó a los filósofos arenunciar a la idea de un lenguaje universal en que pudiese decidirse la validez decualquier argumentación. Esta capitulación del universalismo dio pie a una florecientemultiplicación de lógicas y disciplinas afines que fueron paulatinamente ganando laaceptación y el interés de los investigadores. En la actualidad este proceso sigue enplena expansión, y sistemas lógicos de los más diversos tipos han probado su fertilidaden muchos otros campos del conocimiento. El ingenio y la creatividad que subyacena este proceso invitan a esperar resultados insólitos. Con una visión profética, Carnapescribió (en 1934) a este respecto que se abría ante nosotros un océano ilimitado deposibilidades. A nosotros nos gustaría describir este espectáculo usando una frase deAlicia de Lewis Carroll (un lógico formidable): "Después de lo que me ha ocurrido estedía, ya casi nada me parece imposible".No obstante, la mayoría de los estudiantes permanecen indiferentes a estos desarrollos.Aun los que han tenido la suerte de elegir como profesión la matemática o la filosofía,carecen de una buena formación en lógica. En muchas instituciones de educación su-perior de nuestro país, donde cabría esperar un interés creciente por esta disciplina,reflejado en los programas de las carreras afines a las mencionadas, encontramos unoque otro curso de nuestra materia casi siempre con información meramente introduc-toria que deja al alumno con una idea muy pobre de los temas tratados. La lógica seenseña como algo acabado, con muy poca relación con problemas contemporáneos.El estudiante no sólo adolece de la falta de conocimientos básicos, sino que tampoco
ix
![Page 10: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/10.jpg)
x Prefacio
desarrolla habilidades para el pesamiento crítico. Algo indispensable como es qué sig-nifica o cómo se conduce una demostración, cómo se constituye un argumento, cuálesargumentos son válidos, etc. queda en la más tétrica oscuridad. La disculpa siemprees la misma: son conocimientos que se adquieren sobre la marcha; la consecuencia esla falta de habilidad de los alumnos o egresados para describir simbólicamente unasituación, la incapacidad para elaborar razonamientos lógicos y deducir conclusionescorrectas de una situación dada, la inseguridad al efectuar una demostración o la im-posibilidad de moverse entre el pensamiento de diversas personas.Los autores se han encontrado una y otra vez con este escenario, por lo que considerannecesario contribuir en algo para remediarlo. La lógica matemática crece inexorable-mente, da lugar a nuevas disciplinas, interactúa con las ciencias de la computaciónen muy diversos contextos y extiende sus aplicaciones a la lingüística, la filosofía dela ciencia, la teoría del conocimiento, la inteligencia artificial, los sistemas expertos,etc. La educación tradicional no permite incursionar en estas nuevas disciplinas puesno proporciona la formación en lógica matemática necesaria para tener éxito en estosámbitos.Es importante en este punto destacar que nosotros consideramos diversas ramas dela lógica, como la lógica clásica, la lógica modal, la lógica intuicionista y en próximosvolúmenes también disertaremos sobre otro tipo de lógicas. Las lógicas no clásicashan dejado de ser vistas como una excentricidad de un grupo de pensadores y se hanincorporado a la labor cotidiana en diversas disciplinas, mayormente en las ciencias dela computación, la teoría de juegos, la teoría de decisión y muchas otras.Como ya señalamos en el primer volumen, hay una carencia de libros sobre lógicaen español, pero aun en otros idiomas los textos disponibles no incorporan en formaunificada los temas que se han vuelto indispensables en el presente.Tales son las razones para escribir esta obra. Aquí se presentan con toda formalidadlas diversas nociones de la lógica acompañadas de numerosos ejemplos y ejercicios.Tratamos de explicar con la mayor claridad posible cada una de las construccionesplanteadas, pero sin llegar a extremos innecesarios. Sabemos que un extremo es tannocivo como el otro y que un autor que se excede en sus explicaciones condena al lectora momentos de fastidio o lo limita en su crecimiento intelectual. Escribimos pensandoen un estudiante universitario promedio, pero también en un lector autodidacta.Nuestro punto de partida fueron los cursos de lógica que se imparten en la UniversidadAutónoma Metropolitana Iztapalapa, pero obviamente el contenido se adecua a loscursos que se imparten en numerosas instituciones de México y el extranjero.Éste es el segundo volumen y está antecedido por el texto Lógica matemática I:clásica, intuicionista y modal. Hemos tratado de que el segundo volumen sea, en
![Page 11: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/11.jpg)
Prefacio xi
lo posible, independiente del primer libro; esta independencia significa que el lectorha adquirido los conceptos básicos de la lógica matemática y la madurez necesaria enotros textos o cursos.El libro está diseñado de forma tal que pueda leerse de muy diversas maneras. Por unlado hay tres niveles de profundidad para lectores con diferentes intereses, o para unmismo lector que desee realizar una primera lectura esquemática para sucesivamenteprofundizar en los temas tratados. Otra posibilidad es que el lector no desee leer todoel libro, sino que se interese por cubrir únicamente un determinado tema. En efecto,el libro está elaborado de tal suerte que algunos capítulos puedan leerse con ciertaindependencia del resto.El capítulo introductorio presenta de manera un tanto informal algunas de las nocionescentrales de la lógica clásica. Se trata de dar al lector, en una primera aproximación,una idea del problema central que la lógica intenta resolver y de algunos de los méto-dos empleados para tal propósito. De paso se hacen algunas breves incursiones enla historia de la lógica, lo que permite al lector apreciar la fecundidad y originalidadde los métodos que está por aprender. Damos una brevísima introducción a la teoríasilogística aristotélica, a los métodos lúdicos de Lewis Carroll y al análisis gramaticalfregeano, lo cual permite entrever la teoría de los cuantificadores generalizados y laespecificidad de la lógica moderna. El capítulo finaliza con los métodos de decisiónpara la lógica monádica diseñados por Hilbert y Ackerman, y con algunas lecciones desimbolización. El segundo capítulo presenta ya una definición rigurosa de consecuen-cia lógica para enunciados de un cierto lenguaje formal cuya sintaxis y semántica sedelimitan con precisión. Más adelante se ofrecen definiciones de conceptos relaciona-dos, como el de estructura, y se introducen algunas consideraciones básicas de teoríade modelos. El tercer capítulo expone una serie de métodos semialgorítmicos paradeterminar si un enunciado del lenguaje formal presentado es o no universalmenteverdadero. Entre dichos métodos se encuentran sobretodo el método de los árboles yel método de resolución.En el siguiente capítulo se exponen sistemas axiomáticos y de deducción natural quepermiten obtener en una lista todos y sólo los enunciados lógicamente verdaderos. Allíse prueba el teorema de completud de Gödel, que muestra la correspondencia entrelos métodos sintácticos y los semánticos. Es decir, prueba que los métodos expuestosproducen todas y sólo las fórmulas lógicamente verdaderas. El quinto capítulo es unaintroducción a la lógica modal que ilustra cómo la lógica clásica puede extendersepara aplicarse a zonas intensionales de nuestro lenguaje. Se inicia con una brevepresentación de los sistemas clásicos de lógica modal proposicional, tanto sintácticacomo semánticamente. Más adelante se incorpora a ellos el aparato del cálculo de
![Page 12: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/12.jpg)
xii Prefacio
predicados para formar sistemas de lógica modal cuantificada. Vemos cómo aquí nohay una semántica estándar sino que puede haber diversas elecciones dependiendode ciertas disyuntivas filosóficas. Hemos procurado dar una breve exposición de losdebates filosóficos que están en la base de estas posibilidades. Se utiliza el métodode los árboles adaptado a cada una de estas semánticas. Ulteriormente se ofrecenpruebas de corrección y de completud para algunos de los sistemas expuestos. Elúltimo capítulo introduce al lector en una lógica que representa una desviación de lalógica clásica, a saber, la lógica intuicionista. Se inicia el capítulo exponiendo las ideascentrales que motivan esta lógica, así como la semántica que de ellas resulta. Despuésse expone el método de los árboles para la determinación de la validez o invalidez defórmulas desde el punto de vista intuicionista. La siguiente sección expone un métodode deducción natural para esta lógica, así como algunos resultados que la vinculan consu contraparte clásica. Por último, se prueba la completud y corrección del método delos árboles antes expuesto.Todos los capítulos contienen ejercicios de diferentes grados de complejidad. Enalgunos casos se ofrecen algunas sugerencias para su resolución.Desde ahora es importante hacer una aclaración. Hemos buscado facilitar al máximola lectura del texto y ello nos ha llevado a suprimir, en aquellos casos en que nohay riesgo de confusión, las diferencias entre uso y mención de expresiones. Comopodrá advertirse, con mucha frecuencia empleamos un símbolo de manera autónima,es decir, como su propio nombre; y una expresión como nombre de la concatenaciónde los símbolos que la conforman.Como ya se mencionó, el libro está diseñado para leerse en tres niveles de dificultadcreciente. Algunos temas son más adecuados para lectores intermedios; las secciones
de esta categoría se inician con el símboloN. Además, hay temas que requieren unamadurez aún mayor por parte del lector o apelan a resultados más sofisticados; éstos
se agrupan en apartados que se inician conn. El fin de estas secciones se marca con
los símbolosMym respectivamente.Hemos procurado que el estudioso no requiera leer cada una de los sistemas de pruebamencionados en la obra. Así, por ejemplo, bien puede revisar sólo tablas semánticaso tan sólo el método de Hilbert. Puede prescindir en una primera lectura de losdos últimos capítulos, aunque esto es algo que no recomendamos pues se pierde laformación en la lógica no clásica, disciplina que tiene gran importancia en algunasaplicaciones, como las ciencias de la computación, las cuales trataremos en volúmenesposteriores. También puede ocurrir que el lector pase directamente del primer capítulo
![Page 13: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/13.jpg)
Prefacio xiii
al quinto y sexto si su interés es la lógica no clásica. Toca al instructor decidir cuál es elmejor camino a seguir.Sería de enorme ayuda para los autores conocer las opiniones de colegas, lectores,estudiantes, etc. acerca de este libro, por lo que mucho agradeceríamos nos enviaransus comentarios a la dirección de correo electrónico: antor1845�gmail. omVersiones preliminares de este libro se han utilizado en varios cursos y seminarios.Los autores agradecen los comentarios, sugerencias y correcciones de los estudiantesque participaron en ellos. En particular, queremos expresar nuestro agradecimientoa: Cecilia Hernández, Fanny Brito, Óscar Rendón, Kinrha Aguirre, Marco Talavera yHabersheel Acevedo por las correcciones y mejoras que nos hicieron llegar en diversasetapas del trabajo. Un especial reconocimiento a los árbitros que hicieron numerosassugerencias y correcciones. Este libro fue elaborado en el marco del proyecto CONA-CYT "Los problemas del conocimiento y la comprensión en matemáticas" (13611289),por lo que los autores agradecemos el apoyo recibido de parte de CONACYT.
Xochimilco, D. F,. julio de 2011.
![Page 14: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/14.jpg)
xiv Prefacio
En ese momento nació Huitzilopochtli, se vistió sus atavíos, su escudo de plumas de águila, sus dardos, sulanza-dardos azul, el llamado lanza-dardos de turquesa. Se pintó su rostro con franjas diagonales, con el color
llamado "pintura de niño". Sobre su cabeza colocó plumas finas, se puso sus orejeras. Y uno de sus pies, elizquierdo era enjuto, llevaba una sandalia cubierta de plumas, y sus dos piernas y sus dos brazos les llevaba
pintados de azul.Y este Huitzilopochtli, según se decía, era un portento, porque sólo de una pluma fina, que cayó en el vientre de
su madre, Coatlicue, fue concebido.
Nadie apareció jamás como su padre. A él lo veneraban los mexicas, le hacían sacrificios, lo honraban y servían.
Y Huitzilopochtli recompensaba a quien así obraba.
Códice Florentino, libro III, capítulo 1
![Page 15: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/15.jpg)
Preámbulo
Auh ino ipan quizato inoquittaque cenca miectla- Cuauhcoatl y Axolohua fueron pasando y miraron
mantli in tlanahuizolli in oncanca in acaihtic caye mil maravillas allí entre las cañas y los juncos. Ese
ihca ipampa in nahuatil yuhquimilhui in Huitzil- había sido el mandato que les dio Huitzilopochtli
lopochtli in teomamaque in itahuan in Quauhtle- a ellos que eran sus guardianes, eran sus padres
quetzqui anozo in Quauhcohuatl in Axollohua tla- los dichos. Lo que les dijo fue así: "En donde se
macazqui ca quin nahuati ca yuhquimilhui in tienda la tierra entre cañas y entre juncos, allí
ixquich in oncan inonoc in tollihtic in acaihtic se pondrá en pie, y reinará Huitzilopochtli". Así
in oncan ihcaz, in oncan tlapiez in yehuatl in por su propia boca les habló y esta orden les dio.
Huitzilopochtli ca itencopa quimilhui ca yuhquin Y ellos al momento vieron: sauces blancos, allí
nahuati in Mexica, auh niman oquittaque iztac in enhiestos; cañas blancas, juncos blancos, y aun
ahuehuetl, iztac in huexotl, in oncan ihcac, ihuan las ramas blancas, peces blancos, culebras blancas;
iztac in acatl, iztac in tolli, ihuan iztac in cueyatl es lo que anda por las aguas. Y vieron después
iztac in michin, iztac in cohuatl, in oncan nemi donde se parten las rocas sobre puestas, una cueva
atlan, auh niman oquittaque nepaniuhticac intex- cuatro rocas la cerraban. Una al oriente se ve,
calli in oztotl, inic ce in texcalli in ozotl tonatiuh nada de agua tiene, es sin agua que se agita. La
iquizayan itztoc itoca tleatl, Atlatlayan. Auh inic segunda roca de la cueva ve al norte: se ve que está
ome in texcalli in oztotl mictlampa Ytztoc, inic sobrepuesta, y de ella sale el agua que se llama
nepaniuhtoc, itoca Matlallatl, ihuan itoca Toxpal- agua azul, agua verdosa.
latl. Cuando esto vieron los viejos, se pusieron a llorar.
Auh inoquittaque niman yechoca in huehuetque Y decían ¿Conque aquí ha de ser? Es que estaban
quitohua anca yenican yez, caotiquittaque in- viendo lo que les había dicho, lo que les había or-
techilhui inic technahuati in tlamacazqui in Huit- denado Huitzilopochtli. Es que él les había dicho:
zlipochtli inquihto inyuhqui anquittazque in Tol- "Habéis de ver maravillas muchas entre cañas y
lihtic in acaihtic miectlamantli in oncan ca auh entre juncos". "Ahora las estamos mirando" decían
in axcan coatiquittaque, otic mahuizoque, caye ellos, "¡y quedamos admirados! ¡Cuán verdadero
nelli caomochiuh caoneltic in tlatol inic tech- fue lo dicho, bien se realizó su orden!" Van a bus-
nahuati, niman oquihtoque Mexicaye maoctihuian car a los mexicanos y les dicen: "Mexicanos, va-
caotitlamahuizoque maoctic tlatolchiyecan in tla- mos, vamos a admirar lo que hemos contemplado.
xv
![Page 16: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/16.jpg)
xvi Prefacio
macazqui yehuatl quimati quenin mochihuaz, ni- Digamos al sacerdote; él dirá qué debemos hacer".
man ohuallaque motlallico in oncan Temazcaltit- Fueron a Temazcatitlan y allí se detuvieron.
lan, Por la noche vinieron a ver, vinieron a mostrar-
auh niman yohualtica in oquittac inoquimottiti in se unos a otros y era el sacerdote Cuauhtlaquez-
teomama initoca Quauhtlequetzqui anozo Quauh- qui, que es el mismo Huitzilopochtli. Dijo él:
cohuatl in yehuatl in Huitzilopochtli, oquilhui Cuauhcóhuatl, ¿habéis visto allí todo, lo que hay
Quauhcohuatle caohuanquittaque in ixquich in entre cañas y juncos? ¡Aún resta ver otra cosa!
oncan onoc in acaihtic ohuan tlamahuizoque. Auh No la habéis visto todavía. Id y ved un nopal sal-
tlaxiccaquica occentlamantli in ayemo anquitta. vaje: y allí tranquila veréis un Águila que está
Auh inin xihuian, xiquittati in Tenochtli in on- enhiesta. Allí come, allí se peina las plumas, y con
can anquittazque ic pacca icpac, ihcac in yehu- eso quedará contento vuestro corazón. ¡Allí está el
atl in quauhtli oncan tlaqua, oncan mototonia, corazón de Cópil que tu fuiste a arrojar allá donde
auh ca ic pachihui in amoyollo, ca yehuatl iniy- el agua hace giros y más giros! Pero allí donde vino
ollo in Copil intiqualmayauh in oncan timoquetz a caer, y habéis visto entre los peñascos, en aquella
tlalcocomocco. Auh niman oncan huetzico ino cueva entre cañas y juncos. ¡Del corazón de Cópil
anquittaque texcaltempa, Oztotempa in Acatza- ha brotado ese nopal salvaje! ¡Y allí esperaremos
llan in toltzallan, auh ca oncan ixhuac iniyollo y allí reinaremos! ¡Allí esperaremos y daremos el
in Copil, in axcan motocayotia Tenochtli, auh ca encuentro a toda clase de gentes! Nuestros pechos,
oncan intiezque in titlapiezque, in titechiezque nuestra cabeza, nuestras flechas, nuestros escu-
intitenamiquizque in nepapantlaca telchiquiuh dos. ¡Allí les haremos ver! ¡A todos los que nos
totzonteco tomiuh tochimal, inic tiquimittazque rodean allí los conquistaremos! ¡Aquí estará per-
in ixquich intechyahuallotoc ixquich tiquinpe- durable nuestra ciudad de Tenochtitlan! ¡El sitio
huazque tiquimacizque ic maniz in taltepeuh Mex- donde el Águila grazna, en donde abre las alas; el
ico Tenochtitlan quauhtli ipipitzcayan inetomayan sitio donde ella come y en donde vuelan los peces,
quauhtli itlacuayan, ihuan michin ipatlanian, donde las serpientes van haciendo ruedos y silban!
ihuan cohuatl izomocayan in Mexico in Tenochti- ¡Ese será México Tenochtitlan y muchas cosas han
tlan, auh ca miectlamantli in mochihuaz, niman de suceder! Dijo entonces Cuauhcóhuatl: ¡Muy
oquilhui in Quauhcohuatl, cayequalli tlamacazque bien está, mi señor sacerdote! ¡Lo concedió tu
otlacauhqui imoyollotzin maquicaquican imot- corazón: vamos a hacer que lo oigan mis padres
tahuan in huehuetque in ixquichtin, ic niman los ancianos todos juntos! Y luego hizo reunir a
oquincentalli in Mexica in Quauhcohuatl oquin- los ancianos todos Cuauhcóhuatl y les dio a cono-
caquilti initlatol in Huitzilopochtli inoquicacque cer las palabras de Huitzilopochtli. Las oyeron los
Mexica. mexicanos.
Auh niman onoceppa yahque in Toltzallan in Y de nuevo van allá entre cañas y entre juncos, a
Acatzallan, in Oztotempa, auh ino ipan quizato la orilla de la cueva. Llegaron al sitio donde se
Acatitlan ihcac in Tenochtli, in oncan (Oztotempa levanta el nopal salvaje, allí al borde de la cueva
inoquittaque icpacca icpac ihcac moquetzticae in y vieron tranquila, parada, al Águila en el nopal
![Page 17: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/17.jpg)
Prefacio xvii
Quauhtli in yehuatl in Tenochtli oncan tlaqua, on- salvaje. Allí come, allí devora y echa a la cueva los
can quiqua quitzotzopitzticac in quiqua, auh in restos de lo que come. Y cuando el Águila vio a los
yehuatl in quauhtli inoquimittac in Mexica cenca mexicanos, se inclinó profundamente. Y el Águila
omopechtecac in quauhtli, zan huecapa in conit- veía desde lejos. Su nido y su asiento era todo él
taque) Auh initapazol inipepech, zan moch yehuatl de cuantas finas plumas hay: plumas de azulejos,
in ixquich inepapan tlazo ihuitl in ixquich in xiuh- plumas de aves rojas y plumas de quetzal. Y vieron
totoihuitl, in tlauhquecholihuitl, in ixquich quetza- también allí cabezas de aves preciosas y patas de
lli, auh zan no oncan quittaque in oncan tetepeuh- aves y huesos de aves finas tendidos por tierra.
toc inin tzonteco inepapan totome in tlazototome Le habló el dios y así les dijo: ¡Ah, mexicanos: aquí
in tzonteco oncan zozoticate, ihuan cequitoto icxitl, sí será! ¡México es aquí! Y aunque no veían quién
cequi omitl, les hablaba, se pusieron a llorar y decían: ¡Felices
auh oncan quinnotz in Diablo quimilhui Mexicaye nosotros, dichosos al fin! ¡Hemos visto ya dónde
ye onca yecin, auh yece amo quitta in Mexica in ha de ser nuestra ciudad! ¡Vamos y vengamos a
aquinquinotza ic oncan tlatocayotique Tenochtit- reposar aquí!
lan auh niman ye ic choca in Mexica quitohua otoc-
nopiltic, otomacehualtic caotic mahuizoque in tal-
tepeuh yez, maoctihuian, maoctitocehuiti.
Crónica Mexicáyotl, folios 86, 87
![Page 18: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/18.jpg)
xviii Prefacio
![Page 19: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/19.jpg)
Prefacio xix
Descripción del tlacuache y de sus propiedades medicinales en elCódice Florentino
Inic nahui parrapho itechpa tlatoa in quenami Tlácuatl, tlacuatn o tlatlacuaton. Es lanudillo,
iyeliz, in yolqui, manenenqui, in ituca tlacuatl. muy semejante al zorrillo. Y cuando envejece,
Tlacuatl; tlacuaton, anozo tlatlacuaton: pazal- cuando ya es anciano, ya es anciana, se vuelve
tuntli, huel yuhquin epatl. Auh in ye huecahua, blancuzco. Es de labios agudillos. Se pintó mucho
inic huehue, in ye ilama, tetazahui. Tempitzan- del rostro: se hizo rodetes de tinta alrededor de los
tun. Mihichiuh, mihixtetlilcomolo, nacazhui- ojos. Orejas aguditas, larga la cola, la cola muy
huitzpil, cuitlapilhuiac, cuitlapilxuxupetztic; zan pelada: sólo de carne su cola; en ningún lado tiene
huel nacatl in icuitlapil; acan ca tzontli, in manel cabellos, aunque hay pelusa.
tumitl. Y sus costumbres: en la tierra, en un hoyo, en
Auh in yeliz: tlallan, tlacoyocco, cana tepancamac algún lugar en los boquetes de las paredes, pare
in mopilhuatia. Auh in omopilhuati, in canapa la hembra. Y cuando parió, si va a alguna parte,
yauh, quinhuica in ipilhuan: ca xillan xiquipile. lleva a sus hijos, pues tiene una bolsa en el vien-
Uncan quimotema, uncan quimonaaquia in ipil- tre. Allí los pone: allí mete a sus hijos; los lleva
huan; quinhuica in tlatlacuaz, umpa chichitihui. cuando va a comer; allí van mamando. Luego,
Niman amo yellele, amo tlahuele, amo tecua, amo no es iracundo, no se enoja, no muerde, no trasca
tetetexoa, in icuac ano, in icuac tzitzquilo. Auh in cuando es capturado, cuando es asido. Y cuando es
icuac axihua, choca, pipitzca, huel quiza in imix- cogido llora, chilla, bien salen sus lágrimas, princi-
ayo, oc cenca icuac in ano, ihuan in ipilhuan; cenca palmente cuando es capturada la hembra con sus
quinpipitzquilia in ipilhuan, quinchoquilia, huel hijos; mucho les chilla a sus hijos, le llora, bien
quiza in ixayo. Quimontetema in ixiquipilco, quin- salen sus lágrimas. Los pone en la bolsa; los hace
hualquiquixtia. salir.
Auh in itlacuatl tonacayutl; metzalli, ihuan ne- Y su comida es el maíz y las raeduras de maguey
cutli. Ahu in incayo cualoni. Huelic, yuquin tochin, y la miel. Y su carne es comestible. Es sabroso,
yuhquin citli. Auh in iyomio oc cenca yeh, in icuit- como conejo, como liebre. Pero sus huesos, prin-
lapil, zan niman amo cualoni. In aquin quicuaz, oc cipalmente los de su cola, no son comestibles. A
cenca yeh, intla miec quicuaz, mochi quiza in iitic quien los come, si come muchos, le sale todo lo que
ca, in icuitlaxcol. está en su vientre, sus intestinos.
Ceppa quichtacacua in chichi, ihuan miztun, in Una vez furtivamente un perro y un gato comieron
inacayo tlacuatl. Zan mochi quiteteitz, quitutupotz la carne del tlacuache. En verdad el perro royó,
in omitl, ca nel nozo chichi. In tlthuic, omochi mordió todos los huesos. Al amanecer todos sus
motepehuaco in icuitlaxcoli za quihuilantinemi. intestinos se le vinieron a esparcir, sólo los andaba
Auh inin, icuitlapil, ca patli, ca tlatupehuani, arrastrando.
tlaquixtiani. In canin tlein calaqui, oc cenca yeh Y ésta, su cola, es medicina: porque es arrojado-
momicamac in ahuelquiza, onmopapalteuhteca in ra, es sacadora de cosas. Donde algo entra, prin-
tlacuacuitlapilli, miecpa onmoteca. In manel huel cipalmente en una grieta del hueso, que no puede
![Page 20: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/20.jpg)
xx Prefacio
tzitzicaticac, quiquixtia zan ihuian quiquixtitiuh. salir, se pone abundantemente cola de tlacuache,
Auh in yehuantin in ahuellacachihua, in ahuel mucha ahí se pone. Aunque esté muy atorado lo
mixihui ca coni ic iciuhca tlacati in conetzintli. que se ha encajado, lo hace salir, fácilmente la va
Auh in aquin aoc huel maxixa in maxixtzacua, ca hacer salir. Y ellas, las que paren con dificultad,
coni quitlapoa in piaztli, in cocotli, quipopohua, las que no pueden parir, beben el caldo para que
quiyectia, cochpana in ixtetenca. No yehuatl in rápidamente nazca el niñito. Y el que ya no puede
tlatlaci, no coni in icuitlapil tlacuatl, ca quicxotla, defecar, que tiene estreñimiento, bebe el caldo de
quitemohuia in alahuac. No yehuatl coni in cac- la cola del tlacuache, porque pisotea, hace bajar
ahuatl ipan huei nacaztli ipan tlilxochitl, mecaxo- las flemas. También él lo bebe con cacao, con
chitl ipan, in quin aoc temo quicua in ocuitlaxcol huei nacaztli (Cymbopetalum penduliflorum), con
itlacauh in omotexten. tlixóchitl (Vanilla), con mecaxóchitl (Vanilla plani-
folia), quien ya no digiere lo que come, al que se
le corrompieron los intestinos, el que se repletó de
masa.
A lo largo del libro aparecen diversos relatos, mitos, cuentos relativos al tlacuache,los cuales irán precedidos por la siguiente representación del tlacuache, tomada delCódice Fejérváry-Mayer:
http://www.famsi.org/spanish/
![Page 21: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/21.jpg)
Prefacio xxi
Los relatos, extractos, textos, dichos, adivinanzas, etc. no relacionados con matemáti-cas y que aparecen a lo largo del libro se tomaron de las siguientes fuentes e irán pre-cedidos por la figura:
1. E. Ramírez, G. Valdés, Canciones, mitos y fiestas huicholas, México, DGEI/SEP, 1982.
2. M. Portal, Cuentos y mitos en una zona mazateca, México, INAH, 1986.
3. A. López Austin, Los mitos del tlacuache, caminos de la mitología mesoamericana,Alianza Editorial, México, 1990.
4. E. Florescano, Memoria mexicana, 3a Ed., FCE,1994.
5. Revista Arqueología Mexicana, diversos números.
6. J. Soustelle, El universo de los aztecas. FCE, 1996.
7. F. Alvarado Tezozómoc, Crónica mexicana, 2a Ed., Porrúa, 1975.
8. F. Alvarado Tezozómoc, Crónica mexicáyotl, México, UNAM, 1975.
9. Códice Matritense de la Real Academia de la Historia, Textos en náhuatl de losindígenas informantes de Sahagún, ed. facs. del Paso y Troncoso, vol. VIII,Madrid, 1907.
10. M. León-Portilla, Los antiguos mexicanos, México, FCE, 1987.
![Page 22: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/22.jpg)
xxii Prefacio
11. "Anales de Cuauhtitlan", en Códice Chimalpopoca, México, Imprenta Universitaria,1945.
12. Oraciones, adagios, adivinanzas y metaforas, Del libro sexto del códice florentino,Pórtico de la Ciudad de México, 1993.
IN CALLI IXCAHUICOPA
![Page 23: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/23.jpg)
Índice
Prefacio ix
I Introducción al cálculo de predicados 1I.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1I.2 Lógica monádica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7I.3 ➠ Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 61
II Lógica de primer orden 65II.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65II.2 El lenguaje de la lógica de predicados . . . . . . . . . . . . . . . . . . . . 67II.3 Sintaxis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70II.4 Sintaxis (continuación) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86II.5 Semántica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90II.6 Lógica con igualdad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128II.7 Estructuras particulares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132II.8 Sustitución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141II.9 El tamaño de una estructura (el tamaño sí importa) . . . . . . . . . . . . 145II.10 El lenguaje y los axiomas de la teoría de conjuntos . . . . . . . . . . . . . 151II.11 Apéndice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157II.12 ➠ Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 176
III Pruebas formales 211III.1 Tablas semánticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212III.2 Formas normales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225III.3 Teoría de Herbrand . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 238III.4 El método de Herbrand . . . . . . . . . . . . . . . . . . . . . . . . . . . . 248III.5 Resolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273III.6 Árboles semánticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 290
xxiii
![Page 24: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/24.jpg)
xxiv ÍNDICE
III.7 Correctud y completud de tablas semánticas en lógica de primer orden . 300III.8 Resolución SLD . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312III.9 ➠ Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 332
IV Sistemas axiomáticos y teoremas fundamentales de la lógica de primer orden351IV.1 El sistema de Hilbert H . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 352IV.2 Deducción natural . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 373IV.3 Hacia el teorema de completud de Gödel . . . . . . . . . . . . . . . . . . 401IV.4 El teorema de completud de Gödel y sus consecuencias . . . . . . . . . . 420IV.5 Completud y correctud del sistema de Hilbert . . . . . . . . . . . . . . . 424IV.6 Más sobre compacidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426IV.7 ➠ Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 446
V Lógica modal de primer orden 463V.1 I. Lógica modal proposicional (Repaso) . . . . . . . . . . . . . . . . . . . 463V.2 Completud . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 486V.3 Lógica modal de primer orden . . . . . . . . . . . . . . . . . . . . . . . . 491V.4 Modelos de dominio variable . . . . . . . . . . . . . . . . . . . . . . . . . 522V.5 La semántica IFB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 525V.6 Sistemas axiomáticos con el inverso de la fórmula Barcan . . . . . . . . . 530V.7 Sistemas y árboles no monótonos . . . . . . . . . . . . . . . . . . . . . . . 534V.8 Identidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 541V.9 ➠ Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 550
VI Lógica intuicionista 553VI.1 Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 553VI.2 Lógica intuicionista . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 554VI.3 La identidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 578VI.4 Semántica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 580VI.5 Árboles semánticos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 594VI.6 ➠ Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 612
Bibliografía 613
Índices 615
![Page 25: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/25.jpg)
Bibliografía
[BaSie94] F. Baader, J. Siekmann, Unification theory. En Handbook of Logic inartificial Intelligence and Logic Programming, Vol. 2, D. Gabbay, C.Hogger and J. Robinson Eds., 40–125, Oxford University Press,1994.
[Bor97] E. Boerger, E. Graedel, Y. Gurevich, The Classical Decision Problem,Springer-Verlag, 1997.
[Boo02] G. Boolos, J. Burguess, R. Jeffery, Computability and Logic, FourthEd., Cambridge Univ. Press, 2002.
[Che95] B. F. Chellas, Modal Logic, An Introduction, Cambridge UniversityPress, 1995.
[Cori-Lascar] R. Cori, D. Lascar Mathematical Logic. A Course with Excercises, I,Oxford University Press, 2000.
[Dal04] D. Van Dalen, Logic and Structure, 4th. Ed., Springer-Verlag, 2004.
[Dev93] K. Devlin, The Joy of Sets, Springer-Verlag, 1993.
[Ebbing93] H. Ebbinghaus, J. Flum, W. Thomas, Einführung in die mathematis-che Logik, 4. Auflage, Spektrum Akad. Verlag, 1993.
[Eps06] R. Epstein, Classical Mathematical Logic: The Semantic Foundation ofLogic, Princeton Univ. Press, 2006.
[FerVill09] M. Fernández De Castro Tapia, L. M. Villegas Silva, Lógica mate-mática I: Lógica proposicional, Intuicionista y Modal, UAMI, 2009.
[Gir00] R. Girle, Modal Logic and Philosophy, McGill-Queen’s UniversityPress, 2000.
613
![Page 26: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/26.jpg)
614 Bibliografía[GoJu95] M. Goldstern, H. Judah, The incompletness Phenomenon: A new
course in mathematical Logic, A. K. Peters, 1995.
[Hed04] S. Hedman, A First Course in Logic, Oxford Univ. Press, 2004.
[Hin05] P. Hinman, Fundamentals of Mathematical Logic, A. K. Peters, 2005.
[Hod97] W. Hodges, A Shorter Model Theory, Cambridge Univ. Press, 1997.
[HuC96] G. Hughes, E. Cresswell, M.J. A New Introduction to Modal Logic,Routledge, 1996.
[Mar02] D. Marker, An Introduction to Model Theory, Springer-Verlag, 2002.
[Mend04] E. Mendelson, An Introduction to Mathematical Logic, fourth Ed.,Chapman & Hall, 2004.
[MetNer96] G. Metakides, A. Nerode, Principles of Logic and Logic Programming,North-Holland, 1996.
[Min00] G. Mints, A Short Introduction to Intuitionistic Logic, KluwerAcademic-Plenum Publishers, 2000.
[NerSho94] A. Nerode, R. Shore, Logic for Applications, Springer-Verlag, 1994.
[Pre92] A. Prestel, Einführung in die mathematische Logik und Modelltheorie,Vieweg, 1992.
[Pri01] G. Priest, An Introduction to Non-Classical Logic, Cambridge Uni-versity Press, 2001.
[Qui82] W. V. O. Quine, Methods of Logic, Harvard University Press, 1982.
[Rau06] W. Rautenberg, A Concise Introduction to Mathematical Logic,Springer-Verlag, 2006.
[Rub90] J. E. Rubin, Mathematical Logic: Applications and Theory, SaundersCo. Pub., 1990.
[Shoen01] J. R. Shoenfield, Mathematical Logic, A. K. Peters, 2001.
[ViRoMi00] L. M. Villegas Silva, et. al., Conjuntos y modelos: un curso avanzado,Universidad Autónoma Metropolitana, 2000.
![Page 27: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/27.jpg)
Índice de símbolos
AFin, 434Con(Φ), 402D(A), 260E(Φ), 263E(ϕ), 248Res(ϕ), 273Res∗(ϕ), 273S(ϕ), 231Sat(Φ), 404Teo(N), 433A |= ϕ[α], 100A |= ϕ[a1, . . . , an], 114AA,α(ϕ), 96HΦ, 257L(C), 411Φ ⊢H ϕ, 352Φ ⊢N ϕ, 374Φ+, 257Φ−, 257T, 448∨n
i=1 ϕi, 81∧n
i=1 ϕi, 81⊥, 402⊲⊳, 439∃≥n, 183Σ ⊢ ϕ, 214ϕ(A), 115ϕ(v1, . . . , vn), 87
ϕ ≡ ψ, 106ϕ |= ψ, 106µc(t), 171⊢C, 368⊢ α, 214⊢H, 353⊢N , 374act(ϕ), 89cx,ϕ, 411d(a, b), 183lib(ϕ), 88sn(0), 434sx(t), 161sust(µ, x, t), 164tA[α], 95
AE, 155At(L), 79Atm(L), 79
∃ , 67∀ , 67
Fml(L), 80FNP, 225FNPC, 225FNS, 230
GE, 386Gen, 353
615
![Page 28: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/28.jpg)
616 Índi e de símbolosLTC, 151
MP, 352
PBO, 155PE, 387
rg(ϕ), 80
TSC, 302
umg, 268
ZFE, 153
![Page 29: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/29.jpg)
Índice alfabético
A-asignación, 94AE, 155algoritmo
de Horn, 255de unificación, 269
altura de un término, 71árbol
binario, 212de formación
de un término, 72semántico, 290, 291
argumento, 219válido, 219
asignación, 94axioma
de comprensión, 153de elección, 155de extensionalidad, 153de infinito, 154de potencia, 154de regularidad, 154de remplazo, 154de unión, 153
axiomasanillos de Von Neumann, 77de Hilbert, 352de la igualdad, 128de la teoría de conjuntos, 151
de un orden lineal, 79de un orden lineal sin extremos, 79orden lineal, 139teoría de anillos, 76teoría de campos, 77teoría de grupos, 76teoría de grupos abelianos, 76teoría de módulos, 78
borde, 133
cabeza, 338cambio alfabético, 166campo característica, 442cardinalidad de una estructura, 145cíclo, 134cláusula, 338
de programa, 338meta, 338
compacidad, 431conjunto
bien ordenado, 155de fórmulas consistente, 106de fórmulas inconsistente, 106de Henkin, 405de literales unificable, 268definible, 115enumerable, 147inconsistente de fórmulas, 402
617
![Page 30: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/30.jpg)
618 Índi e alfabéti oinnumerable, 147máximo consistente, 405mínimo satisfacible, 321parcialmente ordenado, 155refutable
de fórmulas, 293consecuencia lógica, 106consistencia, 106cuantificación acotada, 152cuantificador
de conteo, 183existencial, 67universal, 67
deducción natural, 373contrapositiva, 380MP, 380prueba indirecta, 380
demostración por tablas, 214diagrama
de una estructura, 260positivo, 260
distancia entre dos vértices, 183
elementoestándar, 434finito, 434infinito, 434máximo, 155menor, 155no estándar, 434
eliminación de constantes, 412enunciado, 88
lógicamente falso, 114lógicamente válido, 114
equivalencias lógicas, 111espectro de una fórmula, 193estructura de Herbrand, 238
evaluaciónde un término, 95de una fórmula, 96
explicandum, 1explicatum, 1, 2
falsum, 402FNP, 225FNPC, 225FNS, 230forma
normalde Skolem, 230prenexa, 225
fórmula, 73atómica, 73de Horn, 255demostrable por tablas, 214lógicamente válida, 106negativa, 255positiva, 255primitiva, 73válida, 106
fórmulas lógicamente equivalentes, 106
Gen, 353generalización, 352gráfica, 133, 432
completa, 135conexa, 135k-coloreable, 446
gráficas isomorfas, 135
hecho, 338Herbrand, 238H-resolución, 314
igualdad, 69
![Page 31: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/31.jpg)
Índi e alfabéti o 619inconsistencia, 106inducción
en la construcción de una fórmula,80
instancia básica, 248, 263interpretación en una estructura, 91
lema de Zorn, 156lenguaje
aritmética, 68de la teoría de conjuntos, 151espacios vectoriales, 69formal, 67relaciónes de equivalencia, 68teoría
de grupos, 68L-estructura, 91leyes de De Morgan, 126literal, 338
negativa, 338positiva, 338
LN-resolución, 325longitud de un término, 158LTC, 151
meta, 338método de Herbrand, 248modelo
de Herbrand, 239de la aritmética, 434estándar, 434no estándar, 434respeta igualdad, 129
modus ponens, 352MP, 352
negación de una fórmula, 127
no axiomatizabilidad de un buen orden,441
nodo reducido, 301N-resolución, 312
ordenlineal, 155total, 155
PBO, 155PE, 387peso de una cadena, 157principio del buen orden, 155PROLOG, 338prueba, 353
por tablas, 214
rama contradictoria, 291rango de una fórmula, 80regla, 338
C, 366de inferencia, 352de los pesos, 157de selección, 327deducción, 354GE, 386Gen, 353generalización existencial, 386invariante, 327PE, 387prueba existencial, 387
reglas de la deducción natural, 373resolución lineal, 320resolución, 273U-resolvente, 272
semántica, 90símbolo
![Page 32: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/32.jpg)
620 Índi e alfabéti oconstante, 67cuantificador, 67función, 67relación, 67
símboloslógicos, 68no lógicos, 68
sintaxis, 70, 86sistema
de Hilbert, 352completud, 425correctud, 424
deducción natural, 373skolemización, 231SLD-derivación, 327SLD-resolución, 327subfórmula, 86sucesor, 154sustitución, 161sustitución cambio alfabético, 166
tablafinita, 212semántica, 212
completa, 302con premisas, 213
terminada, 302teorema
compacidad, 311completud, 420
tablas semánticas, 310correctud
tablas semánticas, 308correctud para deducción natural,
374de compacidad, 421de Herbrand, 250, 296
Löwenheim-Skolem, 310, 419, 423teoría, 426
completa, 426de N, 433de conjuntos, 151
término básico, 249término, 70testigo, 100testigos, 426trayectoria, 214, 432
en una gráfica, 135TSC, 302
umg, 268unificación, 268unificador, 268
más general, 268universo, 91
de Herbrand, 239
vértice, 133variable
acotada, 87libre, 87ligada, 87
variante, 167
ZFE, 153
![Page 33: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/33.jpg)
El centro y los cuatro rumbos del mundoCódice Fejérváry-Mayer
![Page 34: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/34.jpg)
Así lo vinieron a decir,así lo asentaron en su relato,
y para nosotros lo vinierón a dibujar en sus papeleslos ancianos, las ancianas.
Eran nuestros abuelos, nuestras abuelas,nuestros bisabuelos, nuestras bisabuelas,
nuestros tatarabuelos, nuestros antepasados.Se repitió como un discurso su relato,
nos lo dejaron,y vinieron a legarlo
a quienes ahora vivimos,a quienes salimos de ellos.
Nunca se perderá, nunca se olvidará,lo que vinieron a hacer,
lo que vinieron a asentar en las pinturas:su nombre, su historia, su recuerdo.
Así en el porvenirjamás perecerá; jamás se olvidará,
siempre lo guardaremosnosotros, hijos de ellos, los nietos,
hermanos, bisnietos, tataranietos, descendientes.Quienes tenmos su sangre y color.
Lo vamos a decir, lo vamos a comunicara quienes todavía vivirán, habrán de nacer,
los hijos de los mexicas, los hijos de los tenochas.Y esta relación la guardó Tenochtitlan
cuando vinieron a reinar todos los grandes,estimables ancianos, los señores y reyes tenochcas.
Esta antigua relación oral,esta antigua relación pintada en los códices,
nos la dejaron en México,para ser aquí guardada...
Aquí, tenochcas, aprenderéis cómo empezóla renombrada, la gran ciudad,
México-Tenochtitlan,en medio del agua, en el titular,en el cañaveral, donde vivimos,
donde nacimos,nosotros los tenochcas.
Crónica mexicáyotl
![Page 35: logicaii - tlacuatl.mx](https://reader035.vdocuments.net/reader035/viewer/2022070820/62c67efcfdce9e45534fc71f/html5/thumbnails/35.jpg)
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Dichos
Z uer� Collegium Logi um. Da wird der Gei� Eu� wohl dre�iert, In spanis�e Stiefeln einges�nrt, Da�erbed��tiger so fortan Hins�lei�e die Gedankenbahn, Und ni�t etwa, die Kreuz und Quer, Irrli�telierehin und her. Dann lehret man Eu� man�en Tag, Da�, was Ihr son� auf einen S�lag Getrieben,wie E�en und Trinken frei, Eins! Zwei! Drei! dazu n�tig sei. J. W. GoetheD as Denken geh�rt zu den gr��ten Vergn�gungen der mens�li�en Ra�e.W er A sagt, der mu� ni�t B sagen. Er kann au� erkennen, da A fals� war.D as S�limm�e i� ni�t: Fehler haben, ni�t einmal sie ni�t bek�mpfen, i� s�limm. S�limm i�, sie zuver�e�en.W as sind das f�r Zeiten, wo ein Gespr�� �ber Bume fa� ein Verbre�en i�, weil es ein S�weigen �berso viele Untaten eins�lie�t. B. Bre�tD ie Kommuni�en sind keine besondere Partei gegen�ber den andern Arbeiterparteien. Sie haben keine vonden Intere�en des ganzen Proletariats getrennten Intere�en. Sie �ellen keine sektiereris�en Prinzipien auf,wona� sie die proletaris�e Bewegung modeln wollen.Die Kommuni�en sind also praktis� der ents�ieden�e, immer weiter treibende Teil der Arbeiterparteien aller L�nder; siehaben theoretis� vor der �brigen Ma�e des Proletariats die Einsi�t in die Bedingungen, den Gang und die allgemeinenResultate der proletaris�en Bewegung voraus. K. Marx