Conjuntos

En esta leccin exploraremos el concepto de conjunto, como un concepto que nos permitir apropiar mejor los conceptos de proposicin y conectivo lgico. El concepto de conjunto corresponde a 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. Una idea intuitiva de conjunto es 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.

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.

Proposiciones
En la leccin 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.

Referencias (en etilo APA): Proposicin. (2008, 9) de marzo. Wikipedia, La enciclopedia libre. Fecha de consulta: 15:35, marzo 7, 2008 de http://es.wikipedia.org/w/index.php?title=Proposici%C3%B3n&oldid=15699577.

Conectivos Lgicos
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"

Tablas de verdad
Ahora nos interrogaremos por el valor de verdad de las proposiciones compuestas

En este caso, el valor de verdad de una proposicin depender del valor de verdad de sus proposiciones ms simples y del conectivo lgico que establece la relacin entre stas, veamos: Diariamente recurrimos a principios bsicos para determinar el valor de verdad de una proposicin compuesta como "Juan estudia Lgica o tica" Cundo ser verdadera esta proposicin? Qu condicin se debe cumplir para que la proposicin sea verdadera? o Cmo depende su valor de verdad del valor de verdad de sus premisas? De seguro ya tienes la respuesta: la expresin "Juan estudia Lgica o tica" ser verdadera si cualquiera de las dos proposiciones simples "Juan estudia Lgica" o "Juan estudia tica" es verdadera y ser falsa slo si ambas proposiciones son falsas. Esta condicin puede ser representada por una "tabla de verdad": pq...p v q VV.....V VF.....V FV.....V FF..F Cmo ser la tabla de verdad si la disyuncin cambia por la conjuncin?

Con esta actividad, se desarrollarn las competencias bsicas para el desarrollo del pensamiento lgico en los estudiantes, mediante el estudio de la teora de conjuntos y la identificacin de estructuras fundamentales en diferentes razonamientos y expresiones cotidianas, que implica realizar traducciones de stas estructuras desde el lenguaje simblico al natural y las expresiones complejas que se forman cuando stas se relacionan entre s; adems, se busca que el estudiante pueda encontrar el valor de verdad que asumen expresiones complejas de acuerdo al valor de verdad que asumen en un momento dado las estructuras lgicas ms simples. LECTURA

La lgica matemtica desde sus inicios se ha constituido en una herramienta para el anlisis y organizacin de las ideas de los seres humanos, en sta medida y valindose de herramientas

propias de las matemticas como el lenguaje simblico y la teora de conjuntos se ha constituido toda una teora acerca de los razonamientos lgicos que se construyen a partir de expresiones especiales. Una caracterstica fundamental en el trabajo con stas expresiones es la condicin de que son susceptibles a ser verdaderas o falsas. Por ejemplo, Cmo te llamas?, cierra la puerta!, Qu bien!, son expresiones a las cuales no podemos asignarles un valor de verdad y por lo tanto no son proposiciones lgicas. Pero una expresin como en la DANE no es necesario aprobar el curso de Lgica Matemtica si es una expresin de la cual podemos afirmar que es falsa, por lo tanto es una proposicin lgica.

FASE 1. TEORA DE CONJUNTOS

Teniendo en cuenta la lectura realizada sobre teora de conjuntos, discuta con su grupo de trabajo colaborativo la siguiente situacin: Se pregunt a unos cuantos estudiantes de la UNAD sobre si leen o no alguna de las revistas Dinero, semana y Portafolio y se obtuvieron los siguientes resultados: 48 leen Dinero, 40 leen Semana, 34 leen Portafolio, 25 leen Dinero y Semana, 14 leen Semana y Portafolio, 23 leen Dinero y Portafolio y 3 estudiantes leen las tres revistas.

1. Se pide ilustrar el problema con un diagrama de Venn. 2. Determine el nmero de estudiantes entrevistados 3. Responda: a. cuntas estudiantes leen slo una de las tres revistas? b. Cuntos estudiantes leen nicamente la revista dinero? c. Es verdadera o falsa la siguiente proposicin: 5 estudiantes leen nicamente la revista Portafolio d. Cuntos estudiantes leen la revista Dinero o Portafolio? 4. Indique por comprensin y por extensin, los resultados de las operaciones entre conjuntos que hacen parte de la situacin planteada. FASE 2. PRINCIPIOS DE LGICA

Algunos razonamientos:

a. Por qu estamos estudiando en la universidad? Solemos creer que estamos estudiando en la universidad para tener un empleo. Si tenemos dinero, entonces podemos adquirir bienes. Son los bienes materiales lo que ms deseamos? b. Cuando compramos mejores equipos electrnicos, lo que deseamos es comunicarnos mejor, escuchar y ver mejor a otros seres humanos, esto es as, porque lo que ms deseamos es el cario sincero y la compaa inteligente. c. Si has reparado las tuberas, entonces hay agua potable disponible y como s que has reparado las tuberas, Por lo tanto, hay agua potable disponible. d. Si don Quijote percibe castillos en vez de ventas, entonces don Quijote ve alterada su percepcin y como don Quijote percibe castillos en vez de ventas, entonces es probablemente psictico. e. Carlos es socilogo o Laura es antroploga, pero Carlos no es socilogo, por lo tanto, Laura es antroploga. Paso 1: En los razonamientos anteriores, el estudiante debe identificar todas las expresiones que considera son proposiciones lgicas simples y tambin las expresiones que no son proposiciones. Paso 2: El siguiente paso es identificar proposiciones compuestas. Para lograr esta identificacin, conviene reescribir el texto resaltando los conectivos lgicos que no estn explcitos en la expresin.

Por ejemplo, la expresin: cuando practico todos los das, aprendo ms rpido y soy feliz la reescribimos as: Si practico todos los das, entonces aprendo ms rpido y soy feliz. Las palabras destacadas en color rojo corresponden al conectivo lgico condicional, y a la conjuncin; estos conectivos estaban ocultos. Este proceso de encontrar y destacar los conectivos lgicos ocultos es lo que el estudiante debe hacer en el paso 2. Paso 3: Declaracin de proposiciones simples, asignando una de las ltimas letras del alfabeto para identificarlas: Para el ejemplo propuesto sera:

p = practico todos los das

q = aprendo ms rpido r = soy feliz Paso 4: Finalmente, tambin en el aporte individual, expresa en lenguaje simblico las proposiciones simples compuestas identificadas, y construye sus tablas de verdad. Para el ejemplo propuesto esta sera el lenguaje simblico: p (q r) Desarrolla este proceso con todas las proposiciones compuestas identificadas en la reflexin propuesta. Paso 5: Construya las tablas de verdad de cada uno de los razonamientos anteriores y determine si son o no son una tautologa.