ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA INGENIER MDULO DE LGICA GICA MATEMTICA MATEMTICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA ESCUELA DE CIENCIAS BSICAS, TE CNOLOGA EA INGENIERA UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA CIENCIAS BSICAS UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA ESCUELA DE CIENCIAS BSICAS, TE CNOLOGA EA INGENIERA

LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA GE LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA LGICA MATEMTICA
EORFFREY ACEVEDO GONZLEZ Medelln, 2012 1

Lgica Matemtica

Jaime Alberto Leal Afanador Rector Dr. Roberto de Jess Salazar Ramos Asesor de Rectora Vicerrector de Servicios a Aspirantes, Estudiantes y Egresados Miguel Roberto Hernndez Saavedra Dra. El izabeth Vidal Arizabaleta Vicerrectora Acadmica y de Investigacin Dra. Gloria C. Herrera Snchez Vicerrectora de Medios y Mediaciones Pedaggicas Dr. Edgar Guillermo Rodrguez Vicerrector Vicerrectora de Desarrollo Regional Comunitario Gustavo Velsquez Quintana Decano Escuela de Ciencias Bsicas, Tecnologa e Ingeniera Magdalena Pinzn de Posada Vicerrectora de Relaciones Internacionales Maribel Crdoba Guerrero Secretaria General Jorge Eliecer Rondn Coordinador de Ciencias Bsicas

MDULO CURSO DE LGICA MATEMTICA

PRIMERA EDICIN (EN EDICIN)

Copyrigth Universidad Nacional Ab ierta y a Distan cia PROHIBIDA LA REPRODUCCIN Y PUBLICACIN PARCIAL O TOTAL DE ESTA OBRA SIN

AUTORIZACIN DE LA UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ISBN 2011 Centro Nacional de Medios para el Aprendizaje
Actualizacin, Edicin y Diagramacin Georffrey Acevedo Gonzlez Medelln, Colombia. 9 de Mayo de 2012 (material en prensa)

Este material tiene como referencia principal el m dulo diseado por la Dra. Nubia Janeth Galindo Patio en el ao de 1999 para la Universidad Nacional Abierta y a Distancia UNAD. Santa Fe de Bogot. D.C. 1999 Portada: Aristteles segn un manuscrito de su Historia naturalis. Roma 1457 (Cod. vindob. phil. gr.). Medelln Colombia Mayo de 2012.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA OH dicha de entender, mayor que la de imaginar o la de sentir! Borges. La teora del silogismo categrico es uno de los ms hermosos descubrimientos del espritu humano Leibniz

Introduccin

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

actividad, es importante que nos interroguemos por el origen y propsito de dicho conocimiento, Qu problemas busc resolver el hombre mediante dicho conocim iento? Qu preguntas vamos a contestar con el aprendizaje del curso? Qu competencias se Entre las competencias que debe tener un estudiante, se destaca su capacidad para espera que el estudiante desarrolle? Por qu se consideran importantes construir razonam ientos deductivos e inductivos, tal que le permitan estas verificar hiptesis as competencias? qu, siendo yo un estudiante de regencia farmacia, o como generarPor nuevas, una competencia necesaria, no de slo para la un estudiante cientfica, investigacin Se considera que la mejor lgica matemtica acompaada las competencias lingsticasdebo tomar el de an, un estudiante de psicologa, sinoingeniera, necesaria o para actividades com o de proponer argumentos vlidos en un permite plantear las mejores soluciones a diferentes tipos de problemas, al punto que son curso de Lgica stas ensayo las competencias o para que son evaluadas por universidades en todo el mundo para determinar el acceso a programas de educacin superior. Matemtica? debatir ideas.
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. 3

Antes de dar inicio al desarrollo de los temas del curso, y en general, para toda

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA MDULO DE LGICA MATEMTICA

Lgica Matemtica

Posteriormente aprenderemos a simplificar expresiones complejas o difciles de descifrar usando el lenguaje natural, para ello utilizaremos leyes expresadas por medio de Hoy, muchas instituciones educativas exigen a sus smbolos. Por ejemplo, al expresar en lenguaje natural que es falso que Augustus no cualquier programa miente; por medio de la lgica aprendemos a llegar a la simplificacin: Augustus miente, utilizando leyes lgicas bsicas que nos permiten validar la simplificacin con un acadmico, presentar pruebas de admisin quehecha pretenden argumento ms all de la simple intuicin.

