PROYECTO FINAL ANALIZADOR DE SILOGISMOS A TRAVES DE LGICA ARISTOTLICA Y BOOLEANA Objetivo: Dar a conocer la implicacin del silogismo en la programacin de computadoras. INTRODUCCION: Durante varios siglos la humanidad ha sido capaz de dar soluciones a su entorno a travs de los medios que tiene a la mano, todo lo que nos rodea tiene alguna secuencia que nuestros antepasados han logrado plasmar en nmero o letras, fibonacci con su algoritmo y la existencia de un patrn en la naturaleza, Einstein con su teora de la relatividad, Pascal y Newton con el aporte a las matemticas y fsica, pero todos ellos desde alguna base lgica Aristotlica. Mencionar a Aristteles es recordar que la mente humana es muy poderosa, es mencionar como el ser humano tiende a abreviar y/o conjeturar ideas, conceptos y ver la lgica en todo lo que hace, estandarizar el lenguaje cotidiano. Esto ha embarcado al ser humano desde Aristteles a nuestros tiempos, en un carrera sin fin por mejorar la comprensin del todo. La tecnologa actual tal y como la conocemos, es una evolucin de lo que en un principio Aristteles llamo SILOGISMO. Piense en el prrafo anterior, podr simbolizarlo utilizando letras y conectivos lgicos? Creo que lo duda un poco, pero! Puede ser posible hacerlo. La simbolizacin ha sido para la computadora y la programacin una base fundamental en el diseo de programas tan sofisticados como los que ahora en da conocemos, software de programacin, desarrollo, imagen, sonido, software de alto y bajo nivel, estos siguen las propiedades fundamentales de la lgica Aristotlica, en uno u otro grado de complejidad. Vea el siguiente algoritmo. Figura 1 Qu observa de caracterstico en l? Ve como los conectivos lgicos estn presentes? Puede crear un programa en algn lenguaje de bajo nivel para encontrar la solucin? Por su parte este diagrama de flujo, es un algoritmo que efecta una operacin repetitiva, no importa cul es el valor de x o b, puede ser cualquier nmero. En este algoritmo (para nosotros es un silogismo), no importa que valores tomen las variables, porque no importa el contenido, ms bien lo que SI importa es que la estructura lgica sea correcta para obtener el resultado correcto. En otras palabras, en un silogismo al igual que este algoritmo, solo importa que su estructura lgica sea correcta, las variables x y b pueden tomar cualquier valor y sea vlido, su estructura lgica debe ser vlida.
Diseo: Lea detenidamente cada uno de los enunciados y proceda segn los pasos indicados:
Silogismo 1
Es condicin suficiente que tanto el presidente Perez como el vicepresidente Baldetti renuncien, para que Casimiro asuma la presidencia de la nacin. Pero no es cierto que Casimiro, haya asumido la presidencia de la nacin. De modo que no renunci el presidente Perez o bien el vicepresidente Baldetti no lo hizo.
Silogismo 2
No existe una estrella idntica a Antares fuera de su rbita o existe un planeta en esa estrella llamado Nicomedes. El Neanderthal desapareci de la faz de la tierra debido a un cataclismo producido por la aproximacin de nuestro planeta de un cuerpo celeste de gran tamao. S, si existe una estrella gemela a Antares fuera de su rbita, su planeta Nicomedes destruir la tierra, entonces no es cierto que los Neandertales desaparecieron de la faz de la tierra debido a un cataclismo producido por la aproximacin a nuestro planeta de un cuerpo celeste de considerable tamao. Por tanto no es cierto que, si es cierto que existe un planeta llamado Nicomedes en la estrella gemela de Antares que se halla fuera de su rbita, destruya la tierra.
Silogismo 3
Si los astrnomos observan nuevos planetas con atmosfera fuera de nuestro sistema solar, la tierra no ser el nico planeta habitable en todo el Universo. O la Tierra no es el nico planeta habitable o hay sistemas inexplorados. Por tanto, o los astrnomos no observan un nuevo planeta con atmosfera, fuera de nuestro sistema solar, o la tierra es el nico planeta habitable en el universo.