Logica Cuantificad Conjuntos

Universidad Paulo Freire (U.P.
F)

Docente: Napolen Gutirrez Traa Pgina 1

Unidad I: LGICA.

Objetivos:
1) Inducir al estudiante a una forma del pensamiento que propicie el razonamiento
lgico ordenado y preciso.
2) Analizar las proposiciones y determinar el valor de verdad que poseen.

Para cada expresin diga cuales verdadera y cual es falsa.
El Ro san Juan Es Nicaragense.
Managua es la capital de Nicaragua.
Rubn Daro naci en Len.
Si 4 + 2 = 6 entonces 4 2 = 2.
Que linda estas!
Por qu viajaste a Granada?

PROPOSICION
DEFINICIN: Se llama proposicin o enunciado lgico, a toda expresin de la
cul es posible decir en un momento y lugar dado si es verdadera o falsa.

Ejemplo: Determine el valor de verdad de las siguientes proposiciones.
Solentiname es una isla. Falso .
Managua es la capital de Nicaragua. Verdadero .
Qu estas haciendo? No es proposicin.
Felicidades por tu cumpleaos! No es proposicin.

A qu llamamos valor de verdad de una proposicin?
Se llama valor de verdad de una proposicin a la calidad de verdadera o falsa que
posee una proposicin.

Las proposiciones se denotan con letras minsculas tales como; p, q, r, s, t, u, v, w, etc.

Ejemplo: Determine el valor de verdad de las siguientes proposiciones.
p : Solentiname es una isla. ( Falso).
q : Managua es la capital de Nicaragua. (Verdadero).

Clasificacin de las Proposiciones.
Estas se Clasifican en:

1) Proposiciones Simples: Son aquellas proposiciones que no se pueden
descomponer en otras proposiciones.

Ejemplo:
Ro San Juan Tiene 10 municipios.
Managua es la capital de Nicaragua.
Universidad Paulo Freire (U.P.F)


2) Proposiciones Compuestas: Son aquellas proposiciones que resultan de la
combinacin (conexin o unin) de dos o ms proposiciones simples.
Ejemplo:
Solentiname es una isla y Managua es la capital de Nicaragua.
El ser humano leg a la luna o todo fue un montaje.
Si Juan estudia diario entonces aprobar Geografa.
Un triangulo es equiltero si y solo si sus lados son iguales.

Para formar proposiciones compuestas utilizaremos las partculas gramaticales; y, o,
Si .entonces.., .. si y solo si.

Para modificar una proposicin y combinar dos o ms proposiciones, utilizaremos Los
conectivos lgicos y Modificadores, mostrados en la siguiente tabla.

Partcula Gramatical Smbolo Matemtico
Nombre de la
Proposicin
No
No es cierto que..

~

Negacin

Y

.

Conjuncin

O

v

Disyuncin

Si entonces ...

Implicacin o
Condicional
. Si y solo si .
.. si y solamente si..

Doble implicacin
O Bicondicional
Los conectivos lgicos tambin se denominan Trminos de Enlace.

Ejemplo: Dada la proposicin escriba su negacin.
Sea p: Las plantas tienen vida.
La negacin es: p: No es cierto que las plantas tienen vida.
O tambin p: Las plantas no tienen vida.

Ejemplo: Dada las siguientes proposiciones escriba la conjuncin, disyuncin,
implicacin y doble implicacin.
Sea p: Las plantas tienen vida.
q: Las plantas son seres vivos.
Conjuncin:
p.q: Las plantas tienen vida y son seres vivos.

Disyuncin:
p v q: Las plantas tienen vida o son seres vivos.

Implicacin:
P q: Si las plantas tienen vida entonces son seres vivos.
Otra forma P q: Si las plantas tienen vida, son seres vivos.


Doble implicacin:
P q: Las plantas tienen vida si y solo si son seres vivos.

En las proposiciones es de vital importancia poder escribir una proposicin
compuesta en forma simblica.

Ejemplo: Simbolizar las siguientes proposiciones.
1) Nicaragua esta al norte de Costa Rica y Costa Rica al norte de Panam.
Solucin: Observamos que la proposicin compuesta es una conjuncin, porque se
unieron las proposiciones simples por medio de la partcula y, donde:
p: Nicaragua esta al norte de Costa Rica
q: Costa Rica al norte de Panam.
Simblicamente se escribe: p . q

