You are on page 1of 18

Nociones de Teora de Conjuntos.

Cuando los objetos se agrupan de acuerdo al menos en algunacaracterstica comn a cada uno de los objetos, estos objetos
pasan aser elementos de una coleccin.Una coleccin con elementos que poseen una caracterstica comn, sellama
conjunto.Los conjuntos se denotan por letras maysculas tales como: A, B, C,etc.
S m b o l o s q u e s e u t i l i z a n Lgica proposicional
Smbolo Nombre se lee como Categora


implicacin material o en un solo sentido implica; si .. entonces; por lo tanto lgica proposicional
A B significa: si A es verdadero entonces B es verdadero tambin; si B es verdadero entonces nada se dicesobre A.
puede significar lo mismo que , o puede ser usado para denotar funciones, como se indica ms abajo.
x = 2 x = 4 es verdadera, pero 4 = x x = 2 es, en general, falso (ya que x podra ser 2)


doble implicacin si y slo si; sii, syss
1
lgica proposicional
A B significa: A es verdadera si B es verdadera y A es falsa si B es falsa.
x + 5 = y + 2 x + 3 = y

conjuncin lgica o interseccin en una reja y lgica proposicional, teora de rejas
la proposicin A B es verdadera si A y B son ambas verdaderas; de otra manera es falsa.todo es verdadero de los valores
n < 4 n > 2 n = 3 cuando n es un nmero natural

disyuncin lgica o unin en una reja o lgica proposicional, teora de rejas
la proposicin A B es verdadera si A o B (o ambas) son verdaderas; si ambas son falsas, la proposicin es falsa.
n 4 n 2 n 3 cuando n es un nmero natural


negacin lgica no lgica proposicional
la proposicin A es verdadera si y slo si A es falsa.
una barra colocada sobre otro operador es equivalente a un colocado a la izquierda.
(A B) (A) (B); x S (x S)
Lgica de predicados
Smbolo Nombre se lee como Categora

cuantificador universal para todos; para cualquier; para cada lgica de predicados
x : P(x) significa: P(x) es verdadera para cualquier x
n N: n n

cuantificador existencial existe por lo menos un/os lgica de predicados
x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n

cuantificador existencial con marca de unicidad existe un/os nico/s lgica de predicados
! x : P(x) significa: existe un nico x tal que P(x) es verdadera.
! n N: n + 1 = 2


reluz tal que lgica de predicados
x : P(x) significa: existe por lo menos un x tal que P(x) es verdadera.
n N: n + 5 = 2n
Teora de conjuntos
Smbolo Nombre se lee como Categora

delimitadores de conjunto el conjunto de ... teora de conjuntos
{a,b,c} significa: el conjunto consistente de a, b, y c
N = {0,1,2,...}


