Conectivos lgicos 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

Conectivos lgicos
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.

Conectivos lgicos 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

Conectivos lgicos
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

Conectivos lgicos
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?

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

Conectivos lgicos

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

Conjuntos Pgina 4
Finalmente la parte sombreada corresponder a la unin de la parte externa con la interna:

Conectivos lgicos

Es importante tener en cuenta que AC representa el complemento de A, es decir, todo lo que le falta a A para ser el conjunto universal. AC tambin puede ser representada como A* como A' entre otras.

Disyuncin
El conectivo lgico de la disyuncin tiene su equivalente en el lenguaje natural en la o: Partamos de suponer que para llegar a San Andrs, hay dos caminos, uno por el aire y el otro por el mar. Luego podemos construir la proposicin compuesta "a San Andres se llega por aire o por mar", luego, las proposiciones simples sern: p = a San Andrs se llega por aire q = a San Andrs se llega por mar Cuando ser falsa la proposicin compuesta p v q? esta proposicin lgica ser falsa nicamente cuando a San Andrs no se pueda llegar ni por aire ni por mar, es decir, siempre que cualquiera los dos caminos sea vlido la frase ser verdadera. La representacin mediante la tabla de verdad ser la siguiente: pq pvq VF V VV V FF F FV V

Condicional
El conectivo lgico condicional tiene su equivalente en el lenguaje natural en el Si... entonces: Partamos de un ejemplo:

Conectivos lgicos

"Cuando llueve en la maana hace fro en la tarde", para identificar el conectivo lgico presente en esta proposicin compuesta, conviene reescribir la proposicin como sigue: "Si llueve en la maana entonces hace fro en la tarde" Cuando ser falsa esta proposicin lgica? Las proposiciones simples sern: p = llueve en la maana q = hace fro en la tarde Cuando ser falsa la proposicin compuesta p --> q? esta proposicin lgica ser falsa cuando llueva en la maana y no haga fro en la tarde: Es interesante resaltar que hacer fro en la tarde no es condicin necesaria para que llueva en la maana, es decir, que si no llueve, igualmente puede hacer fro, ya que la frase no expresa nada en este sentido. La representacin mediante la tabla de verdad ser la siguiente: pq p-->q VV V VF F FV V FF V

Bicondicional
El conectivo lgico bicondicional tiene su equivalente en el lenguaje natural en el Si y slo si: Partamos de un ejemplo inspirado en el artculo 17 de la Ley 434 de 1998: "El nico camino posible para la paz es la inversin social", para identificar el conectivo lgico presente en esta proposicin compuesta, conviene reescribir la proposicin como sigue: "hay paz, Si y slo si hay inversin social" Cuando ser falsa esta proposicin lgica? Las proposiciones simples sern:

Conectivos lgicos
p = hay paz q = hay inversin social Cuando ser falsa la proposicin compuesta p <--> q? esta proposicin lgica ser falsa cuando una proposicin lgica se cumpla sin que se de la otra: Es decir, si encontramos que hay paz sin inversin social, entonces la frase ser falsa. Y si encontramos que hay inversin social y tampoco hay paz, la frase tambin ser falsa. La representacin mediante la tabla de verdad ser la siguiente: pq p<-->q VV V VF F FV F FF V

Resumen de Conectivos
Como te habrs dado cuenta, el orden de la tabla de verdad no afecta los resultados que de sta se obtienen, lo importante es que en la tabla se encuentren presentes todas las combinaciones posibles de los diferentes valores de verdad. Construyamos la tabla de verdad para la siguiente proposicin compuesta: "La voluntad que obra por deber es buena, es virtuosa y, por tanto, digna de ser feliz" Adaptacin de Kant. Esta proposicin compuesta debe ser transformada para encontrar los conectivos lgicos como: "Si la voluntad obra por deber, entonces es buena y es virtuosa, y si la voluntad es buena y es virtuosa, entonces es digna de ser feliz" Ahora declaremos las proposiciones simples: p = La voluntad obra por deber q = La voluntad es buena r = La voluntad es virtuosa s = La voluntad es digna de ser feliz

Conectivos lgicos
La representacin en lenguaje simblico de la proposicin compuesta ser:

[p --> (q ^ r)]^[(q ^ r) --> s ]

Esta es una proposicin compuesta de cuatro variables, luego, la tabla de verdad tendr 24 (16) combinaciones posibles entre los diferentes valores de verdad de las proposiciones:

5046 5046 continue

continue 13334

13334 h9HQvuH12A

h9HQvuH12A -1

Resumen de Conectivos
Como te habrs dado cuenta, el orden de la tabla de verdad no afecta los resultados que de sta se obtienen, lo importante es que en la tabla se encuentren presentes todas las combinaciones posibles de los diferentes valores de verdad. Construyamos la tabla de verdad para la siguiente proposicin compuesta:

Conectivos lgicos

"La voluntad que obra por deber es buena, es virtuosa y, por tanto, digna de ser feliz" Adaptacin de Kant. Esta proposicin compuesta debe ser transformada para encontrar los conectivos lgicos como: "Si la voluntad obra por deber, entonces es buena y es virtuosa, y si la voluntad es buena y es virtuosa, entonces es digna de ser feliz" Ahora declaremos las proposiciones simples: p = La voluntad obra por deber q = La voluntad es buena r = La voluntad es virtuosa s = La voluntad es digna de ser feliz La representacin en lenguaje simblico de la proposicin compuesta ser:

[p --> (q ^ r)]^[(q ^ r) --> s ]

Esta es una proposicin compuesta de cuatro variables, luego, la tabla de verdad tendr 24 (16) combinaciones posibles entre los diferentes valores de verdad de las proposiciones:

Conectivos lgicos
5046 5046 continue continue 13334 13334 h9HQvuH12A h9HQvuH12A -1

Conectivos lgicos

Conectivos lgicos
En el captulo dos aprendimos que los conectivos lgicos: conjuncin, disyuncin, condicional y bicondiconal, son usados de manera cotidiana en el lenguaje natural. En esta leccin estudiaremos la relacin que estos conectivos lgicos tienen con el lenguaje y desde esta perspectiva le daremos sentido y pertinencia a la leccin con nuestros diferentes programas acadmicos. La conjuncin corresponde en el lenguaje natural con la y, analicemos su sentido desde la perspectiva del lenguaje natural: Cuando Juan afirma que estudia y trabaja, podemos concluir que Juan hace las dos actividades, no necesariamente en el mismo espacio y tiempo, pero es estudiante trabajador. Cuando podemos afirmar que la proposicinJuan estudia y trabaja es falsa? Cuando Juan estudie y no trabaje o cuando Juan trabaje pero no estudie o cuando Juan ni trabaje ni estudie. Si denominamos las proposiciones simples p y q de la siguiente manera: p = Juan estudia q = Juan trabaja La proposicin compuesta "Juan estudia y trabaja" tendr el siguiente equivalente en lenguaje simblico: p^q Luego, si Juan estudia es una proposicin falsa, la proposicin compuesta p^q ser falsa. y si Juan trabaja es una proposicin falsa, la proposicin compuesta p^q tambin ser falsa. Es decir que las dos proposiciones simples deben ser verdaderas para que la proposicin compuesta sea verdadera. Podemos representar todos estos casos posibles mediante una tabla que denominaremos tabla de verdad: pq p^q FF F FV F VF F VV V

Conectivos lgicos Disyuncin

El conectivo lgico de la disyuncin tiene su equivalente en el lenguaje natural en la o: Partamos de suponer que para llegar a San Andrs, hay dos caminos, uno por el aire y el otro por el mar. Luego podemos construir la proposicin compuesta "a San Andres se llega por aire o por mar", luego, las proposiciones simples sern: p = a San Andrs se llega por aire q = a San Andrs se llega por mar Cuando ser falsa la proposicin compuesta p v q? esta proposicin lgica ser falsa nicamente cuando a San Andrs no se pueda llegar ni por aire ni por mar, es decir, siempre que cualquiera los dos caminos sea vlido la frase ser verdadera. La representacin mediante la tabla de verdad ser la siguiente: pq pvq VF V VV V FF F FV V

Condicional
El conectivo lgico condicional tiene su equivalente en el lenguaje natural en el Si... entonces: Partamos de un ejemplo: "Cuando llueve en la maana hace fro en la tarde", para identificar el conectivo lgico presente en esta proposicin compuesta, conviene reescribir la proposicin como sigue: "Si llueve en la maana entonces hace fro en la tarde" Cuando ser falsa esta proposicin lgica? Las proposiciones simples sern: p = llueve en la maana q = hace fro en la tarde

Conectivos lgicos

Cuando ser falsa la proposicin compuesta p --> q? esta proposicin lgica ser falsa cuando llueva en la maana y no haga fro en la tarde: Es interesante resaltar que hacer fro en la tarde no es condicin necesaria para que llueva en la maana, es decir, que si no llueve, igualmente puede hacer fro, ya que la frase no expresa nada en este sentido. La representacin mediante la tabla de verdad ser la siguiente: pq p-->q VV V VF F FV V FF V
5046 5046 continue continue 13332 13332 h9HQvuH12A h9HQvuH12A -1

Bicondicional
El conectivo lgico bicondicional tiene su equivalente en el lenguaje natural en el Si y slo si: Partamos de un ejemplo inspirado en el artculo 17 de la Ley 434 de 1998: "El nico camino posible para la paz es la inversin social", para identificar el conectivo lgico presente en esta proposicin compuesta, conviene reescribir la proposicin como sigue: "hay paz, Si y slo si hay inversin social" Cuando ser falsa esta proposicin lgica? Las proposiciones simples sern: p = hay paz q = hay inversin social Cuando ser falsa la proposicin compuesta p <--> q? esta proposicin lgica ser falsa cuando una proposicin lgica se cumpla sin que se de la otra:

Conectivos lgicos
Es decir, si encontramos que hay paz sin inversin social, entonces la frase ser falsa. Y si encontramos que hay inversin social y tampoco hay paz, la frase tambin ser falsa. La representacin mediante la tabla de verdad ser la siguiente: pq p<-->q VV V VF F FV F FF V

Proposicin directa, contraria, reciproca y contrarreciproca

Entre las variaciones de la proposicin condicional encontramos cuatro proposiciones: Implicacin directa: p--> q Implicacin contraria: p ( q ) Implicacin recproca: q p Implicacin contrarrecproca: q ( p ) Por ejemplo, dadas las proposiciones p = el animal es un perro q = el animal tiene cuatro patas Las proposiciones directa, contraria, recproca y contrarrecproca sern: Implicacin directa: si el animal es un perro, entonces tiene cuatro patas Implicacin contraria: si el animal no es un perro, entonces no tiene cuatro patas Implicacin recproca: si el animal tiene cuatro patas, entonces es un perro Implicacin contrarrecproca: Si el animal no tiene cuatro patas, entonces el animal no es un perro Si te detienes un momento y lees con atencin encontrars que las proposiciones contraria y recproca no son equivalentes de la proposicin directa, mientras que la proposicin directa si ser equivalente a su

Conectivos lgicos
proposicin contrarrecproca.