2) Si son las 10 entonces la sesin de la asamblea general ha comenzado, y ahora
el reloj seala las 10.
p: Son las 10
q: la sesin de la asamblea general ha comenzado.
r: ahora son las 10.
Simblicamente: (p q) . r

3) Si llueve maana y no se repara el techo, la casa se inundar.
Sean:
p: Llueve maana.
q: se repara el techo.
q: no se repara el techo. Simblicamente: (p . q ) s
s: la casa se inundar.

Para determinar el valor de verdad de una proposicin compuesta, en funcin de los
valores de verdad de las proposiciones simples que la componen, entonces debemos
de dominar las tablas de verdad para los conectivos lgicos y modificadores.

NEGACIN.
La negacin de una proposicin se obtiene modificando la proposicin original,
anteponindole la partcula gramatical no es cierto que.. o simplemente no cuando
su construccin gramatical sea posible.

Simblicamente la negacin de p se denota por p que se lee no p
TABLA DE VERDAD DE LA NEGACIN
Ejemplo: Sea p: Las plantas tienen vida. (V)
La negacin es: p: No es cierto que las plantas tienen vida. (F)
O tambin p: Las plantas no tienen vida. (F)

Ejemplo: Sea p: Ro San Juan es un municipio. (F)
La negacin es: p: Ro San Juan no es un municipio. (V)
p -p
V F


CONJUNCION
Es la unin de dos proposiciones por medio de la partcula gramatical y.
Simblicamente se denota p . q que se lee p y q.

TABLA DE VERDAD DE LA CONJUNCIN.

La conjuncin es verdadera solo si ambas proposiciones son
verdaderas, y falsa para cualquier otro caso.

Ejemplo:
Las plantas tienen vida y Ro San Juan es un municipio (F)
(V) (F)

5 = 125 y 5 5 5 = 125 (V)
(V) (V)

DISYUNCION INCLUSIVA
Es la unin de dos proposiciones por medio de la partcula gramatical o.
Simblicamente se denota p v q que se lee p o q.

TABLA DE VERDAD DE LA DISYUNCIN INCLUSIVA.

La Disyuncin es Falsa solo si ambas proposiciones son Falsas,
y Verdadera para cualquier otro caso.

Ejemplo:
Las plantas tienen vida o Ro San Juan es un municipio (V)
(V) (F)

5 = 15 o 5 5 5 = 75 (F)
(F) (F)

DISYUNCIN EXCLUSIVA
Es la unin de dos proposiciones por medio de la partcula gramatical o....o....
Simblicamente se denota p v q que se lee o p o q.

p q p . q
V V V
V F F
F V F
F F F
p q p v q
V V V
V F V
F V V
F F F


TABLA DE VERDAD DE LA DISYUNCIN EXCLUSIVA

La Disyuncin Exclusiva verdadera solo si las proposiciones
poseen diferente valor de verdad.

Ejemplo: O 5 = 15 o 5 5 5 = 75 (F)
(F) (F)
O Nicaragua es un pas o Ro San Juan es un municipio (v)
(V) (F)

IMPLICACICION O CONDICIONAL.
Es la unin de dos proposiciones por medio de la partcula gramatical sientonces.
Simblicamente se denota p q que se lee Si p entonces q.
p es el antecedente o hiptesis y q es el consecuente o conclusin.

TABLA DE VERDAD DE LA IMPLICACIN.

La Implicacin es Falsa solo si el antecedente es Verdadero y
el consecuente es Falso, y Verdadera para cualquier otro caso.

Ejemplo:
Si las plantas tienen vida entonces Ro San Juan es un municipio (F)
(V) (F)

Si 5 = 15 entonces 5 5 5 = 75 (V)
(F) (F)

Variantes del condicional: De una condicional p q pueden obtenerse otras
condicionales mediante un arreglo sobre la condicin original, ya sea afirmando o
negando algunas de sus partes.

Dada la condicional p q tenemos las siguientes variantes:
- q p Llamada Recproca o Conversa.
- p q Llamada Inversa o Contraria.
- q p Llamada Contrarecproca o Contrapositiva.