notacin constructora de conjuntos el conjunto de los elementos ... tales que ... teora de conjuntos
{x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera. {x | P(x)} es lo mismo que {x : P(x)}.
{n N : n < 20} = {0,1,2,3,4}


conjunto vaco conjunto vaco teora de conjuntos
{} significa: el conjunto que no tiene elementos; es la misma cosa.
{n N : 1 < n < 4} = {}


pertenencia de conjuntos en; est en; es elemento de; es miembro de;
pertenece a
teora de conjuntos
a S significa: a es elemento del conjunto S; a S significa: a no es elemento del conjunto S
(1/2)
1
N; 2
1
N


subconjunto es subconjunto de teora de conjuntos
A B significa: cada elemento de A es tambin elemento de B
A B significa: A B pero A B
A B A; Q R

unin de conjuntos la unin de ... y ...; unin teora de conjuntos
A B significa: el conjunto que contiene todos los elementos de A y tambin todos aquellos
de B, pero ningn otro.
A B A B = B

interseccin de conjuntos la interseccin de ... y ...; interseccin teora de conjuntos
A B significa: el conjunto que contiene todos aquellos elementos que A y B tienen en comn.
{x R : x = 1} N = {1}

complemento de un conjunto menos; sin teora de conjuntos
A \ B significa: el conjunto que contiene todos aquellos elementos de A que no se encuentran en B
{1,2,3,4} \ {3,4,5,6} = {1,2}
Nmeros
Smbolo Nombre se lee como Categora

nmeros naturales N nmeros
N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin diferente.
{|a| : a Z} = N

nmeros enteros Z nmeros
Z significa: {...,3,2,1,0,1,2,3,4,...}
{a : |a| N} = Z

nmeros racionales Q nmeros
Q significa: {p/q : p, q Z, q 0}
3.14 Q; Q

nmeros reales R nmeros
R significa: {lim
n
a
n
: n N: a
n
Q, el lmite existe}
R; (1) R

nmeros complejos C nmeros
C significa: {a + bi : a, b R}
i = (1) C



L e n g u a j e C o n j u n t i s t a
A = {a,b} A conjunto, a y b elementos del conjunto
Los conjuntos se definen por:
Extensin: Escribiendo los elementos uno por uno, separados por una coma y entre parntesis de llaves, es decs que
cuando expresamos un conjunto por extensin se nombran todos los elementos del conjunto, por ejemplo: A={1;2;3;4}.

Comprensin: expresando la cualidad general que poseen sus elementos y slo ellos, es decir un enunciado nos dice
las cualidades de los elementos que forman el conjunto, por ejemplo: B={el conjunto B esta formado por los das de la
semana}, o D={X/X es impar para ? x < 5}

Ejercicios: Escribir por extensin los siguientes conjuntos:
H = {x/x, es par ? 4< x < 8}W = {x/x, es mltiplo de 7 ? 14 < x < 42
Determinacin de conjuntos
I) POR EXTENSIN
Es aquella forma mediante la cual se indica cada uno de los elementos de un conjunto.
Por ejemplo: A) Conjunto de los nmeros pares mayores que 5 y menores que 20. A = { 6;8;10;12;14;16;18}
B) el conjunto de nmeros negativos imperes mayores que -10. B = {-9;-7;-5;-3;-1}

II) POR COMPRENSIN
Es aquella forma mediante la cual se da una propiedad que caracteriza a todos los elementos del conjunto. Ejemplo:
P= {los nmeros dgitos}. Se puede entender que el conjunto P esta formado por lo nmeros 0,1,2,3,4,5,6,7,8,9. Otra
forma de escribir es P= {x/x=dgito} se lee P es el conjunto formado por los elementos de x tal que x es un
dgito
Ejemplo: expresar por extensin y por compresin el conjunto de das de la semana.
Por extensin: D = {lunes;martes;mircoles;jueves;viernes;sbado;domingo}
Por comprensin: D = {x/x=da de la semana}

Diagrama de vernn
Sirven para representar conjunto de manera grfica.
Relacin entre conjuntos
Inclusin: un conjunto A esta incluido en otro conjunto B, s y slo s, todo elemento de A es tambin elemento de B.
Para entrar en tema podemos decir previamente que es un subconjunto y un superconjunto, un
SUBCONJUNTO : un conjunto es llamado de esta manera cuando est contenido en otro; es decir, cuando
todos sus elementos pertenecen al otro conjunto.
SUPERCONJUNTO: un conjunto es llamado de esta manera cuando contienen a otro u otros dentro de s,

INCLUSIN (c) Y NO INCLUSIN (.):
A.INCLUSIN
Un conjunto est incluido o es subconjunto de otro conjunto, si todo sus elementos pertenecen, o estn
contenidos, en el otro conjunto.
B.NO INCLUSIN
Un conjunto no est incluido en otro conjunto o no es subconjunto de otro conjunto, si al menos un
elemento no pertenece o no se encuentra dentro del otro conjunto.



PROPIEDADES DE LA INCLUSIN, SUBCONJUNTO PROPIO
Inclusin: propiedades.
En la inclusin de conjuntos podemos destacar tres propiedades importantes que enseguida veremos:

- Todo conjunto es subconjunto de s mismo: A c A
Hemos definido que un conjunto est incluido en otro si todos sus elementos pertenecen al otro
conjunto. Con mucha ms razn, todos los elementos del conjunto A pertenecen al mismo conjunto A. es
reflexin.
- El conjunto vaco es subconjunto de todos los conjuntos: |cA
El conjunto vaco se representa as | y est incluido en cualquier conjunto.
- Si un conjunto est incluido en otro y ste en un tercero, entonces el primero conjunto est incluido
en el tercer conjunto. Es transitivo A c B . B c C A cC

SUBCONJUNTO PROPIO
Si observar los siguientes conjuntos con mucha atencin: A={1;2;3} y B={1;2;3;4;5}, te dars cuenta que
AcB. adems, te dars cuenta que el conjunto incluido A tiene menos elementos que el conjunto que
incluye. Es por eso que al conjunto incluido A se le llama subconjunto propio de B. grficamente un
subconjunto propio se ver as:
PROPIEDADES:
I) todo conjunto est incluido en si mismo A A
II) el conjunto vaco se considera incluido en cualquier conjunto
A
III) A est incluido en B (AB) equivale a decir que B incluye A
(BA)
IV) Si A no est incluido en B o A no es subconjunto de B
significa que por lo menos un elemento de A no pertenece a B
(A.B)
V) simblicamente: A c B Xe A Xe B



SUBCONJUNTOS Y SPER-CONJUNTOS
Un conjunto se dice subconjunto de otro A, si todo elemento de A es tambin elemento de B, es decir,
cuando se verifique:
X e A X e B
Sea cual sea el elemento X. en tal caso, se escribe A _ B.
Otro ejemplo: A ={1;2;3;4;5}, B={2;3}
Los elemento del conjunto B, estn todos incluidos en el conjunto A, por lo cual se puede decir que ambos
conjuntos guardan una relacin entre ellos, o sea, como el conjunto B esta contenido en A, este se
considera como un subconjunto con respecto al conjunto A; al conjunto Ase le llama sper-conjunto con
respecto al conjunto B, porque contiene todos los elementos de B y ms.

RELACIONES ENTRE LOS CONJUNTOS
Entre las relaciones de conjuntos podemos citar, a los conjuntos iguales, los comparables, incomparables,
equipolentes, disjuntos.
CONJUNTOS IGUALES.
Tenemos un conjunto M={2;3;4;5} y otro N={3;2;5;4}, si observamos los elementos de ambos conjuntos,
independientemente del orden en que aparecen podemos notar que ambos conjuntos tienen igual
cantidad de elementos y los mismo elementos en cada conjunto; y cuando se cumple esta regla decimos
que los conjuntos son iguales.
IGUALDAD DE CONJUNTOS
Dos conjuntos son iguales si tienen los mismos elementos.
Por ejemplo:
A= {X/X2=9} y B = {X/(X-3)(X+3)=0}, resolviendo la ecuacin de cada conjunto se obtiene en ambos casos que X es
igual a 3 o -3, es decir: A={-3;3} y B={-3;3} por lo tanto A=B. simblicamente: A=B(AcB) .(BcA)
Genricamente decimos que siempre que para cualquiera que sea el elemento X, se verifique
X e A X e B

CONJUNTOS COMPARABLES
Si tenemos los conjuntos A: son los das de la semana y B: son los das de la semana que terminan en
0, si los expresamos por extensin A={domingo, lenes, martes, mircoles, jueves, viernes, sbado} y B=
{domingo, sbado}, en este tipo de circunstancias podemos decir que estos conjuntos son comparbles por
los elementos que poseen en comn.
ALGO MAS
Un conjunto A es COMPARABLE con otro conjunto B si entre dichos conjuntos existe una relacin de
inclusin.
Observa que B (el ovalo interior), est incluido
En A, por lo tanto A y B son

COMPARABLES.
A ={1;2;3;4;5}, B={2;4}



CONJUNTOS INCOMPARABLES
Si tenemos dos o ms conjuntos y no poseen elementos en comn, no se pueden comparar uno con el
otro ejemplo: C = {1;2;3;4;5} y D ={6;7;9}.


5
1
3
4 2

