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. 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 profesor. Para leer el mdulo iniciaremos por profundizar en la nocin de conjunto . En el primer captulo, analizaremos las diferentes operaciones entre conjuntos, tales como unin, interseccin y complemento,entre otras operaciones, que nos permitirn llegar a la compresin de los conectivos lgicos usados en el lenguaje natural, partiendo de 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? El segundo captulo tiene el objetivo de ser una herramienta que permite adquirir habilidades para comprender conceptos como los conectivos lgicos que usamos diariamente en nuestro leguaje y que pocas veces nos detenemos a analizar y comprender, por ejemplo, el 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?, 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. Otra interesante aplicacin de la lgica es en el proceso de validar nuestros argumentos. Por ejemplo, analicemos lo 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 un lenguaje simblico que posteriormente podremos analizar por medio de las tablas de verdad, para descubrir en que caso especfico el argumento se contradice. En el mundo de la argumentacin siempre estamos utilizando unos principios lgicos bsicos que estudiaremos en este apasionante curso, permitindonos mejorar en la construccin de argumentos fuertes, basados en los cimientos de la lgica. Posteriormente aprenderemos a hacer simplificaciones de 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 utilizando leyes lgicas bsicas que nos permiten validar la simplificacin hecha con un argumento ms all de la simple intuicin PRGUNTAS De la lectura es correcto concluir Mediante el lenguaje simblico podemos llevar el lenguaje natural a tablas de verdad De las tablas de verdad es posible deducir el lenguaje natural especfico que dio origen a la misma Mediante el lenguaje simblico podemos expresar el lenguaje formal en un lenguaje ms fcil de comprender

Las tablas de verdad se usan para identificar la validez de un argumento Texto de introduccin al curso de la pgina anterior, se planearon ejemplos de aplicacin de la lgica Matemtica correspondientes a varios de los temas tratados en el mdulo, excepto al tema de: Conectivos Lgicos Teora de conjuntos Leyes lgicas bsicas Circuitos Lgicos Inferencias Lgicas: En el captulo tres del curso haremos una introduccin a las proposiciones, aprendiendo 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. En los captulos tres y cuatro estudiaremos los mtodos deductivo e inductivo y con ellos 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 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. PREGUNTA Entre las siguientes opciones, elige la correcta: No todas las inferencias lgicas generan una tautologa. Una inferencia Lgica es una tabla de verdad. Las inferencias lgicas permiten desarrollar las habilidades de la argumentacin. El estudio de las inferencias lgicas, nos permitir comprender mejor las operaciones entre conjuntos Hasta aqu, hemos aprendido que la primera unidad consta de los siguientes temas: Teora de conjuntos Conectivos Lgicos Proposiciones Deduccin Induccin. En la siguiente unidad estudiaremos Algebra Booleana, Circuitos Lgicos y sus aplicaciones. En la introduccin al curso, hicimos una breve mencin de la aplicacin del Algebra Booleana mediante la simplificacin de una doble negacin. En esta leccin aprenders a identificar y utilizar 13 leyes, 13 propiedades que al igual que las leyes de inferencias son frecuentemente usadas en el lenguaje cotidiano y no son reconocidas o son mal empleadas. Por ejemplo, Ana realiza la siguiente afirmacin:

"Es falso que yo estudio y trabajo" Que quiso decir Ana? Estar afirmando Ana que No estudia y que Tampoco trabaja?, muy bien, en esta unidad aprenders a usar una representacin simblica que te permitir acceder a una simplificacin Algebraica utilizando las leyes del Algebra Booleana. 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. PREGUNTAS 1. Entre las siguientes opciones, identifica la afirmacin correcta. Algebra Booleana es un tema de la primera unidad del mdulo. El Algebra Booleana, permite clasificar un argumento como invlido o vlido. Los conceptos estudiados en el curso de lgica, ninguna relacin tienen con el lenguaje cotidiano y no pueden ser utilizados en un debate. El Algebra Booleana, permite hacer representaciones y simplificaciones del lenguaje natural Entre las siguientes afirmaciones selecciona la correcta: Lo que da sentido al curso de Lgica Matemtica es que sus estudiantes purifiquen el espritu y as puedan acceder ms fcil al cielo. El curso de Lgica Matemtica tiene sentido cuando sus estudiantes logran aprobarlo. El curso de Lgica Matemtica cobra sentido cuando en l adquirimos conocimientos que transcienden para nuestras vidas El curso de Lgica Matemtica cobra sentido si sus estudiantes se apropian de sus temas durante el perodo acadmico Hasta aqu, hemos visto que la segunda unidad del Mdulo de Lgica Matemtica comprende los temas de: Definicin y principios de un Algebra Booleana Leyes del Algebra Booleana Simplificacin de expresiones Algebraicas Circuitos Lgicos Aplicacin de los Circuitos Lgicos Porqu circuitos en un curso de lgica? Es comn pensar que los circuitos lgicos se originan en el mundo de la electrnica digital, pero no ha sido as. Por el contrario, ha sido la electrnica la que ha tomado los conceptos del Algebra Booleana y los Circuitos Lgicos para desarrollar las tecnologas digitales que tanto nos gustan.

Mediante los circuitos lgicos haremos representaciones grficas de las funciones Lgicas Simplificadas en el captulo del Algebra Booleana. Es decir, un circuito lgico es un diagrama que facilita la comprencin del flujo de las seales lgicas. De esta manera, podremos encontrar un equivalente circuital a una expresin del lenguaje natural. Finalmente, desarrollaremos interesantes ejercicios de aplicacin a la solucin de problemas cotidianos mediante las herramientas del Algebra y los Circuitos Lgicos. Entre las siguientes opciones elige la correspondiente a la afirmacin correcta: Los circuitos Lgicos no se relacionan con el Algebra Booleana Los circuitos Lgicos permiten hacer representaciones grficas de las expresiones dadas en lenguaje natural. Los circuitos lgicos se originan en la electrnica digital. Los circuitos Lgicos son el ltimo captulo del Mdulo Revisa detenidamente el siguiente grfico, el cual te ayudar a recordar la relacin que has repasado entre los diferentes conjuntos numricos: Conjuntos numricos:

Entre las siguientes afirmaciones identifica la incorrecta: Todos los nmeros son complejos Los Reales pertenecen a los complejos Un nmero complejo, es la suma de un nmero imaginario y un nmero real Los imaginarios y los Reales tienen elementos comunes

