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 ve!, estos
objetos, reciben el nombre de elementos del conjunto. Esta idea intuitiva de conjunto
nos conduce a la definicin del matemtico alemn "eorg Cantor, inventor de la teor#a
que hoy estudiamos, y hombre atormentado por ideas no concebibles por la mente
humana, como el infinito absoluto y $ios.
%&e entiende por conjunto a la agrupacin en un todo de objetos bien diferenciados de
nuestra intuicin o nuestra mente.% "eorg Cantor
Que implica que un conjunto este bien definido?
'or ejemplo, si deseamos hacer un conjunto de sinfon#as 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, podr#a cambiar con el tiempo su idea de belle!a
sobre una sinfon#a espec#fica y cambiarla de conjunto.
'or el contrario, el conjunto de &infon#as de $vora( est bien definido.
Qu caractersticas deben cumplir los elementos del conjunto?
)bserva el siguiente conjunto de sinfon#as de $vora(*
+ &infon#a n, - .he /ells of 0lonice, en do menor, &infon#a n, 1 en si b mayor,
&infon#a n, 2 en mi b mayor, &infon#a n, 3 en re menor, &infon#a n, 4 en fa mayor,
&infon#a n, 4 en fa mayor, &infon#a n, 5 en re mayor, &infon#a n, 6 en re menor,
&infon#a n, 7 en sol mayor, &infon#a n, 8, del 9uevo :undo en mi menor. ;
&i observaste con atencin el conjunto, habrs encontrado un elemento repetido, ahora
bien, los elementos de un conjunto se caracteri!an 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
$e las operaciones entre conjuntos, tambi<n podemos descubrir una interesante relacin
con la realidad que nos permitir reconocer que efectivamente de manera cotidiana
hacemos operaciones entre conjuntos*
'or ejemplo la operacin de unin*
=a 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 > y todos los elementos de /.
Donde se encuentra ejemplificada esta operacin en el mundo real?
?agamos un conjunto con los elementos que hacen parte del teclado de tu computador,
encontrars que podemos definir el conjunto > como el conjunto formado por las teclas
del alfabeto, y el conjunto / como el conjunto formado por las teclas que representan
nmeros. Estos conjuntos tambi<n son conocidos como teclado alfab<tico y teclado
num<rico.
Unin*
>l responder a la instruccin* &e@ala las teclas que corresponden a letras o nmeros,
tendrs que indicar tanto los elementos de > como los elementos de /, y en este caso
habrs reali!ado la operacin de unin entre conjuntos.
Interseccin:
>l responder a la instruccin* %&e@ala las teclas que corresponden a letras y a nmeros%,
tendrs que indicar aquellas teclas que cumplen con las dos funciones, encontrando un
conjunto vac#o en un 'C de escritorio y un conjunto no vac#o en un porttil. En este
caso habrs reali!ado la operacin de interseccin entre los conjuntos > y /.
Diferencia*
$e igual forma, la operacin de diferencia, entre los conjuntos > y / A>B/C representa
los elementos de > que no estn en /.
Diferencia simtrica:
Dinalmente, una operacin como la diferencia sim<trica entre los conjuntos > y / puede
ser definida como el conjunto de los elementos que estn en > y en / pero no en ambos.
roposiciones
En la leccin de conectivos lgicos, tambi<n desarrollamos conceptos ampliamente
usados por todos en el lenguaje cotidiano, veamos como reconocer en el lenguaje
cotidiano las proposiciones lgicas*
!ecuerdas el concepto de proposicin?
Esta es una oracin o enunciado que puede ser falso o verdadero pero no las dos cosas.
'or ejemplo* %con esta leccin estoy reconociendo que ya conoc#a conceptos de lgica%
es una proposicin lgica, porque de ella puedes afirmar que es falsa o verdadera.
=a primera habilidad que debes desarrollar es la de diferenciar las proposiciones de los
enunciados que no lo son, por ejemplo*
FCual de las siguientes expresiones es una proposicinG
FCuantos a@os tienesG
?oy es &bado
&i observas, la expresin gramatical* %FCuantos a@os tienesG% 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 ve! debe cumplir con ser susceptible de ser verdadera o falsa.
>hora 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.
Heferencias Aen etilo >'>C*
'roposicin. A1II7, 8C de mar!o. Wikipedia, La enciclopedia libre. Decha de consulta*
-4*24, mar!o 6, 1II7 de http*JJes.Ki(ipedia.orgJKJindex.phpGtitleL'roposici
MC2M/2nNoldidL-4588466.
Conecti"os #$icos
>l igual que las proposiciones, tambi<n descubrirs que los conectivos lgicos, son
usados de manera cotidiana en las diferentes construcciones gramaticales, los
conectivos nos permiten construir expresiones gramaticales cada ve! ms complejas
uniendo proposiciones simples o atmicas para conformar proposiciones compuestas*
uedes reconocer los conecti"os l$icos presentes en las si$uientes proposiciones?
%Ouan estudia =gica o <tica%
%El Ooven "ustavo $udamel es un excelente director y es suramericano%
%?ay perdn, si y slo si hay olvido%
%&i considero el placer como fin ltimo de la vida y como nico camino hacia la
felicidad, entonces soy epicureista%
.odas 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*
% AConjuncinC
o A$isyuncinC
entonces ACondicionalC
si % slo si A/icondicionalC
Estos conectivos lgicos no se encuentran necesariamente de una manera expl#cita en
las expresiones gramaticales, veamos varios ejemplos*
%&i Ouan estudia, aprende%
%Cuando Ouan estudia, aprende%
&on expresiones equivalentes a* %&i Ouan 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 % slo si% es reconocerlo como el
equivalente a una condicin &necesaria % suficiente para&' 'or ejemplo,
identifiquemos el conectivo lgico en las siguientes proposiciones compuestas*
$eclaramos primero las proposiciones simples*
Ouan aprende =gica
Ouan estudia =gica
'roposiciones compuestas*
%=a nica forma de aprender lgica es estudiar =gica%
%&lo estudiando lgica, Ouan puede aprender lgica%
&on proposiciones compuestas equivalentes a* % Ouan aprende lgica si % slo si Ouan
estudia lgica%
(ablas de "erdad
>hora 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*
$iariamente recurrimos a principios bsicos para determinar el valor de verdad de una
proposicin compuesta como %Ouan estudia =gica o <tica% FCundo ser verdadera esta
proposicinG FPu< condicin se debe cumplir para que la proposicin sea verdaderaG o
FCmo depende su valor de verdad del valor de verdad de sus premisasG
$e seguro ya tienes la respuesta* la expresin %Ouan estudia =gica o <tica% ser
verdadera si cualquiera de las dos proposiciones simples %Ouan estudia =gica% o %Ouan
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 " q
QQ.....Q
QD.....Q
DQ.....Q
DDR..D
FCmo ser la tabla de verdad si la disyuncin cambia por la conjuncinG