Introduccin Este mdulo est concebido para ser un curso introductorio a la lgica Matemtica.

Antes de dar inicio al desarrollo de los temas del curso, y en general, para toda actividad, es importante que nos interroguemos por el origen y propsito de dicho conocimiento, Qu problemas busc resolver el hombre mediante dicho conocimiento? Qu preguntas vamos a contestar con el aprendizaje del curso? Qu competencias se espera que el estudiante desarrolle? Por qu se consideran importantes estas competencias? Por qu, siendo yo un estudiante de regencia de farmacia, o un estudiante de ingeniera, o mejor an, un estudiante de psicologa, debo tomar el curso de Lgica Matemtica? Entre las competencias que debe tener un estudiante, se destaca su capacidad para construir razonamientos deductivos e inductivos, tal que le permitan verificar hiptesis as como generar nuevas, una competencia necesaria, no slo para la investigacin cientfica, sino necesaria para actividades como proponer argumentos vlidos en un ensayo o para debatir ideas. Se considera que la lgica matemtica acompaada de las competencias lingsticas permite plantear las mejores soluciones a diferentes tipos de problemas. Al punto que son estas las competencias que son evaluadas por las universidades para determinar el acceso a programas de educacin superior. La competencia lgico matemtica no hace referencia exclusiva a operaciones con representaciones simblicas y ejercicios complejos. En este curso aprenders cmo en nuestro lenguaje cotidiano hacemos uso de los razonamientos lgicos deductivos e inductivos, siguiendo unas estructuras bsicas que nos permiten afirmar que un razonamiento es o no vlido. Ya Platn en la Repblica nos propone que antes del estudio de una ciencia social como lo es la filosofa era necesaria la preparacin de la mente por medio del estudio de la geometra euclidiana, en la cual el discpulo deba entrenarse haciendo demostraciones de teoremas de la geometra, demostraciones que slo se logran siguiendo una secuencia lgica de pasos ordenados. Hoy, muchas instituciones educativas exigen a sus aspirantes a cualquier programa acadmico, presentar pruebas de admisin que pretenden evaluar las competencias tanto lingsticas como lgico matemticas. Mediante estas evaluaciones, las instituciones pretenden elegir entre todos sus aspirantes a aquellos que se encuentren ms preparados para aprender. Esto es para comprender y elaborar razonamientos lgicos deductivos e inductivos cada vez ms complejos. En este sentido, el curso de lgica matemtica es importante para mejorar en la interpretacin y construccin de razonamientos lgicos presentes tanto en el lenguaje cotidiano como en todas las reas especializadas del conocimiento. Es por esta razn que el

curso de lgica matemtica es un curso transversal a todos los programas acadmicos ofertados por la Universidad Nacional Abierta y a Distancia UNAD. Para leer el mdulo slo se requieren conceptos de conjuntos numricos, y operaciones algebraicas bsicas. La intencin es que el estudiante pueda aprender de este mdulo por s mismo, en este sentido es un texto escrito ms para los estudiantes que para el tutor. En el curso de lgica matemtica, analizaremos diferentes operaciones entre conjuntos, tales como unin, interseccin y complemento, entre otras operaciones, que nos permitirn aclarar la comprensin de las relaciones entre los conectivos lgicos usados en el lenguaje natural, partiendo para ello una representacin grfica. A la par desarrollaremos las destrezas lgico matemticas, dando solucin a problemas como ste: De acuerdo con una encuesta virtual realizada a cincuenta estudiantes de la UNAD, los amantes de la msica de Juanes son 15; mientras que los que nicamente gustan de la msica de Shakira son 20, Cuntos son fanticos de los dos artistas si 10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman ser fanticos de Juanes? Comprenderemos cmo trabajan los conectivos lgicos que usamos diariamente en nuestro leguaje y que pocas veces nos detenemos a analizar y a comprender, por ejemplo, nuestro amigo Boole afirma que cuando gane su equipo predilecto har fiesta, pasado un tiempo encontramos que Boole est festejando pero que su equipo predilecto ha perdido Se est contradiciendo el amigo Boole con su afirmacin inicial?, En este curso descubriremos y analizaremos el conectivo lgico que ha usado Boole en su afirmacin para concluir sobre este asunto. Identificar los conectivos lgicos, las premisas y comprender su funcin en el lenguaje nos permitir disear frases cada vez ms complejas sin que se pierda la coherencia en la construccin gramatical. Posteriormente aprenderemos ha simplificar expresiones complejas o difciles de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas por medio de smbolos. Por ejemplo, al expresar en lenguaje natural que es falso que Augustus no miente; por medio de la lgica aprendemos a llegar a la simplificacin: Augustus miente mediante el Algebra de Boole, utilizando leyes lgicas bsicas que nos permiten validar la simplificacin hecha con un argumento ms all de la simple intuicin. Gracias al desarrollo informtico un estudiante de psicologa, puede implementar una funcin lgica en una hoja de clculo como Excel o Calc, que le permita obtener en segundos el resultado de la aplicacin de un Test psicolgico a una poblacin. En general, gracias a los principios bsicos de la lgica se pueden implementar funciones de aplicacin en todas las reas del conocimiento. Otra interesante aplicacin de la lgica es en el proceso de validar nuestros argumentos. Por ejemplo, analicemos que puede concluirse de la siguiente afirmacin: si llueve hace fro, posteriormente ocurre que hace fro, es entonces correcto concluir que llueve?, Por

medio de la lgica transformaremos esta expresin en lenguaje simblico que posteriormente podremos analizar por medio de una tabla de verdad y descubrir en qu caso especfico la conclusin puede no derivarse de sus premisas. En el mundo de la argumentacin siempre estamos utilizando unos principios lgicos bsicos que estudiaremos en el curso de Lgica Matemtica, permitindonos mejorar en la construccin de argumentos ms fuertes, basados en los cimientos de la lgica. Buen Viento y Buena mar.

Georffrey Acevedo Gonzlez.

Inferencias

Lgicas:

Al profundizar en las proposiciones lgicas, aprenderemos a identificar y clasificar una proposicin dentro de un enunciado cientfico; aprenderemos como una proposicin categrica universal da tradicionalmente apertura al enunciado de una tesis. Al estudiar los mtodos deductivo e inductivo, aprenderemos a reconocer nueve leyes de inferencia. Nueve leyes que usamos en el lenguaje cotidiano. Por ejemplo, cuando juan afirma "Si estudio aprendo" y ocurre que Juan no estudia, que podemos esperar?.. que juan no aprenda. Muy bien, luego de estudiar estos captulos aprenderemos a identificar este sencillo razonamiento como un Modus Tollendo Tollens. Identificando y manejando las leyes de inferencia, podremos mejorar en la argumentacin, y muy pronto estars proponiendo en tus debates una ley de inferencia lgica como instrumento para validar tus argumentos. O porqu no, elaborando una tabla de verdad, en busca de una tautologa que te otorgue la razn. Mediante las leyes de la lgica analizaremos expresiones que son frecuentemente usadas en el lenguaje cotidiano y no son reconocidas o son mal empleadas. Por "Es ejemplo, falso que yo Ana estudio realiza y la trabajo" Que siguiente quiso afirmacin: decir Ana?

Estar afirmando Ana que No estudia y que Tampoco trabaja?, muy bien, en el curso aprenders a usar una representacin simblica que te permitir acceder a una simplificacin utilizando leyes bsicas.

Como podrs observar, siempre hemos utilizado estas formas de simplificacin pero sin ser conscientes de hacerlo. En el curso de Lgica Matemtica aprenders ha reconocerlas y a manejarlas, para que puedas usarlas en tus argumentos, en tus demostraciones, en tus investigaciones y en tu vida cotidiana. Es decir, deseamos que realices una apropiacin de estos conceptos, de manera que te sean tiles para la vida.. desde ahora y por siempre. En otras palabras, la identificacin de estos conceptos en tus otros cursos acadmicos y en tu vida, es lo que le dar el sentido y pertinencia al curso de Lgica Matemtica.

Hemos escuchado hablar de la Lgica tradicional y de la lgica Moderna, profundicemos en las diferencias: La lgica tradicional hace referencia a la lgica de Aristteles, quien formula las teoras del razonamiento y de la demostracin; es decir, que formula la teora de la deduccin. De esta manera, Aristteles nos lleva a comprender la lgica formal como la base de la filosofa. Por otro lado, la lgica moderna constituye la que denominamos Lgica Matemtica, esta lgica fue estructurada, principalmente por Bertrand Russell y Alfred North. Es aqu cuando nos referimos a una lgica que utiliza smbolos; de all que la denominemos lgica de lenguaje formalizado o simblico. Qu nos aportan los smbolos? Al introducir un smbolo eliminamos la ambigedad que introduce el lenguaje natural, es decir, el lenguaje ordinario o coloquial. Esta 1. 2. simplificacin simblica permite Mayor Mayor que podamos lograr dos cosas: complejidad exactitud

Por ejemplo: En lenguaje ordinario podramos expresar: "es falso que es mentira que Diego miente" lo que equivale a afirmar que "Diego miente". Esta expresin algo compleja en el lenguaje natural es transformada en el lenguaje simblico por la expresin: no ( no (no p) en donde p = Diego dice la verdad y no p = Diego miente Muy seguramente, del ejemplo anterior te han surgido dos grandes interrogantes: 1. Es sta una conclusin vlida?

2.

Bajo

qu

principios

leyes

podemos

llegar

esta

conclusin?

Muy bien, estas constituyen dos grandes preguntas a que busca dar respuesta la lgica y para lograrlo la lgica debe estudiar: 1. 2. Las Las leyes estructuras que y los principios que conforman conducen el pensamiento conclusiones vlidas

Cuan til es este conocimiento? Si hoy es viernes, entonces, maana es Sbado. Maana no es Sbado, luego hoy no es viernes; es un ejemplo de un razonamiento que hace parte de la vida diaria, es decir, que no se reduce al mundo de la ciencia. De igual manera, aunque la lgica es un gran instrumento para las ciencias, lo es tambin para nuestra propia vida. Es as como llegamos a unas hermosas conclusiones de nuestro amigo Gustavo Escobar Valencia: "La lgica nos permite descubrir las leyes y los principios que permiten conducirnos con rigor, precisin y verdad hacia el conocimiento" "La lgica nos proporciona normas para la investigacin cientfica y nos suministra un criterio de verdad" Es as como la lgica se ocupa de las formas del pensamiento y no del contenido de los pensamientos ni de la gramtica que expresa los pensamientos, ni de los contenidos especficos de esos pensamientos ni del sujeto que genera los pensamientos.