Este documento describe métodos de inferencia lógica y cómo evitar falacias y errores en el razonamiento. Explica que los argumentos basados en tautologías son universalmente válidos y que las reglas de inferencia permiten relacionar proposiciones para llegar a conclusiones válidas. También define conceptos como proposiciones, argumentos lógicos y sus componentes de premisas y conclusión.

1. 1358265-457835<br />FACULTAD DE ARQUITECTURA Y ARTES APLICADAS<br />TEMA<br />“INFERENCIA LOGICA ”<br />Trabajo de Investigación de la asignatura: LOGICA MATEMATICA<br />Alumno: Alexander Acosta<br />Periodo: Segundo Semestre<br />Docente: Ing. Patricio Córdova<br />Ambato-Ecuador<br />MÉTODOS DE INFERENCIA LÓGICA, <br />falacias y errores en el racionamiento<br />Es natural que los acontecimientos que ocurren a diario en el mundo den lugar a las dudas, respecto a la calidad de la información que nos llega, o bien cuando se tiene información incompleta, o cuando está sesgada por personas que quieren manipular lo que sucede a su antojo. En otras palabras, siempre en la información que se presenta sobre la ocurrencia de acontecimientos tendrá algo de subjetividad, así que necesitamos estudiar métodos de inferencia Lógica que permitan dar conclusiones válidas, o encontrar los errores que se presentan en los argumentos que escuchamos y decimos (en ocasiones). No es tarea fácil, por supuesto, pero podemos aprender a explicar, a argumentar, a demostrar y justificar, manejando el lenguaje proposicional adecuadamente, con el objetivo de sacarle el máximo provecho, evitando así, ambigüedades y un manejo inadecuado de las investigaciones y de nuestro proceder científico, cuando se nos demande inferencias respecto a lo que sucede en el entorno. <br />Los argumentos basados en tautologías, representan métodos de razonamiento que son universalmente correctos. Su validez depende solamente de la forma de las proposiciones que intervienen y no de los valores de verdad de las variables que contienen. A esos argumentos se les llama reglas de inferencia. Las reglas de inferencia permiten relacionar dos o más Tautologías e hipótesis en una demostración Matemática y son de gran aplicación en las ciencias, la política, la publicidad, la banca, y en general, en todos los ámbitos en donde se razone y se investigue. <br />Los invito a entrar en un mundo fascinante, que nos acercará un poco más al objetivo primordial de hacer investigación científica, desde un enfoque crítico y propositivo, deductivo e inductivo, teniendo en cuenta además, las ideas de Descartes: la evidencia, el análisis, la síntesis y la comprobación, como pasos fundamentales en este gran reto de explicar nuestro devenir y hacer ciencia, porque aún las generaciones futuras lo agradecerán. <br />Recordemos la definición de Proposición :<br />Proposición (Definición)<br />Una proposición se define como un enunciado, una oración declarativa (o interrogativa, imperativa, etc.), o una expresión simbólica, de la cual se puede decir sin ambigüedad, que es verdadera o falsa, pero no ambas. <br />2.1 Definición: (Argumentos lógicos) <br />Son conjuntos de proposiciones de cualquier tipo (Atómica, Molecular, universal, Existencial), que constan de unas proposiciones, llamadas premisas iníciales; de las cuales se obtiene otra proposición, llamada conclusión, mediante un proceso de implicación. <br />Lo podemos simbolizar así: <br />P1 P2 P3 . <br />Premisas Iníciales <br />..Pn <br />_______ <br />C <br />Conclusión (Premisa final) <br />2.1.1Ejemplo: <br />Veamos la frase célebre del filósofo Griego Sócrates: <br />“El orgullo engendra al tirano. El orgullo, cuando inútilmente ha llegado a acumular imprudencias y excesos, remontándose sobre el más alto pináculo, se precipita en un abismo de males, del que no hay posibilidad de salir” <br />Primero, determinamos la conclusión, es decir, la proposición que representa el <br />consecuente (del condicional) en el argumento Lógico, a saber: <br />Conclusión P: “El orgullo engendra al tirano”. <br />2 <br />Se dice que el argumento anterior es válido <br />cuando: <br />P1∧ P2∧ P3∧…∧Pn-> C: es una tautología<br /> <br />15240245110<br /> <br />