Pregunta sobre conjuntos numricos: Los nmeros naturales pertenecen a los nmeros racionales, PORQUE los nmeros naturales se definen como el cociente entre dos enteros, a/b, con b diferente de cero. La Afirmacin y la Razn son verdaderas, pero la Razn NO es una explicacin CORRECTA de la Afirmacin. La Afirmacin y la Razn son Verdaderas y la Razn es una explicacin CORRECTA de la afirmacin. La Afirmacin es Falsa, pero la Razn es una proposicin verdadera. La Afirmacin es Verdadera, pero la Razn es una proposicin FALSA. PRESABERES Conjuntos En esta leccin exploraremos el concepto de conjunto, una idea que de hecho manejas sin saberlo. Continuamente, ests reconociendo conjuntos en tu entorno, agrupando y haciendo operaciones entre ellos, bsicamente, la idea que tenemos de conjunto nos lleva a definirlo como una coleccin de objetos. El en ejercicio desarrollado en la OVA2 aprendimos a identificar conjuntos y a realizar operaciones entre stos, inclusive, utilizamos la representacin mediante diagramas de Venn, para dar respuesta a las preguntas de una manera ms fcil y rpida. La idea intuitiva de conjunto que hemos desarrollado en la OVA2 nos permite definir un conjunto como la reunin en un todo de objetos bien definidos y diferenciables entre si, es decir que un conjunto es una coleccin de objetos bien definidos por medio de alguna o algunas propiedades en comn y a su vez, estos objetos, reciben el nombre de elementos del conjunto. Esta idea intuitiva de conjunto nos conduce a la definicin del matemtico alemn Georg Cantor, inventor de la teora que hoy estudiamos, y hombre atormentado por ideas no concebibles por la mente humana, como el infinito absoluto y Dios. "Se entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de nuestra intuicin o nuestra mente." Georg Cantor Que implica que un conjunto este bien definido? Por ejemplo, si deseamos hacer un conjunto de sinfonas hermosas, nos encontramos con un conjunto que no est bien definido, ya que hasta una misma persona, a medida que madura en su apreciacin musical, podra cambiar con el tiempo su idea de belleza sobre una sinfona especfica y cambiarla de conjunto. Por el contrario, el conjunto de Sinfonas de Dvorak est bien definido. Qu caractersticas deben cumplir los elementos del conjunto? Observa el siguiente conjunto de sinfonas de Dvorak: { Sinfona n 1 The Bells of Zlonice, en do menor, Sinfona n 2 en si b mayor,

Sinfona n 3 en mi b mayor, Sinfona n 4 en re menor, Sinfona n 5 en fa mayor, Sinfona n 5 en fa mayor, Sinfona n 6 en re mayor, Sinfona n 7 en re menor, Sinfona n 8 en sol mayor, Sinfona n 9, del Nuevo Mundo en mi menor. } Si observaste con atencin el conjunto, habrs encontrado un elemento repetido, ahora bien, los elementos de un conjunto se caracterizan por tener carcter individual, esto es, tienen cualidades que nos permiten diferenciarlos, y cada uno de ellos es nico, no habiendo elementos duplicados o repetidos. Entre las siguientes proposiciones, identifica la proposicin falsa: El padre de la teora de conjuntos, base de la matemtica moderna no es Dvorak Un conjunto est bien definido cuando agrupa elementos nicos, bien diferenciados El conjunto de personas felices es un conjunto que cumple con las caractersticas de un conjunto bien definido. Un elemento de un conjunto se caracteriza por ser un elemento nico

Operaciones entre conjuntos

De las operaciones entre conjuntos, tambin podemos descubrir una interesante relacin con la realidad que nos permitir reconocer que efectivamente de manera cotidiana hacemos operaciones entre conjuntos: Por ejemplo la operacin de unin: La unin entre dos o ms conjuntos puede ser definida, como el conjunto formado por los elementos de todos los conjuntos, es decir que el nuevo conjunto contiene todos los elementos de A y todos los elementos de B. Donde se encuentra ejemplificada esta operacin en el mundo real? Hagamos un conjunto con los elementos que hacen parte del teclado de tu computador, encontrars que podemos definir el conjunto A como el conjunto formado por las teclas del alfabeto, y el conjunto B como el conjunto formado por las teclas que representan nmeros. Estos conjuntos tambin son conocidos como teclado alfabtico y teclado numrico. Unin: Al responder a la instruccin: Seala las teclas que corresponden a letras o nmeros, tendrs que indicar tanto los elementos de A como los elementos de B, y en este caso habrs realizado la operacin de unin entre conjuntos. Interseccin: Al responder a la instruccin: "Seala las teclas que corresponden a letras y a nmeros", tendrs que indicar aquellas teclas que cumplen con las dos funciones, encontrando un conjunto vaco en un PC de escritorio y un conjunto no vaco en un porttil. En este caso habrs realizado la operacin de interseccin entre los conjuntos A y B. Diferencia: De igual forma, la operacin de diferencia, entre los conjuntos A y B (A-B) representa los elementos de A que no estn en B. Diferencia simtrica: Finalmente, una operacin como la diferencia simtrica entre los conjuntos A y B puede ser definida como el conjunto de los elementos que estn en A y en B pero no en ambos.

