Pgina1 Conjuntos

En esta leccin aprenderemos a obtener un rea sombreada por medio

de un ejemplo desarrollado paso a paso:

Proceso paso a paso para determinar la siguiente rea:

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

rea entre B y C:

de

las

rea entre A y C:

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

hallamos:

Conjuntos Pgina 3
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:

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

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.

Esta es una leccin de 0 puntos. Usted ha obtenido 0 punto(s) sobre 0 hasta
ahora.
Indique la operacin que seala el rea sombreada:

BA
Esta es una leccin de 1 puntos. Usted ha obtenido 1 punto(s) sobre 1
hasta ahora.
Seala cul de las operaciones corresponde al rea sombreada en el
diagrama de venn:

AUB
(A-B)U(B-A)

B'
A'
Seala cul de las operaciones corresponde al rea sombreada en el
diagrama de venn:

A-B
A'
A' n B
B'
Esta es una leccin de 2 puntos. Usted ha obtenido 2 punto(s) sobre 3
hasta ahora.
Seala cul de las operaciones corresponde al rea sombreada en el
diagrama de venn:

(A-B)U(B-A)
B'
A'
AUB
Seala cul de las operaciones corresponde al rea sombreada en el
diagrama de venn:

AUB
A'
(A-B)U(B-A)
B'

Seala cul de las operaciones corresponde al rea sombreada en el

diagrama de venn:

A U B'
(A U B)'
(A-B)U(B-A)
B'
Seala cul de las opciones corresponde al rea sombreada en el diagrama
de venn:

BnA
A'
A-B
U - (A U B)
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

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
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:

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
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:

Act. 4: Profundizacin de la Unidad 1

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

La proposicin compuesta: "Si Dian estudia y practica aprende" es

equivalente en lenguaje simblico a:

(p ^ q) --> r
Esta es una leccin de 7 puntos. Usted ha obtenido 7 punto(s) sobre 8
hasta ahora.
Analiza con atencin la siguiente tabla de verdad e identifica el nmero de
errores, si los hay, en la columna sealada por la flecha:

En la columna sealada hay dos errores

Leyes de inferencia
En el captulo cuatro conociste sobre las leyes de inferencia. Nueve leyes
que continuamente usamos para al elaborar nuestros razonamientos.
MPP
Por ejemplo: "Si Juan estudia, aprende", encontramos que Juan estudia,
Que podemos concluir? ....lgico... "que Juan aprende".
Ahora bien, este razonamiento que encontramos tan evidente,
corresponde a la primera ley, la cual es conocida como Modus Ponendo
Ponenes, y puede ser representada como sigue:
p = Juan estudia
q = Juan aprende
p --> q = Si juan estudia, entonces aprende
(p --> q)^p = Si juan estudia, entonces aprende. y ocurre que estudia

[(p --> q)^p]--> q = Si juan estudia, entonces aprende. y ocurre que

estudia luego aprende

En conclusin, esta es la representacin del MPP: [(p --> q)^p]--> q

Recordemos la segunda representacin aprendida en el mdulo:
p --> q se lee Si Juan estudia, entonces aprende
p se da que Juan estudia
_________ esta lnea se lee: en conclusin
q se lee Juan aprende
En conclusin, la otra representacin del MPP es:
p --> q
p
_____
q

MTT
MTT
Por ejemplo: "Si Juan estudia, aprende", encontramos que Juan no
estudia, Que podemos concluir? ....lgico... "que Juan no aprende".
Ahora bien, este razonamiento que encontramos tan evidente,
corresponde a la segunda ley, la cual es conocida como Modus Tollendo
Tollens, y puede ser representada como sigue:
p = Juan estudia
q = Juan aprende

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

Recordemos la segunda representacin aprendida en el mdulo:
p --> q se lee Si Juan estudia, entonces aprende
p se da que Juan no estudia
_________ esta lnea se lee: en conclusin
q se lee Juan no aprende
En conclusin, la otra representacin del MTT es:
p --> q
q
_____
p
SD o Silogismo Disyuntivo
Veamos el ejemplo: "Si Juan lanza una moneda, esta puede caer cara o sello",
encontramos que la moneda no cae cara. Que podemos concluir? ....lgico...
"que la moneda cae sello".
Esta forma de razonar se conoce como Silogismo Disyuntivo o Modus Tollendo

Ponens, veamos la representacin simblica:

p = La moneda cae cara
q = La moneda cae sello
p v q = La moneda cae cara o sello
(p v q)^p = La moneda cae cara o sello. y ocurre que no cae cara

[(p v q)^p]--> q = La moneda cae cara o sello. y ocurre que no cae cara, en
conclusin cae sello.
En conclusin, esta es la representacin del MTP SD es:[(p v q)^p]--> q
Recordemos la segunda representacin aprendida en el mdulo:
pvq
p
_____
q

SH
SH Silogismo Hipottico
El silogismo hipottico es otra ley de inferencia lgica muy usada en la
construccin de nuestros argumentos, veamos:
Por ejemplo: " Si juan estudia, aprende y si Juan aprende ampla sus
opciones de empleo", en conclusin, "Si Juan estudia, ampla sus
opciones de empleo". Como puedes apreciar, sta es otra forma
cotidiana de elaborar nuestros argumentos, y es conocida como SH o
silogismo hipottico.
Representemos la ley en el lenguaje simblico:
p= Juan estudia
q= Juan aprende
r = Juan ampla sus posibilidades de empleo
Luego la ley ser:[(p -->q) ^ (q -->r) ]---> (p-->r)
En la segunda representacin:
p -->q
q -->r
_____
p-->r
Dilema Constructivo

El dilema constructivo es otra ley de inferencia lgica muy usada

en la construccin de nuestros argumentos, veamos:
Por ejemplo: " Si juan estudia, aprende y si Juan trabaja recibe
dinero", sabemos que, "Juan estudia trabaja". Qu podemos
concluir? ....claro, que Juan o aprende o recibe dinero.
Como puedes apreciar, sta es otra forma cotidiana de elaborar
nuestros argumentos, y es conocida como DC o dilema
constructivo.
Representemos la ley en el lenguaje simblico:
p= Juan estudia
q= Juan trabaja
r = Juan aprende
s = Juan recibe dinero
Luego la ley ser: [(p -->r) ^(q -->s)] ^(p v q)] -->(r v s) ]
En la segunda representacin:
p -->r
q -->s
pvq
____
rvs

Sim, Ad, Conj, Abs

Las siguientes cuatro leyes, son mucho ms simples y evidentes en
nuestro diario razonar, veamos:
Simplificacin Sim
Ejemplo: "Mara le comunica a Juan que estudia y trabaja",
posteriormente, Juan se encuentra con Diego y le comenta que Mara
estudia. En este momento, Juan a realizado un razonamiento lgico
vlido, denominado simplificacin, veamos su representacin:
p ^ q = se lee, Mara estudia y trabaja
____
p = se lee, en conclusin mara estudia
Adicin Ad.
Ejemplo: "Mara le comunica a Juan que estudia", posteriormente, Juan se
encuentra con Diego y le comenta que Mara estudia trabaja. En este
momento, Juan a realizado un razonamiento lgico vlido, denominado
adicin, ya que como no record las palabras de mara, adicion la

actividad trabaja pero mediante una disyuncin, la cual ser vlida si

Mara hace cualquiera de las dos cosas.
veamos su representacin:
p = se lee, Mara estudia
____
p v q = se lee, en conclusin mara estudia trabaja
Conjuncin Conj.
Ejemplo: "Mara le comunica a Juan que Diego estudia", Pedro le
comunica a Juan que Diego trabaja" Que puede concluir Juan?.... por
supuesto, que "Diego estudia y trabaja". En este momento, Juan a
realizado un razonamiento lgico vlido, denominado conjuncin.
veamos su representacin:
p = se lee, Diego estudia
q = se lee, Diego trabaja
____
p ^ q= se lee, Diego estudia y trabaja
Absorcin Abs
Ejemplo: "Si llueve hace fro", encontramos que llueve, luego es vlido
concluir que llueve y hace fro. Es decir, que se estn dando las dos
cosas.
veamos su representacin:
p --> q = se lee, Si llueve, entonces hace fro
p =se lee, llueve
____
p ^ q = se lee, en conclusin llueve y hace fro
Esta es una leccin de 8 puntos. Usted ha obtenido 8 punto(s) sobre 9
hasta ahora.

Se dan las premisas:

1) p --> (q v r)
2) q
De estas dos premisas es correcto afirmar:

No es posible concluir p