aspirantes a evaluar las

competencias tanto Gracias al desarrollo estudiante de psicologa, puede implementar lingsticas como informtico lgico unmatemticas. Mediante estas unaevaluaciones, las funcin En lgica este en sentido, una hoja el de curso clculo de como lgica Excel matemtica o Calc, que es le importante permita obtener para mejorar en segundos en la instituciones el resultado de y la aplicacin de un psicolgicolgicos a una poblacin. general, gracias a los interpretacin construccin de Test razonamientos presentesEn tanto en el lenguaje pretenden elegir entre todos sus aspirantes a esta aquellos principios bsicos de la las lgica se especializadas pueden implementar funciones Es depor aplicacin en todas las se encuentren cotidiano como en todas reas del conocimiento. razn que elque reas conocimiento. curso de lgica matemtica es un curso transversal a todos los programas acadmicos msdel preparados ofertados por la Universidad Nacional Abierta y a Distancia UNAD. para Otra aprender. esde para comprender y deelaborar razonamientos lgicos interesante Esto aplicacin la lgica es en el proceso validar nuestros argumentos. ejemplo, analicemos puede concluirse de la siguiente Para leer e el Por m dulo slo se requieren conceptos qu de conjuntos numricos, y deductivos operaciones algebraicas bsicas. La intencin es que el estudiante pueda afirmacin: si inductivos cada vez ms complejos. aprender de este llueve hace fro, posteriormente ocurre que hace fro, es entonces mdulo s mismo, en este sentido es un texto escrito ms para los estudiantes correcto por concluir En elel curso de lgica matemtica, analizaremos diferentes operaciones entre que para que llueve?, Por medio desiempre la interseccin lgica transformaremos esta expresin en conjuntos, tales como unin, y complemento, entre otras En el mundo de la argum entacin estamos utilizando unos principios lgicos tutor. bsicos que estudiaremos el curso de Lgica Matemtica, permitindonos mejorar en la lenguaje simblico operaciones, que en nos construccin de argumentos ms fuertes, basados en los cimientos de la lgica. que posteriormente analizar medio entre de una tabla de verdad y permitirn aclarar la podremos comprensin de laspor relaciones los conectivos lgicos descubrir en qu usados en el De acuerdo con una encuesta virtual realizada a cincuenta de la Buen caso Viento especfico ynatural, Buena la mar. conclusin puede no de derivarse de susestudiantes premisas. lenguaje partiendo para ello una representacin grfica. A la par UNAD, los amantes de la msica de Juanes son 15; mientras que los que nicamente desarrollaremos gustan de la msica de Shakira son 20, Cuntos son fanticos de los dos artistas si Georffrey Acevedo Gonzlez.1 10 de los encuestados, entre los 25 que no son fanticos de Shakira, afirman ser las destrezas lgico matemticas, dando solucin a problemas com o ste: fanticos de Juanes?
Comprenderemos cmo trabajan los conectivos lgicos que usamos diariamente en Agradecimientos nuestro leguaje y que pocas veces nos detenemos a analizar y

a comprender, har fiesta,

pasado un tiempo encontramos que Boole est festejando pero que su equipo predilecto halos perdido Identificar conectivos lgicos, las premisas y comprender su funcin en el lenguaje nos perm itir disear frases cadaBoole vez ms complejas sin que se pierda la Se est contradiciendo el amigo con su afirmacin inicial?, En este 1Maestro en educacin del Instituto Tecnolgico de Monterrey. Ingeniero electrnico de la Universidad de Antioquia. Docente Ocasional de la Escuela de coherencia en ela Ciencias Bsicas Tecnologas Ingeniera de la Universidad Nacional Abierta y a Distancia UNAD- desde 1995. curso www.georffrey.com georffrey.acevedo@unad.edu.co georffrey@gmail.com construccin gramatical. descubriremos y analizaremos el conectivo lgico que ha usado Boole en su afirmacin para 5 concluir sobre este asunto.

por ejemplo, A los estudiantes y tutores del curso que han contribuido en cada perodo con sus aportes, crticas y comentarios. A Jorge Eliecer Rondn, Fuan Evangelista Gmez, Carlos nuestro amigo Boole afirma que cuando gane su equipo predilecto Arturo Serrano y Euclides Daz Arcos por sus aportes.