PREGUNTAS Cuando el tutor solicita en el encuentro tutorial de gran grupo que levanten la mano los estudiantes que matricularon lgica pero no tica, se estar realizando la operacin de: Diferencia Unin Interseccin Diferencia simtrica Proposiciones En el captulo 2, de conectivos lgicos, tambin desarrollamos conceptos ampliamente usados por todos en el lenguaje cotidiano, veamos como reconocer en el lenguaje cotidiano las proposiciones lgicas: Recuerdas el concepto de proposicin? sta es una oracin o enunciado que puede ser falso o verdadero pero no las dos cosas. Por ejemplo: "con esta leccin estoy reconociendo que ya conoca conceptos de lgica" es una proposicin lgica, porque de ella puedes afirmar que es falsa o verdadera. La primera habilidad que debes desarrollar es la de diferenciar las proposiciones de los enunciados que no lo son, por ejemplo: Cual de las siguientes expresiones es una proposicin? Cuantos aos tienes? Hoy es Sbado Si observas, la expresin gramatical: "Cuantos aos tienes?" no es una proposicin lgica, porque a ella no puedes responder verdadero o falso, esto nos da la clave para identificar que una proposicin lgica es generalmente una forma gramatical de oracin enunciativa, y a la vez debe cumplir con ser susceptible de ser verdadera o falsa. Ahora bien, la proposicin "hoy es sbado" es una proposicin que expresa una sola idea en su forma ms simple, en este caso se dice que es una proposicin simple o atmica. Entre las siguientes proposiciones, identifica la proposicin falsa: Puedes identificar una proposicin Lgica? es una proposicin atmica "La teora de conjuntos es un captulo de la primera unidad del mdulo de Lgica Matemtica de la UNAD" es una proposicin atmica una proposicin lgica es generalmente una forma gramatical de oracin enunciativa. "El conectivo lgico "Si y slo si", tambin se conoce como condicin necesaria y suficiente" es una proposicin atmica Al igual que las proposiciones, tambin descubrirs que los conectivos lgicos, son usados de manera cotidiana en las diferentes construcciones gramaticales, los conectivos nos permiten construir expresiones gramaticales cada vez ms complejas uniendo proposiciones simples o atmicas para conformar proposiciones compuestas: Puedes reconocer los conectivos lgicos presentes en las siguientes proposiciones? "Juan estudia Lgica o tica" "El Joven Gustavo Dudamel es un excelente director y es suramericano"

"Hay perdn, si y slo si hay olvido" "Si considero el placer como fin ltimo de la vida y como nico camino hacia la felicidad, entonces soy epicureista" Todas las proposiciones anteriores son proposiciones compuestas, es decir, estn conformadas por una o ms proposiciones simples unidas por un conectivo lgico, los conectivos lgicos que identificamos son: y (Conjuncin) o (Disyuncin) entonces (Condicional) si y slo si (Bicondicional) Estos conectivos lgicos no se encuentran necesariamente de una manera explcita en las expresiones gramaticales, veamos varios ejemplos: "Si Juan estudia, aprende" "Cuando Juan estudia, aprende" Son expresiones equivalentes a: "Si Juan estudia, entonces aprende" de esta manera, hay muchas formas de encontrar un conectivo lgico como el condicional sin necesidad de encontrar la palabra entonces conectando las dos proposiciones lgicas. Una clave para identificar, el conectivo lgico "si y slo si" es reconocerlo como el equivalente a una condicin "necesaria y suficiente para". Por ejemplo, identifiquemos el conectivo lgico en las siguientes proposiciones compuestas: Declaramos primero las proposiciones simples: Juan aprende Lgica Juan estudia Lgica Proposiciones compuestas: "La nica forma de aprender lgica es estudiar Lgica" "Slo estudiando lgica, Juan puede aprender lgica" Son proposiciones compuestas equivalentes a: " Juan aprende lgica si y slo si Juan estudia lgica" PREGUNTA En la proposicin compuesta "Si considero el placer como fin ltimo de la vida y como nico camino hacia la felicidad, entonces soy epicureista", se identifican: Los conectivos lgicos de condicional y bicondiconal. Tres proposiciones simples o atmicas Dos proposiciones simples o atmicas separadas por los conectivos lgicos de conjuncin y condicional Dos proposiciones simples o atmicas separadas por los conectivos lgicos de conjuncin y disyuncin Sobre el tema de las proposiciones y su clasificacin es correcto afirmar: es un tema estudiado en el captulo 4 del Mdulo de Lgica Matemtica es un tema estudiado en el captulo 5 del Mdulo de Lgica Matemtica es un tema estudiado en la unidad 2 del Mdulo de Lgica Matemtica es un tema estudiado en el captulo 3 del Mdulo de Lgica Matemtica