Ejemplo: Sea La proposicin: Si un tringulo es equiltero entonces es Issceles.
Solucin: Sea p: Un tringulo es equiltero. Y sea q: Un tringulo es Issceles.
p q p v q
V V F
V F V
F V V
F F F
P q p q
V V V
V F F
F V V
F F V


Recproca o Conversa:
q p: Si un triangulo es issceles entonces es equiltero.
Inversa o Contraria:
p q: Si un triangulo no es equiltero entonces no es issceles.
Contrarecproca o Contrapositiva:
q p: Si un triangulo no es issceles entonces no es equiltero.

DOBLE IMPLICACICION O BICONDICIONAL.
Es la unin de dos proposiciones por medio de la partcula gramatical si y solo si...
Simblicamente se denota p q que se lee P si y solo si q.

TABLA DE VERDAD DE LA DOBLE IMPLICACIN.

La doble implicacin es Verdadera si y solo si ambas
proposiciones tienen el mismo valor, y Falsa para cualquier otro
caso.

Ejemplo:
Las plantas tienen vida si y solo si Ro San Juan es un municipio (F)
(V) (F)

5 = 15 si y solo si 5 5 5 = 75 (V)
(F) (F)

TAUTOLOGIA.
Es una proposicin compuesta cuyo valor de verdad de la ltima columna siempre es
verdadero, independientemente de los valores de verdad de las proposiciones que la
componen.

Para determinar si una proposicin compuesta es una tautologa, se construye una
tabla de verdad, y si todos los valores de la ltima columna son verdaderos, la
proposicin es una tautologa.

Ejemplo: Verifique si la proposicin es o no una tautologa (q . r) v (q . r).

q r q . r (q . r) (q . r) v (q . r)

P q p q
V V V
V F F
F V F
F F V


CONTRADICCIN.
Es una proposicin compuesta cuyo valor de verdad siempre es Falso, independiente
de los valores de verdad de sus componentes.

Para determinar si una proposicin compuesta es una contradiccin, se construye una
tabla de verdad, y si todos los valores de la ltima columna son falsos, la proposicin es
una contradiccin.

Ejemplo: Determine si es Contradiccin la proposicin (p . q) . (p . q)

Es una Contradiccin.

CONTINGENCIA.
Es una proposicin compuesta que no es tautologa ni contradiccin, es decir, que los
valores de verdad de su ltima columna en una tabla de verdad son verdaderos y falsos
independientemente de los valores de verdad de las proposiciones que lo forman.

Ejemplo: Verifique si la proposicin es una contingencia p v s s.

p s p v s p v s s

GUIA DE TRABAJO # 1.

I.- Determine cuales de los siguientes enunciados son proposiciones y cuales no.
a) El 2% de 1000 es 200. ______________________.
b) Prstame tu lapicero. _________________________.
c) Nicaragua est al norte de Costa Rica y Honduras al norte de Nicaragua. ________.
d) Qu linda es Nicaragua! ______________________.
e) Si a > b y b > c entonces a > c ____________________.

p q p . q (p . q) (p . q) . (p . q)
V V V F F
V F F V F
F V F V F
F F F V F


II.- Encierre en un crculo la respuesta correcta.
Dada la preposicin compuesta : Si la UPF es la universidad de los pobres
entonces el arancel no es elevado o el gobierno solo quiere universidades
privadas, Su representacin simblica es :
a) p q . r
b) p q . r
c) p q v r
d) p v q r

La contra recproca de m n es:
a) n m
b) n m
c) n m
d) m n

El contra reciproco de : si estudio apruebo el examen es :
a) Si apruebo el examen no estudio
b) b) Si no apruebo el examen estudio
c) Si no estudio no apruebo el examen
d) Si no apruebo el examen no estudio.
e) NDLA

La reciproca de la implicacin p q viene dada por :
a) p q
b) p q
c) p q
d) q p

La inversa de la expresin si el es pobre entonces es infeliz es:
a) Si el es infeliz entonces es pobre
b) Si el es infeliz entonces no es pobre
c) Si el no es pobre entonces es feliz.
d) Si el no es pobre entonces es infeliz
e) NDLA

La inversa de la implicacin r s . t viene dad por:
a) s . t r
b) r (s . t )
c) r (s . t )
a) r (s . t )


La inversa de la expresin Si no estudias matemticas entonces aprobaras el
examen, es:
a) Si aprobaras el examen entonces no estudias matemticas.
b) Si estudias matemticas entonces aprobaras el examen.
c) Si estudias matemticas entonces no aprobars el examen.
d) Si no aprobaras el examen entonces estudias matemticas
e) Si no estudias matemticas entonces no aprobaras el examen

III.- Desarrollo.

Dada las proposiciones p: Rubn Daro es un poeta nicaragense,
q:El ri San Juan es tico y r:Gabriel Garca Mrquez es un escritor nicaragense.
Determine el valor de verdad de la proposicin compuesta p q v r

Construya la tabla de verdad de (pq) (p .q).

Construya la tabla de verdad de (p . q) p y diga si es una; contradiccin,
Tautologa o contingencia.

Construya la tabla de verdad de (p q) . (p r) y diga si es una;
Contradiccin, Tautologa o contingencia.

La tabla de verdad correspondiente a la proposicin compuesta
[(pq ) . p ] q es una: contradiccin, Tautologa o contingencia.

Dado que p = F; q = V ; r = V. Escriba el valor de verdad de la proposicin.
a) (pq) (q r)
b) p q . r
c) p . r q . r



Unidad II: CUANTIFICADORES

Objetivos:
1.- Cuantificar correctamente las formas proposicionales.
2.- Desarrollar habilidades y destrezas para negar formas proposicionales cuantificadas,
as como analizar la diferencia entre el cuantificador universal y existencial.

Contenido:
1,- Cuantificadores. Definicin. Clasificacin.
2.- Cuantificadores y Negacin de formas proposicionales cuantificadas.

Formas Proposicionales
Definicin: Una forma proposicional es una expresin que contiene una variable y que
al ser sustituida esta variable por un valor determinado, la expresin se convierte en
una proposicin.

Ejemplo: Las siguientes expresiones son formas proposicionales.
- x es un nmero primo.
- y es un pas centroamericano.
- z es un maestro de Ro San Juan.

Las formas proposicionales se denotan con letras minsculas seguida de un parntesis
con la variable que interviene en ella.

Ejemplo: La forma proposicional z es un maestro de Ro San Juan se denota as:
p(z): z es un maestro de Ro San Juan.

El conjunto de elementos que pueden reemplazar la variable de una forma
proposicional se llama dominio de la variable.

Ejemplo: La forma proposicional p(x): x es un nmero natural menor que 9.
El dominio de la variable x es el conjunto N = {1,2,3,4,5,6,7,8}, por tanto podemos
afirmar x {1,2,3,4,5,6,7,8}.

Los Cuantificadores son expresiones que sirven para indicar cuantos elementos de un
conjunto dado cumplen con cierta propiedad. Tales cuantificadores son: el cuantificador
universal y el cuantificador existencial.

Ejemplo: En la proposicin Todos los animales son vivparos, la expresin todos
determina la cantidad de animales mamferos que son vivparos.


En matemtica se utilizan como cuantificadores las expresiones: todos, algunos,
ninguno, no todo, slo uno.
Sea A un conjunto y p(x) una proposicin o propiedad que hace referencia a un
elemento x. por lo que los cuantificadores se definen de la siguiente manera:

Cuantificador universal, representado por se lee para todo. Este cuantificador se
emplea para afirmar que todos los elementos de un conjunto cumplen con determinada
propiedad.
Se escribe x e A p(x) se lee "para todo x que pertenece a A se verifica p(x)",
representa la proposicin {x e A : p(x)} = A

Ejemplo: Todos los estudiantes de la carrera de derecho son hombres.
Solucin: Significa que no hay estudiantes de derecho que no sean hombres.
sea A={x / x son todos los estudiantes de la carrera de derecho}
Simblicamente: x e A, x es hombre.

Cuantificador existencial, representado por - se lee existe algn y se usa para
indicar que al menos un elemento de un conjunto cumple con una propiedad.
Se escribe -x e A / p(x) se lee "existe x que pertenece a A tal que p(x)", representa la
proposicin {x e A : p(x)} = C

Ejemplo: Algunos alumnos de UPF estudian derecho.
Solucin: Significa que hay otros alumnos que no estudian derecho.
Sea A={x / x son alumnos de UPF}
Simblicamente: -x e A / x estudia derecho.

La negacin de cualquiera de las dos proposiciones anteriores se realiza negando la
proposicin p(x) y cambiando el cuantificador universal por el cuantificador existencial, o
viceversa.
As, la negacin de la proposicin "x e A p(x)" es "- x e A | -p(x)".
Mientras que la negacin de "- x e A | p(x)" es " x e A -p(x)"

Ejemplo: Negar las siguientes proposiciones cuantificadas. Luego simbolizar la
proposicin y la negacin.

a) Todos los nmeros naturales son impares.
Simblicamente: x e , x es impar.
Negacin: existe por lo menos un nmero natural que no es impar.
Simblicamente: -x e /x no es impar.


b) Existe un nmero par que no es mltiplo de 4.
Simblicamente: -x e Par /x no es mltiplo de 4.
Negacin: Todos los nmeros Pares son mltiplo de 4.
Simblicamente: x e Par, x es mltiplo de 4.

Gua de Trabajo # 2.

1.- Escribir el cuantificador que se utiliza en cada proposicin.
a) Todas las cosas estn formadas por tomos.
b) Hay un animal en va de extincin.
c) Todos los animales son mamferos.
d) Existe un alumno de derecho que no vino a la conferencia de hoy.
e) Hay animales que viven en el agua y que son mamferos.

2) Escribir el significado de cada proposicin cuantificada y determine su valor de
verdad.
a) Todos los estudiantes de derecho son hombres.
b) Todas las cosas estn formadas por tomos.
c) Todos los animales son mamferos.
d) Hay animales que viven en el agua y que son mamferos.

3) Negar las siguientes proposiciones cuantificadas. Luego simbolizar la proposicin y
la negacin.
a) Existen animales que no son mamferos.
b) Todos los alumnos de derecho son inteligentes.
c) Slo los estudiantes de undcimo grado se gradan.
d) Todos los alumnos de derecho estudian en la UPF.
e) Hay abogados que saben hablar en ingls.



Unidad III: TEORIA DE CONJUNTOS

Objetivos:
1. Analizar los conceptos bsicos y definiciones de la teora de conjunto
relacionndolos con la lgica matemtica.
2. Describir los conjuntos a travs del mtodo de extensin o de comprensin,
considerando las caracterstica del conjunto para poder describirlo.
3. Representar las operaciones de los conjuntos de forma grafica utilizando los
diagramas de Venn.
4. Desarrollar habilidades y destrezas en la resolucin de problemas y ejercicios
utilizando las operaciones con conjuntos.

Introduccin:
La teora de conjunto es una extensin de la lgica simblica, y se encuentra
prcticamente ligada al desarrollo de toda teora matemtica moderna.

La Teora de conjuntos, es una rama de las matemticas a la que el matemtico alemn
Georg Cantor dio su primer tratamiento formal en el siglo XIX. El concepto de conjunto
es uno de los ms fundamentales en matemticas, incluso ms que la operacin de
contar, pues se puede encontrar, implcita o explcitamente, en todas las ramas de las
matemticas puras y aplicadas. En su forma explcita, los principios y terminologa de
los conjuntos se utilizan para construir proposiciones matemticas ms claras y
precisas y para explicar conceptos abstractos como el de infinito.

Relacin entre la Teora de Conjuntos y la Lgica Proposicional.
Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Proposicional. Para mostrar dicha relacin, denotemos por letras maysculas A,B los
conjuntos y por las correspondientes minsculas a,b ... sus propiedades y
caractersticas (es decir, la proposicin lgica que caracteriza a los elementos de cada
conjunto); entonces se tiene la siguiente correspondencia:

conjuntos A _ B A = B A B A B A' A B A A B
proposiciones a b a b a v b a . b a' a . b' a v b

Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto universal
con una tautologa. Mediante esta correspondencia, todos los resultados sobre
conjuntos se pueden reescribir en trminos de lgica proposicional y viceversa.



ejemplo:
A ( A B ) = A a v ( b . c ) a
A ( B C ) = ( A B ) ( A C ) a v ( b . c ) ( a v b ) . ( a v c )
( A B )' = A' B' ( a v b )' a' . b'

CONJUNTO: Es una coleccin de personas, animales o cosas, con la propiedad de
que, para cualquier persona, animal o cosa, es posible decir si este pertenece o no a la
coleccin.

Tambin podemos decir que un conjunto es una agrupacin, clase o coleccin de
objetos denominados elementos del conjunto: utilizando smbolos a e S representa que
el elemento a pertenece o est contenido en el conjunto S, o lo que es lo mismo, el
conjunto S contiene al elemento a. Un conjunto S est definido si dado un objeto a, se
sabe con certeza que o a e S o a e S (leer: a no pertenece a S).
Ejemplo: En el conjunto A = {a,e,i,o,u} observamos lo siguiente:
a e A, i e A, u e A, pero m e A, b e A, c e A
Denotaremos los conjuntos con letras Maysculas como; A, B, C, etc. Y letras
minsculas como; a, b, c, etc, para designar miembros (o elementos) que pueden o no
pertenecer al conjunto.

Ejemplo:
S
1
= {2, 4, 6, ..., 2n, ...} = {todos los enteros pares}.
C = {El conjunto de alumnos de UPF de San Carlos}

REPRESENTACION GRAFI CA DE LOS CONJUNTOS
La representacin grafica de los conjuntos se realiza a travs de una lnea curva
cerrada llamada Diagramas de Venn en honor de John Venn Filsofo Ingls (1834-
1923).

Los elementos que pertenecen al conjunto se ubican dentro de la lnea curva cerrada.


MTODOS PARA DESCRIBIR CONJUNTOS
Los mtodos para describir conjuntos son:

1) Mtodo de extensin:
Consiste en encerrar entre llaves todos los elementos que pertenecen al
conjunto, es decir, se enumeran los elementos del conjunto.

2) Mtodo de Comprensin:
Consiste en encerrar entre llaves una frase descriptiva o una expresin
matemtica, conviniendo que son elementos del conjunto solo aquellos que
poseen la propiedad descrita.

Ejemplo: escriba por el mtodo de extensin y comprensin, si es posible, los
siguientes conjuntos.
El conjunto de los nmeros naturales.
Extensin: No es posible escribirlo.
Comprensin: A = { x/ x es un nmero natural} o A = {x/ xeZ}

Los dgitos usados en nuestro sistema decimal.
Extensin: B = {0,1,2,3,4,5,6,7,8,9}
Comprensin: B = {x/x es un dgito de nuestro sistema decimal}

TIPOS DE CONJUNTOS
CONJUNTO FINITO: Son aquellos conjuntos en los que sus elementos se pueden
contar.
Ejemplo: El conjunto de planetas del Sistema Solar.

CONJUNTOS INFINITOS: Son aquellos conjuntos en los que sus elementos no se
pueden numerar.
Ejemplo: El conjunto de los nmeros naturales.

CONJUNTO VACIO: Son aquellos conjuntos que no poseen elementos.
Ejemplo: El conjuntos de seres humanos que viven en Saturno.

CONJUNTO UNITARIO: Es aquel conjunto que solamente consta de un solo
elemento.
Ejemplo: A = {1} B = {mango}

CONJUNTO UNIVERSAL: Es aquel conjunto que representa la totalidad de
miembros que pueden ser considerados como elementos de cualquier conjunto.


Ejemplo: Si A = {1,2, 3,4,5,6,7} y B = {0.1,2, 3,4,5,6,7} entonces el
conjunto universal es U = { Los nmeros enteros}
El conjunto universal generalmente se representa con un rectngulo.

RELACION ENTRE CONJUNTOS
CONJUNTOS IGUALES: Son aquellos conjuntos que contienen exactamente los
mismos elementos.
Ejemplo: Sean los conjuntos A = {l,e,o,n} y B = {n,o,e,l}, observamos que poseen
exactamente los mismos elementos, independientemente no posean el mismo orden,
por lo tanto decimos que ambos conjuntos son iguales.
A = B B = A

CONJUNTOS DISJUNTOS: Son aquellos conjuntos que no poseen elementos en
comn.
Ejemplo: Si A = {0,1,2, 3} y B = {1,2, 3}, como no tienen elementos en comn son
disjuntos.

