Este mdulo est concebido para ser un curso introductorio al apasionante mundo de la lgica Matemtica, ha sido diseado para

ser un curso transversal a todos los programas acadmicos de la UNAD. a intencin es !ue el estudiante pueda aprender de este mdulo por s" mismo, en este sentido es un te#to escrito ms para los estudiantes !ue para el pro$esor. %ara leer el mdulo iniciaremos por pro$undi&ar en la nocin de con'unto . En el primer cap"tulo, anali&aremos las di$erentes operaciones entre con'untos, tales como unin, interseccin ( complemento,entre otras operaciones, !ue nos permitirn llegar a la compresin de los conectivos lgicos usados en el lengua'e natural, partiendo de una representacin gr$ica. A la par desarrollaremos las destre&as 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 !, "#u$ntos son %an$ticos de los dos artistas si 1! de los encuestados, entre los 5 que no son %an$ticos de Shakira, a%irman ser %an$ticos de Juanes&' El segundo cap"tulo tiene el ob'etivo de ser una herramienta !ue permite ad!uirir habilidades para comprender conceptos como los conectivos lgicos !ue usamos diariamente en nuestro legua'e ( !ue pocas veces nos detenemos a anali&ar ( comprender, por e'emplo, el amigo Boole afirma que cuando gane su equipo predilecto har fiesta+, pasado un tiempo encontramos !ue ,oole est $este'ando pero !ue su e!uipo predilecto ha perdido, -.e est contradiciendo el amigo ,oole/, en este curso descubriremos ( anali&aremos el conectivo lgico !ue ha usado ,oole en su a$irmacin, para concluir sobre este asunto.

0denti$icar los conectivos lgicos, las premisas ( comprender su $uncin en el lengua'e nos permitir disear $rases cada ve& ms comple'as sin !ue se pierda la coherencia en la construccin gramatical. 1tra interesante aplicacin de la lgica es en el proceso de validar nuestros argumentos. %or e'emplo, analicemos lo !ue puede concluirse de la siguiente a$irmacin) Si llueve hace fro, posteriormente ocurre que hace fro, -es entonces correcto concluir !ue llueve/, por medio de la lgica trans$ormaremos esta e#presin en un lengua'e simblico !ue posteriormente podremos anali&ar por medio de las tablas de verdad, para descubrir en !ue caso espec"$ico el argumento se contradice. En el mundo de la argumentacin siempre estamos utili&ando unos principios lgicos bsicos !ue estudiaremos en este apasionante curso, permitindonos me'orar en la construccin de argumentos $uertes, basados en los cimientos de la lgica. %osteriormente aprenderemos a hacer simpli$icaciones de e#presiones comple'as o di$"ciles de desci$rar usando el lengua'e natural, para ello utili&aremos le(es e#presadas por medio de s"mbolos. %or e'emplo, al e#presar en lengua'e natural !ue *Es falso que Augustus no miente+, por medio de la lgica aprendemos a llegar a la simpli$icacin) Augustus miente+ utili&ando le(es lgicas bsicas !ue nos permiten validar la simpli$icacin hecha con un argumento ms all de la simple intuicin
2. De la lectura anterior es correcto concluir

Su res(uesta ) E.3A N1 E.4 ME A .A5UE MA A Mediante el lengua'e simblico podemos e#presar el lengua'e $ormal en un lengua'e ms $cil de comprender

es $alsa.
De las tablas de verdad es posible deducir el lenguaje natural especfico que dio origen a la misma ESTA ES LA UNI A !UE N" #UA$DE%&& $E" !UE ES ESTA

6.
En el te#to de introduccin al curso de la pgina anterior, se planearon e'emplos de aplicacin de la lgica Matemtica correspondientes a varios de los temas tratados en el mdulo, e#cepto al tema de)

Su res(uesta ) Mapas de 7arnaguh gicos E. 8199E83A :elicitaciones, has reali&ado una lectura consciente de la introduccin al curso. En sta no se plantearon e'emplos de aplicacin para el tema de Mapas de 7arnaguh.
Inferencias L gicas! En el cap"tulo tres del curso haremos una introduccin a las proposiciones, aprendiendo a identi$icar ( clasi$icar una proposicin dentro de un enunciado cient"$ico; aprenderemos como una proposicin categrica universal da tradicionalmente apertura al enunciado de una tesis. En los cap"tulos tres ( cuatro estudiaremos los mtodos deductivo e inductivo ( con ellos aprenderemos a reconocer

nueve le(es de in$erencia. Nueve le(es !ue usamos en el lengua'e cotidiano. %or e'emplo, cuando 'uan a$irma <.i estudio aprendo< ( ocurre !ue =uan no estudia, -!ue podemos esperar/.. !ue 'uan no aprenda. Mu( bien, luego de estudiar estos cap"tulos aprenderemos a identi$icar este sencillo ra&onamiento como Modus 3ollendo 3ollens. 0denti$icando ( mane'ando las le(es de in$erencia, podremos me'orar en la argumentacin, ( mu( pronto estars proponiendo en tus debates una le( de in$erencia lgica como instrumento para validar tus argumentos. 1 por!u no, elaborando una tabla de verdad, en busca de una tautolog"a !ue te otorgue la ra&n. >. Entre las siguientes opciones, elige la correcta)

Su res(uesta ) Una tabla de verdad es un instrumento !ue podemos utili&ar para identi$icar una in$erencia lgica, pero sta no la de$ine completamente. E. 8199E83A Una in$erencia gica no es una tabla de verdad.
?asta a!u", hemos aprendido !ue la primera unidad consta de los siguientes temas)

"eora de con#untos $onectivos L gicos %roposiciones &educci n Inducci n'

En la siguiente unidad estudiaremos Algebra ,ooleana, 8ircuitos gicos ( sus aplicaciones. En la introduccin al curso, hicimos una breve mencin de la aplicacin del Algebra ,ooleana mediante la simpli$icacin de una doble negacin. En esta leccin aprenders a identi$icar ( utili&ar 2> le(es, 2> propiedades !ue al igual !ue las le(es de in$erencias son $recuentemente usadas en el lengua'e cotidiano ( no son reconocidas o son mal empleadas. %or e'emplo, Ana reali&a la siguiente a$irmacin) <Es $also !ue (o estudio ( traba'o< -5ue !uiso decir Ana/ -Estar a$irmando Ana !ue No estudia ( !ue 3ampoco traba'a/, mu( bien, en esta unidad aprenders a usar una representacin simblica !ue te permitir acceder a una simpli$icacin Algebraica utili&ando las le(es del Algebra ,ooleana. 8omo podrs observar, siempre hemos utili&ado estas $ormas de simpli$icacin pero sin ser conscientes de hacerlo. En el curso de gica Matemtica aprenders ha reconocerlas ( a mane'arlas, para !ue puedas usarlas en tus argumentos, en tus demostraciones, en tus investigaciones ( en tu vida cotidiana. Es decir, deseamos !ue realices una apropiacin de estos conceptos, de manera !ue te sean @tiles para la vida.. desde ahora ( por siempre. En otras palabras, la identi$icacin de estos conceptos en tus

otros cursos acadmicos ( en tu vida, es lo !ue le dar el sentido ( pertinencia al curso de gica Matemtica. A.

Su res(uesta ) os conceptos estudiados en el curso de lgica, estn directamente relacionados con el lengua'e cotidiano ( por lo tanto pueden ser utili&ados en un debate. ..es 8199E83A El lengua'e cotidiano est plagado de in$erencias lgicas ( simpli$icaciones propias del Algebra ,ooleana.
?emos escuchado hablar de la gica tradicional ( de la lgica Moderna, pro$undicemos en las di$erencias) a l gica tradicional hace re$erencia a la lgica de Aristteles, !uien $ormula las teor"as del ra&onamiento ( de la demostracin; es decir, !ue $ormula la teor"a de la deduccin. De esta manera, Aristteles nos lleva a comprender la lgica $ormal como la base de la $iloso$"a. %or otro lado, la l gica moderna constitu(e la !ue denominamos gica Matemtica, esta lgica $ue estructurada, principalmente por ,ertrand 9ussell ( Al$red North. Es a!u" cuando nos re$erimos a una lgica !ue utili&a s"mbolos; de all" !ue la denominemos lgica de lengua'e $ormali&ado o simblico. ()u* nos aportan los sm+olos, Al introducir un s"mbolo eliminamos la ambigBedad !ue introduce el lengua'e natural, es decir, el lengua'e ordinario o colo!uial.

Esta simpli$icacin simblica permite !ue podamos lograr dos cosas) 2. Ma(or comple'idad 6. Ma(or e#actitud %or e#emplo! En lengua'e ordinario podr"amos e#presar) )es %also que es mentira que Diego miente) lo !ue e!uivale a a$irmar !ue )Diego miente). Esta e#presin algo comple'a en el lengua'e natural es trans$ormada en el lengua'e simblico por la e#presin) no C no Cno pD en donde p E Diego dice la verdad ( no p E Diego miente -u. seguramente te han surgido dos grandes interrogantes! 2. -Es esta una conclusin vlida/ 6. -,a'o !ue principios o le(es podemos llegar a esta conclusin/ Mu( bien, estas constitu(en dos grandes preguntas a !ue busca dar respuesta la lgica ( para lograrlo la lgica debe estudiar) 2. as estructuras !ue con$orman el pensamiento 6. as le(es ( los principios !ue conducen a conclusiones vlidas ($uan /til es este conocimiento, .i ho( es viernes, entonces, maana es .bado. Maana no es .bado, luego ho( no es viernes; es un e'emplo de un ra&onamiento !ue hace parte de la vida diaria, es decir, !ue no se reduce al mundo de la ciencia. De igual manera, aun!ue 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 Fustavo Escobar Galencia)

)*a l+gica nos (ermite descu,rir las le-es - los (rinci(ios que (ermiten conducirnos con rigor, (recisi+n - verdad hacia el conocimiento) )*a l+gica nos (ro(orciona normas (ara la investigaci+n cient.%ica - nos suministra un criterio de verdad) Es as" como la lgica se ocupa de las $ormas del pensamiento ( no del contenido de los pensamientos ni de la gramtica !ue e#presa los pensamientos, ni de los contenidos espec"$icos de esos pensamientos ni del su'eto !ue genera los pensamientos. H.
De la lectura se in$iere !ue son ob'etos de estudio de la lgica

N1 A FUA9DE44

I.
.obre la lgica tradicional es correcto a$irmar !ue

:ue $ormulada por Aristteles

J. .obre el lengua'e simbolico es correcto a$irmar)

N1 A FUA9DE4..

/0 Su res(uesta ) El curso de gica Matemtica cobra sentido cuando en l ad!uirimos conocimientos !ue transcienden para nuestras vidas .. es correcta. .i logras aprender algo nuevo para toda tu vida, entonces tiene sentido este curso.
?asta a!u", hemos visto !ue la segunda unidad del Mdulo de gica Matemtica comprende los temas de)

De$inicin ( principios de un Algebra ,ooleana e(es del Algebra ,ooleana .impli$icacin de e#presiones Algebraicas 8ircuitos gicos Aplicacin de los 8ircuitos gicos -%or!u circuitos en un curso de lgica/ Es com@n pensar !ue los circuitos lgicos se originan en el mundo de la electrnica digital, pero no ha sido as". %or el contrario, ha sido la electrnica la !ue ha tomado los conceptos del Algebra ,ooleana ( los 8ircuitos gicos para desarrollar las tecnolog"as digitales !ue tanto nos gustan. Mediante los circuitos lgicos haremos representaciones gr$icas de las $unciones gicas .impli$icadas en el cap"tulo del Algebra ,ooleana. Es decir, un circuito lgico es un diagrama !ue $acilita la comprencin del $lu'o de las seales lgicas. De esta manera, podremos encontrar un e!uivalente circuital a una e#presin del lengua'e natural. :inalmente, desarrollaremos interesantes e'ercicios de aplicacin a la solucin de problemas cotidianos mediante las herramientas del Algebra ( los 8ircuitos gicos. K.

Su res(uesta ) os circuitos gicos estn directamente relacionados con el Algebra ,ooleana E. 8199E83A

os circuitos lgicos son representaciones de las $unciones ,ooleanas.

9evisa detenidamente el siguiente gr$ico, el cual te a(udar a recordar la relacin !ue has repasado entre los di$erentes con'untos numricos) $on#untos num*ricos!

Entre las siguientes a$irmaciones identi$ica la incorrecta)

1!0 Su res(uesta ) os imaginarios ( los 9eales tienen elementos comunes E. 8199E83A. .. a a$irmacin < os imaginarios ( los 9eales

tienen elementos comunes< es una proposicin $alsa.

%regunta so+re con#untos num*ricos! os n@meros naturales pertenecen a los n@meros racionales, %01)2E los n@meros naturales se de$inen como el cociente entre dos enteros, aLb, con b di$erente de cero.

110 Su res(uesta ) a A$irmacin es Gerdadera, pero la 9a&n es una proposicin :A .A. E. 8199E83A. :elicitaciones, has concluido con #ito la primera leccin evalualtiva para el reconocimiento del curso. 3e invitamos a continuar participando con tus compaeros en el $oro de la actividad 6 al igual !ue continuar con el estudio del mdulo ( del material de apo(o. 9ecuerda tener presente siempre la agenda del curso ( visitar siempre las noticias del aula.
.i he desarrollado esta leccin dos veces, ( en la primera obtengo una nota de ILM CJHND ( en la segunda de MLM C2OOND ( la actividad es de 2O puntos, entonces debo calcular mi nota as") P%rimero sacamos el promedio)

CJHN Q2OOND L 6 E 2JHNL6 E MJ.HN P uego hacemos una regla de tres) .i 2OON e!uivale a 2O puntos, MJ.HN e!uivale a) CMJ.HN # 2OpuntosDL2OONEM.JHE 3'3 puntos en puntos! CIQMD L 6 E 2AL6 E J .i M preguntas son 2O puntos, J preguntas buenas a cuantos puntos e!uivale/ E CJ # 2Opuntos D L M E M.JH E 3'3 puntos .i =uan obtuvo) -HLM ( MLM en sus dos intentos, en cali$icaciones aparecer una nota de/ 9espuesta) M.2 puntos