Deduccin e induccin
Otro apasionante tema que encontramos en la primera unidad del curso de lgica matemtica, en los captulos 3 a 5, es la introduccin al estudio de la manera como los seres humanos elaboramos los diferentes razonamientos lgicos. El captulo 3 constituye la puerta de entrada a este nuevo mundo, mediante el anlisis de los diferentes tipos de proposiciones que pueden darse, es decir, las proposiciones que ya aprendimos a reconocer, a su vez, tambin pueden ser clasificadas, ya no como compuestas o simples, pero si sufrirn clasificaciones importantes que nos ayudarn en la construccin de enunciados cientficos y en el seguimiento a la validez de los diferentes razonamientos lgicos, por ejemplo, a continuacin encontrars dos proposiciones lgicas, ambas proposiciones simples que aprenders a reconocer y clasificar: Algunos estudiantes de psicologa matricularon el curso de lgica Todos los estudiantes de psicologa matricularon competencias En los captulos 4 y 5 estudiaremos los temas de deduccin e induccin. Aprendamos a identificar estos conceptos mediante un ejemplo: En el siguiente ejercicio encontrars que de una o varias afirmaciones se llega a una conclusin. Analiza las diferencias existentes entre las dos formas de razonamiento que a continuacin se presentan: Primera forma de razonamiento: Todos los padres Jvenes son ms tolerantes con sus hijos que los padres mayores; Juan es un padre joven, luego es ms tolerante con su hijo Daniel, que Diego con su hijo Juan Segunda forma de razonamiento: Juan es un padre joven y es tolerante con su hijo Daniel, Camilo es un padre joven y es tolerante con su hija Marisol, Mateo es un padre joven y es tolerante con su hijo Diego, de donde, podemos concluir que Todos los padres Jvenes son tolerantes con sus hijos. Logras ver la diferencia entre los dos razonamientos? Observa que en el primer caso se parte de una ley o afirmacin general para posteriormente concluir sobre los casos particulares, mientras que en la segunda forma de razonamiento partimos de casos particulares para llegar a concluir una ley general. La segunda forma de razonar la identificamos normalmente con el mtodo cientfico, no obstante, en la prctica encontrars que ambas formas de razonar hacen parte del diario quehacer en el desarrollo de un proyecto de investigacin. Antes de dar inicio a las ltimas preguntas, toma dos minutos, para realizar el siguiente ejercicio: Inicia por identificar cada una de las proposiciones simples presentes en cada uno de los ejemplos de las formas dos formas de razonamiento que se han planteado. Posteriormente plantea dos ejemplos anlogos a cada forma de razonamiento. Pregunta Del razonamiento "Todas las mujeres que asisten a la consulta prenatal tienen mayor probabilidad de lograr un nacimiento de un nio sano que las mujeres que no asisten, puede

concluirse que, Ana, quien ha asistido al control prenatal, tiene una probabilidad ms alta de tener un nio sano que no hacindolo" puede afirmarse que: Es un razonamiento que parte de una ley general para luego hacer inferencias sobre un caso particular. Parte de una proposicin particular afirmativa Es un razonamiento que parte de un caso particular para establecer una ley general. Es un razonamiento inductivo

ACTIVIDAD 5

Act. 5: Profundizacin de la Unidad 1

Esta es una leccin de 0 puntos. Usted ha obtenido 0 punto(s) sobre 0 hasta ahora.

Conjuntos Pgina 2
1)Determinemos independientemente las reas de las intersecciones entre A y B, entre A y C y ente B y C rea entre A y B:

Luego la parte central corresponde a la unin de las tres reas que ya hallamos:

Por otro lado, al unir los conjuntos A, B y C obtenemos lo siguiente:

Pero, se requiere es la parte externa, es decir, el complemento, lo que corresponder a: