Resolucion logica

Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado haciadiversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra lógica deriva del término griego Λογικός logikós derivado de λόγος logos 'razón'.[2] Históricamente se considera aAristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las Ciencias.,[3] ya que fue el primero en formalizar completamente el campo.
La lógica formal, como un análisisexplícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a. C.
En China no duró mucho tiempo:la traducción y la investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con la filosofía legista. En India, la lógica duró bastante más: se desarrolló (por ejemplo con la nyaya)hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió parte del trabajo original en lógica. (A pesar de lo anterior, hubo innovaciones escolásticas indias hasta principiosdel siglo XIX, pero no sobrevivió mucho dentro de la India Colonial). El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega.
Aristóteles fue el primeroen emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia. Pensaba que la verdad se manifiesta en eljuicio verdadero y el argumento válido en el silogismo: “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente”.[4]Nació así la lógica formal. Aristóteles formalizó el cuadro de oposición de los juicios y las formas válidas del silogismo.[5] Kant en el siglo XVIII pensaba que Aristóteles había llevado la lógica...