SUBCONJUNTO: Si todo elemento de un conjunto A pertenece tambin al conjunto
B, A es un subconjunto de B, es decir, cuando se verifique:
Utilizando smbolos, A c B.

Diagrama de Venn que muestra A c B

U



UNION DE CONJUNTOS: Si A y B son dos conjuntos entonces la unin de ambos
conjuntos dar como resultado; los elementos que pertenecen a A, a B o a ambos.
El nuevo conjunto formado es llamado unin de A y B, escrito A B.

Diagrama de Venn que ilustra A B.

Ejemplo: si A = {2, 4, 6}, B = {4, 6, 8, 10} y C = {10, 14, 16, 26},
entonces;
A B = {2, 4, 6, 8, 10}, A C = {2, 4, 6, 10, 14, 16, 26}
Diagrama de Venn de A B. Diagrama de Venn de A C

INTERSECCION DE CONJUNTOS: Sea A y B dos conjuntos. La interseccin de
ambos sern los elementos comunes a A y B donde la interseccin de A y B, es
escrita A B. Si A y B no tienen ningn elemento comn, su interseccin no tiene
ningn elemento, y siendo conveniente representar esta interseccin como otro
conjunto, ste se denomina conjunto vaco o nulo y se representa con el smbolo C.

Diagrama de Venn que ilustra A B.



Ejemplo: si A = {2, 4, 6}, B = {4, 6, 8, 10} y C = {10, 14, 16, 26},
entonces; A B = {4, 6} A C = C

COMPLEMENTO: Si A es un subconjunto del conjunto U, el conjunto de los
elementos que pertenecen a U pero no a A, se denomina conjunto
complementario de A (con respecto a U) A (tambin puede aparecer como ,
, ~A o A
c
).
Diagrama de Venn de A

Ejemplo: Sea el conjunto U = {0,1,2,3,4,5,6,7,8,9} y A = {2,4, 6, 8,}
el complemento de A es:

A = {0,1,3,5,7,9}

El diagrama de Venn es:

DIFERENCIA ENTRE DOS CONJUNTOS. (COMPLEMENTO RELATIVO): Sean
los Conjuntos A y B, entonces el conjunto de elementos que pertenecen a A pero no
a B se denomina conjunto diferencia entre A y B, escrito A - B (y a veces A\B).
Diagrama de Venn de A B



Ejemplo si A = {2, 4, 6} y B = {4, 6, 8, 10} entonces:
A - B = {2}, B - A = {8, 10}.

Aplicaciones:
En una oficina de empleo se pregunta al solicitante su edad y su estado civil (caso o
soltero).de 50 solicitantes, 20 resultaron mayores de 20 aos y 35 casados.
Cuntos mayores de 20 aos y casado solicitaron empleo?
Sean:
A={ mayores de 20 aos}, n(A)=20
B={personas casadas}, n(B)=35
A U B={solicitaron empleo} n(A U B)=50
A B={casados y mayores de 20 aos} n(A B) es el numero
Por determinar.

Sabemos que n(A U B) = n(A) + n(B) n(AB)

50 = 20 + 35 - n(AB)
50 = 55 n(AB)
n(AB) = 55 50
n(AB) = 5

Repuesta: de los 50 solicitante 5 corresponden a personas casada y mayores de
20 aos de edad.



Gua de Trabajo # 3.

Sean los conjuntos A={4}; B={3,4}; C={1,2,3}; D={a,b} y E={1,24}. Diga cual de las
siguientes proposiciones es verdadera.
a) D c C ____ b) E c A ____ d) B c D ____
c) a B ____ d) C = E ____ e) A c B ____

1) Escriba los siguientes conjuntos por extensin y comprensin, si es posible.
a) El conjunto de los nmeros naturales.
b) El abecedario.
c) Las letras de la palabra Trapecio.

2) Sean los conjuntos U ={1,2,3,4,5,6,7,8,9,10}; A={2,4,6,8,10}; B={3,4,5,6} y
C={1,2,3,4,5}, Determine la operacin indicada y realice el repectivo diagrama de
Venn.
a) A
b) B
c) (A U B)
d) (A C)
e) A U B U C
f) A B C

Logica Cuantificad Conjuntos

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Logica Cuantificad Conjuntos

Uploaded by

Copyright:

Available Formats

Universidad Paulo Freire (U.P.

You might also like