CONJUNTOS EQUIPOLENTES
Si tomamos a los conjuntos A y B, y decimos que A: son los das de la semana y que B: son los
elementos de una casa, de acuerdo a las caractersticas de las enumeraciones podemos comparalas y
clasificarlas como equipolentes, es decir:
A = domingo, lunes, martes, mircoles, jueves, viernes, sbado
B = sala, cocina, bao, habitaciones, comedor, galera.

CONJUNTOS DISJUNTOS
Dos conjuntos son disjuntos cuando no tienen elementos comunes.
Cinco personas que estn debajo de una planta de magos observan que la planta solo tiene mangos.
Inmediatamente piensa que a cada uno le corresponde un mango. Entonces decimos que las cinco
personas son A= {pedro, juan, mara, Isabel, rosa} y B= {son los 5 mangos}. Analizando este problema
llegaremos a la conclusin de que los conjuntos son incomparables, por la carencia de elementos y
estructura similar.
Los conjuntos incomparables pueden ser disjuntos, o sea, pueden no tener ningn elemento en comn.

CLASES DE CONJUNTOS o ESPECIALES
Se pueden clasificar en universal o referencial, unitario, vaco, finito, infinito, familia de conjuntos y
conjunto potencia.

Conjunto vaco: conjunto que no tienen elementos tambin se lo llama conjunto nulo. Generalmente se representa por
lo smbolos: { } o
A= o A= { } se lee: A es el conjunto vacio o A es el conjunto nulo
Ejemplos: M={nmeros mayores que 9 y menores que 5}; P={X/ 1/X=0}
Cuando se escribe un enunciado y no podemos nombrar sus elementos, entonces se clasifica como vaco. Ejemplos:
A= son los 14 continentes de la tierra, B= todos los hombres mayores de 1000 aos de edad.

Conjunto unitario: es el conjunto que tiene un solo elemento.
Ejemplos: F={X/ 2X + 6= 0}; G={X/X2 = 4^X< 0}
Cuando se escribe un enunciado por compresin y resulta que el conjunto solo tiene un elemento, entonces el
conjunto es unitario. Ejemplos: A= es el creador del universo, B= es el presidente de la repblica dominicana, C=
es el satlite de la tierra, D= descubri amrica.


Conjunto finito Es aquel conjunto con un nmero limitado de elementos
Ejemplos: E={X/X es un nmero impar positivo menor que 10}; N={X/X2=4}.
Es aquel al enumerar los elementos de dicho conjunto se pueden mencionar todos y cada uno de sus elementos.
Ejemplos: A= son los das de la semana, es decir A= {domingo, lunes, martes, mircoles, jueves, viernes, sbado},
B= son los meses del ao, es decir, B={enero, febrero, marzo, abril, mayo ,junio, julio, agosto, setiembre, octubre,
noviembre, diciembre}

Conjunto infinito: con un numero ilimitado de elementos
Ejemplo: R={X/X<6}; S={X/X es un numero par}.
Es todo aquel conjunto del cual no se pueden enumerar todos los elementos de los que se compone.
Ejemplo: A= los nmeros reales, B= los metros que tiene el universo.

Conjunto universal: es un conjunto referencial que contiene a todos los elementos de una situacin particular,
generalmente se le representa por la letra U
Ejemplo: el universo o conjunto universal de todos los nmeros es el conjunto de los NUMEROS COMPLEJOS.
Conjunto Universo: Es un conjunto de referencia que agrupa a todos los elementos de los conjuntos con que se
opera en una determinada situacin.

El conjunto referencial depende de la situacin que se est estudiando, se construye en forma convencional, este
conjunto contiene los elementos de los conjuntos dados, es decir, cualquier conjunto respecto al conjunto
referencial ser subconjunto de l. Podemos decir, que el conjunto referencial es el super-conjunto de todos los
elementos dados.
Ejemplos: A= son los nmeros reales, B= {1;2;3;4;5}, C= {9;10;11;12;13;14}, D= {5;6;7;8;9}.

CONJUNTOS DE CONJUNTOS O FAMILIA DE CONJUNTOS
Es un conjunto cuyos elementos son conjuntos.
Ejemplos: F= { {a}; {b};{a, b};{a, b ,c} } observe que los elementos del conjunto F tambin son conjuntos. {a} es un
elemento del conjunto F entonces {a} e F, es correcto decir que {b} c F? NO
Porque {b} es un elemento del conjunto F, lo correcto es {b} e F


Sabemos que los elementos de un conjunto se nombran con letras minsculas, si es que son letras:

N ={a; e; i; o; u}, ahora observamos lo siguiente:
M= {A;B;C;D}

El conjunto M tiene como elementos letras, y como esn en mayscula podemos decir que los elementos de M son
tambin conjunto.
Cuando sucede esto podemos decir que se trata de familia de conjuntos.

A e M, B e M, C e M, D e M

CONJUNTO POTENCIA
El conjunto potencia de un conjunto A denotado por P(A) o Pot(A) es el conjunto formado por todos los subconjuntos
de A. ejemplo: sea A={m;n;p}
Los subconjuntos de A son {m},{n},{p},{m;n},{m;p},{n;p},[m;n;p}, |
Entonces el conjunto potencia de A es: P(A)= { {m};{n};{p};{m,n};{m;p};{n;p};{m:n;p};|}
Cuntos ELEMENTOS TIENEN EL CONJUNTO POTENCIA DE A? tiene 3 elementos, y P(A) tiene 8
CONJUNTO NUMERICOS
A) P={Xe N/X2 - 9=0} aqu P={3}
B) Q={XeZ/X2 - 9=0} aqu Q={-3;3}
C) F={XeR/X2 + 9=0} aqu F={ }
D) T={XeQ/(3X 4 (X -\2)=0} aqu T={4/3}
E) B={Xe I/(3X 4(X -\2)=0} aqu B={\2}
OPERACIONES CON CONJUNTOS
Unin, Interseccin, diferencia y diferencia simtrica.
Sea A y B dos conjuntos.
UNIN
Los elementos que pertenecen a A o a B o a ambos A y B, forman otro
Conjunto, llamado unin de A y B, escrito AB. as pues, se tiene que:
AB = {X : Xe A v X e B}
Ejemplos: si tenemos los conjuntos
A = {2;4;6}
B = {4;6;8;10}
C = {10;14;16;26}
Entonces: AB= {2;4;6;8;10}, AC = {2;4;6;10;14;16;26}

A

B
AB


El conjunto A unin B que se representa asi AB es el conjunto formado por todos los elementos que pertenecen
a A, a B o a ambos conjuntos. A B
Ejemplo: A={1;2;3;4;5;6;7} y B={5;6;7;8;9}

Ahora calculemos AB={1;2;3;4;5;6;7;8;9}
AB={X/X e A v XeB}

REPRESENTACION GRAFICA DE LA UNION DE DOS CONJUNTOS
Si A y B son no comparables Si A y B son comparables
AB AB




Si A y B son conjuntos disjuntos




PROPIEDADES DE LA UNION DE CONJUNTOS
1. AA= A 2. AB=BA 3. A|=A 4. AU=U
5. (AB) C=A(BC) 6. Si AB=| A=|, B=|
INTERSECCION DE CONJUNTOS
Los elementos comunes entre A y B forman un conjunto denominado interseccin de A y B, representado
por AB:
AB= {X : X e A . X e B}
Si dos conjuntos A y B son tales que AB=|, entonces A y B se dicen conjuntos disjuntos.
Ejemplo: si tenemos los conjuntos A={2;4;6}, B={4;6;8;10}, C={10;1416;26}, entonces AB={4;6}
1 3
6
2 4
5
5 7
6 8 9
U B
A
U
B
A
U B
A
AC= |





El conjunto A interseccin B que se representa AB es el conjunto formado por todos los elementos que pertenecen
a A y pertenecen a B.
Ejemplo: A={1;2;3;4;5;6;7} y B={5;6;7;8;9} entonces AB={5;6;7} AB={X/XeA.XeB}
A B



REPRESENTACIN GRAFICA DE LA INTERSECCIONN DE CONJUNTOS
SI A Y B SON NO COMPARABLES SI A Y B SON COMPARABLES
AB AB=B






Si A y B son conjunto
Disjuntos tengo
AB=|


PROPIEDADES DE INTERSECCION DE CONJUNTOS
1. AA=A 2. AB=BA 3.A|=| 4.AU=A 5. (AB) C=A(BC)
6. A(BC)=(AB) (AC) A(BC)=(AB) (AC)
1
2 4 5
3 6
7
5
6 7
8 9
U B

A
U A

B
U A B


DIFERENCIA DE CONJUNTOS
los elementos de un conjunto B que no se encuentran en otro conjunto
A forman otro conjunto llamado diferencia de B y A, representado por,
B-A:
B A = { X : X e B . X e A} vemos que:
X e (B A) X e B . X e A X e B . X e A X e (B A) X e(BA)
De manera que
B A = B A.


Pero tambin
X e (BA) X e B . X e A X e A. X e B X e A. X e B X e (A- B), de modo que
B A = A- B


El conjunto A menos B que se representa A-B es el conjunto formado por todos los elementos que pertenecen a A y
no pertenecen a B.
Ejemplo: A={1;2;3;4;5;6;7} y B={5;6;7;8;9}

A-B= {1;2;3;4} A-B={X/Xe A . X e B}
NOS HACEMOS UNA PREGUNTA A B= B -A?
El conjunto B menos A que se representa B-A es el conjunto formado por todos los elementos que
pertenecen a B y no pertenecen a A, entonces B-A= {8;9}, B-A={X/Xe B .X eA}
REPRESENTACIN GRAFICA DE LA DIFERENCIA DE CONJUNTOS
SI a Y b SON NO COMPARABLES A B SI A Y B SON COMPARABLES A-B





SI A Y B SON CONJUNTOS DISJUNTOS
A B =A

U B

A
U A

B
U A B



DIFERENCIA SIMTRICA
Los elementos de conjuntos, A y B a excepcin de aquellos que se encuentran en el rea de interseccin de dichos
conjuntos se define la diferencia simtrica.
B A A = (B A) (A B)

El conjunto A diferencia simtrica B que se representa AAB es el conjunto formado por todos los elementos
que pertenecen a (A-B) o (B-A). EJEMPLO. A={1;2;3;4;5;6;7;} y B= {5;6;7;8;9}
A A B= {1;2;3;4}{8;9}, AAB={X/X e (A-B) v X e (B-A)}

Tambin es correcto afirmar que: AAB=(A-B)(B-A)
AAB=(AB)-(AB)
COMPLEMENTO DE UN CONJUNTO. Dado un
conjunto universal U y un conjunto A, se llama complemento de A al conjunto formado por todos los
elementos del universo que no pertenecen al conjunto A. Notacin: A o A
c
simblicamente: A={X/X e U
. X e A}, A= U A Ejemplo: U={1;2;3;4;5;6;7;8;9} y A={1;3;5;7;9}
U

A={2;4;6;8}



A B

2 A
8
6 4
1 3
5 7
9

PROPIEDADES DEL COMPLEMENTO
1. (A)=A 2. AA=U 3.AA=| 4. U=| 5. |=U
LGICA PROPOSICIONAL
Una proposicin es cualquier enunciado lgico al que se le puede asignar un valor de verdad o falsedad.
Dada una proposicin p, se define la negacin de p como la proposicin p que es verdadera cuando p es
falsa y que es falsa cuando p es verdadera. Se lee no p.
A partir de una o varias proposiciones elementales se pueden efectuar diversas operaciones lgicas para
construir nuevas proposiciones; en este caso, se necesita conocer su valor de verdad o falsedad en
funcin de los valores de las proposiciones de que se componen, lo cual se realiza a travs de las tablas de
verdad de dichas operaciones.
Por ejemplo: la tabla de verdad de la negacin es la siguiente:
P P
1 0
0 1

A continuacin se describe las principales operaciones lgicas entre dos proposiciones p, q y sus tablas de
verdad:
CONJUNCIN: es aquella proposicin que es verdad cuando p y q son verdaderas, y falsa en cualquier
otro caso.
Se escribe p . q, se lee p y q.
P q p.q
1 1 1
1 0 0
0 1 0
0 0 0
DISYUNCIN: es aquella proposicin que es verdadera cuando al menos una de las dos p o q es
verdaderas, y falsa en caso contrario. Se escribe pvq, y se lee p o q.

p q pvq
1 1 1
1 0 1
0 1 1
0 0 0
DISYUNCIN EXCLUSIVA: Es aquella proposicin que es verdadera cuando una y slo una de las dos p o q
es verdadera, y falsa en cualquier otro caso. Se escribe p y q, y se lee p o q pero no ambas. Se usa muy
poco.

p q p y q
1 1 0
1 0 1
0 1 1
0 0 0



CONDICIONAL: es aquella proposicin que es falsa nicamente cuando la condicin suficiente p es
verdadera y la condicin necesaria q es falsa.
Se escribe pq, y se lee si p entonces q.

p q pq
1 1 1
1 0 0
0 1 1
0 0 1

BICONDICIONAL: Es aquella proposicin que es verdadera cuando p y q tienen el mismo valor de verdad,
y falsa en caso contrario. Se escribe pq, y se lee si y slo si p entonces q.
p q pq
1 1 1
1 0 0
0 1 0
0 0 1

PROPIEDADES QUE PUEDEN AFECTAR A LOS CONJUNTOS:
PROPIEDADES UNIN INTERSECCIN
1-Idempotencia AA-A AA-A
2-Conmutativa AB=BA AB=BA
3-Asociativa A(BC)=(AB) C A(BC)=(AB) C
4-Absorcin A(AB)-A A(AB)=A
5-Distributiva A(BC)=(AB)(AC) A(BC)=(AB)(AC)
6-Complementariedad AA=U AA=|

Ejercicios
1. En el siguiente grfico observa los conjuntos y complementa el cuadrado usando los smbolos de
e,e,c o ., segn corresponda.

2. marca verdadero o falso segn corresponda.
A={2;3;{5};{6;7};8}
a) 2cA
b) 5eA
c) 8eA
d) {5}eA
e) 7eA


3. Dado el conjunto A={ {1};3;5;{2;4};7}. Seale la afirmacin falsa:
a) {1}eA
b) {3}eA
c) {5}cA
d) {2;4}eA
e) 7eA



4. Dado el conjunto M={ {2};{3};4;{5;6}}. Seale la afirmacin falsa.

a) 2eM
b) {{3}}cM
c) {4}cM
d) {5;6}cM
e) {5;6}eM
5. Si A= {letras de la palabra aseo}, B={letras de la palabra poesa}. El conjunto de letras de A que no
pertenecen a B es:

A) {a} B) {e} C) {p} D) {i} E) |

6. De acuerdo al diagrama, la afirmacin correcta es:
A) Q= {1;2;3;7} B) PcQ C) QcP D) P={3;7}


7. En el siguiente grfico, observa los conjuntos y completa usando los smbolos e,e,c o . segn
corresponda:




8. Qu conjunto esta incluido en A?
A) B, C y D
B) slo C
C) Slo D
D) C y D
E) D y B





A) 2 A
B) 1 B
C) 6 C
D) 4;5 A
E) B A
F) 3 C
G) A U
H) B C
I) C U
J) 7 U
K) {6;8} C


Dados los conjuntos U, A,B,C determina el conjunto indicado en cada caso.

U={1;2;3;4;5;6;7;8;9;10}
A= {2;4;6;8;10}
B= {1;2;3;4,5}
C= {1;3;5;7;9}
a. AB
b. BA
c. AAB
d. B U
e. U B
f. C
c

g. BA
h. AB
i. (AB)
c


AB= {1;2;3;4;5;6;;8;10}


9. Si A= {ne R/n < 2 2n >1} ; A=(a,b). calcule el valor de 6a+3b.
A)8 B)9 C)7 D)10 E)12

Resolucin: se sabe que AB=(A
C
B)(B
c
A)
(n<2)(2n>1)
(-;2)(1/2;)
[{-;2)
C
{1/2;}] [{-;1} {1/2;}
C
]
[{2;} {1/2;}] [{-;1} {-;1/2}], luego {1/2;2}
A={a;b} = {1/2;2}
a=1/2 b=2 6a +3b=6(1/29) + 3(2)=9

10. Representacin grfica
A) (BA)(B-C)
B) (AC)-(ABC)
C) [B(AC)]-(ABC)
D) (AC) [(AB)-(BC)]
E) (BA)-(ABC)


Solucin:


11. D el valor de verdad de los siguientes proposiciones:
1. Si A={n} . B={m} . n = m P(A-B)=P(A)
2. A-(AB)=|
3. Si AB
C
= | A-B= A; A = |
4. [(B-A
C
){A(AB
C
)
C
}]
C
= |

A) VFVF B) VFVV C) VVFF D) VVFV E) VVVF

Resolucin:
1. Como n=m A y B son disjuntos, A-B=A P(A-B)= P(A) (V)
2. A-(AB)=|
A(AB)
C
=|
AA
C
B
C
=| vemos que AA
C
=| B
C

=| A- (AB)=| (V)
3. AB
C
=| A-B= A
A-B=| F
V
AB
C
=| A B=A (F)
4. [(BA
C
)
C
(A
C
B)A)]
C
=| (A
C
B)A)= absorcin
{B
C
AAB}
C
=|
{UA}
C
=|
{U}
C
=|
|=| (V)

12. Dado el siguiente diagrama lineal:


Halle el valor de verdad de los siguientes proposiciones:
1. (AB)D=|
2. (BC)-[(B-A)C]=(AB)C
3. (AB)(CD)=D
A) VFF B)VVV C) FFV D) FVV E)VFV




4. Resolucin:
1. (AB)D=| porque (AB)C=D es falso
2. (BC)-[(B-A)C]=(AB)C es verdadero
3. (AB)(CD)=D es verdadero por que ABCD=(AD)(BC)
D C=D
13. Un total de 90 alumnos dio 3 exmenes para aprobar un curso y se observa que los que
aprobaron solo un examen representan el quntuplo de los que aprobaron los 3 exmenes
resultan el triple de los que desaprobaron los 3 exmenes. Si el nmero de los que desaprobaron
los 3 exmenes es igual al nmero de los que aprobaron los 3 exmenes. cuntos aprobaron el
curso? Considere que para aprobarlo es necesario que aprueben por lo menos 2 exmenes.


A) 36 B)12 C)16 D)20 E)18
Resolucin: graficando convenientemente

Por lo menos dos aprobados 3a+a=4=4(9)=36

14. En la facultad de ingeniera econmica y estadstica de cierta universidad, las cantidades de
estudiantes de ingeniera,
Econmica E
1
e ingeniera estadstica E
2
son iguales. De las 450 mujeres, ninguna practica solo
ftbol y 250 estudian E
2
. De loa 550 varones, ninguno practica solo vley; 75 estudian E
1
y
practican ftbol; adems 40 estudian E
2
practican ftbol y vley. La quinta parte de los varones
que estudian E
2
, practica solo ftbol y esta cantidad es la tercera parte de las mujeres que
practican vley. Halle a+b, si
a: cantidad de mujeres que no practica vley.
b: cantidad de varones, que estudian E
1
y no practican ftbol o estudian E
2
y practican slo ftbol.
A)435 B)465 C)480 D)540 E)575

Resolucin:
Grficamente
a=450-150=300
b=300-75+50=275
a+b=575













15. a una conferencia asistieron 60 piuranos, 90 apurimeos y 70 tacneos. Se observ que entre los
tacneos y piuranos haba 100 personas que usaban lentes y 12 corbata, pero no tenan lentes y
48 apurimeos usaban lentes o corbata. Halle la cantidad de personas que no usaban lentes ni
corbata y cuya procedencia era piurana o apurimea, si 9 tacneos no usaban lentes ni corbata.
A)48 B)51 C)56 D)62 E)67


Resolucin: haciendo el diagrama












Nos piden X+Y
Luego 220-X-Y-9=160 X+Y=51

You might also like