Sei sulla pagina 1di 38

CONJUNTOS

Noción de conjuntos.- Es una agrupación, reunión, colección de objetos llamados


elementos.

Notación.- Un conjunto es denotado por una letra mayúscula y entre llaves sus
elementos.

Ejemplos
A  lunes, martes, miércoles, ..., domingo
B  x  
/ x  0
C  1, 2;3, 2;3;3,1
D  x  / x2  0   0

Pertenencia.- Se dice que un elemento “x” pertenece a un conjunto “B” y lo denotamos


por “ x B ” si x es un elemento de B, si no lo es, decimos que “x no pertenece a B” y lo
denotamos por “ x B ”.

Ejemplos
a) 2  D , 0  A
b) 1  1 B , a  D
c) lunes  C , árbol  A
d) 1, 2  C , martes  A
e) 2  D ; 1,1 C

Determinación de un conjunto.- Es la forma como se escriben los elementos de un


conjunto, éstas son 2:
a) Por extensión.- En esta forma escribimos todos los elementos del conjunto separados
por comas o punto y coma si ya se usaron las comas, o solamente algunos elementos
que nos dan la idea de cómo son todos los elementos.

Ejemplos
A  1, 2,3
B  verano,invierno,otoño, primavera
C  a, b, c,..., z
D  1, 2,3,
E  ..., 3, 2, 1,0,1, 2,

b) Por comprensión.- En esta forma sólo escribimos la característica o propiedad


común de todos los elementos, esta característica o propiedad será la condición que
deberán cumplir todos los elementos del conjunto, se escribirá de la siguiente
manera:
A  x / x “característica o propiedad ”
Nota.- Una forma incorrecta, es la de escribir de manera directa la característica o
propiedad sin indicar que ésta se referirá a cada elemento del conjunto.
A  “característica o propiedad ”
Igualmente la característica deberá indicarse en singular porque especifica en su
condición “x tal que x” que se refiere a un sólo elemento.

Por ejemplo A  meses del año o A  x / x son los meses del año son formas
incorrectas de escribir por extensión el conjunto A   x / x es un mes del año .

Ejemplos
B  x / x es una estación del año
C  x / x es una letra del abecedario
F  x / x   x 2  0 el cual se puede escribir como F   x  / x 2  0
A  x  
/ 0  x  4   x  / x  4
D  x  / x  0  

E  x  /   x   
 1, 2,3,.....
0  0,1, 2,3,....



0  0

Ejercicio.- Hallar por extensión el conjunto A  x  


/ ( x 2  1)( x 2  4)( x 2  9)  0 .

Solución
Resolviendo la ecuación ( x2  1)( x2  4)( x2  9)  0 tenemos que x  1 , x  2 ,
; x  3 y aplicando la condición que x   entonces A  1, 2,3

CLASES DE CONJUNTOS:
Conjunto nulo o vacío.- Es denotado por   ,  ; es aquel conjunto que no tiene
elementos.

Ejemplos
A  
B  x  
/ x  0
C  x / x es un chancho que vuela
D  x / x es un político honesto

Nota.- Si queremos escribir un conjunto nulo por extensión en la condición de los


elementos podemos escribir una condición absurda como en el conjunto C.

Observación.- Debemos de tomar en cuenta que    , puesto que el primer conjunto
es el conjunto vacío y el segundo conjunto no es vació puesto que sí tiene un elemento.
Conjunto unitario.- Es el conjunto que tiene sólo un elemento.

Ejemplos
A  2
B  {x  /1  x  3}
C  x  / x   a, b  x  b, c  b
D  x / x es enamorada de Escudero

Conjunto universal.- Es aquel conjunto formado por todos los elementos de los
conjuntos de un estudio en particular.

Ejemplos
1.- Para los conjuntos:
A  1, 2,3 , B  2,3, 4 y C  x  / x 2  0  x 2  1  0
Después de resolver la condición de elementos del conjunto C, tenemos que
C  0, 1,1 , entonces tenemos que los siguientes conjuntos cumplen la definición:
U1 
U2 
U3   x  / x  4
U 4   x  / 1  x  6

2.- Para los conjuntos:


A  Acuña, Noceda, Rodríguez
B  Segura, Erick
C  Leydi, Giraldo 1, Giraldo 2
Tenemos los siguientes conjuntos que cumplen la definición:
U1  x / x es peruano
U 2  x / x es un alumno de PLMG1
U3  x / x es un ser humano

Observaciones
1.- El conjunto universal más pequeño que se puede formar, será aquel que esté formado
únicamente por los elementos de todos los conjuntos.
2.- Encontramos conjuntos universales tan pequeños o tan grandes como se quiera
3.- Como no existe un solo conjunto universal que cumpla con la definición, entonces
sólo existen conjuntos universos relativos.

REPRESENTACIÓN GRÁFICA DE UN CONJUNTO


Diagramas de Venn.- Un conjunto se puede representar mediante los llamados
diagramas de Venn, los cuales consisten de una figura geométrica cerrada, afuera del
conjunto se escribe el nombre del conjunto y dentro de la figura los elementos
acompañados de un punto, dada la descripción de los diagramas de Venn usaremos
estos diagramas para representar un conjunto que está dado por extensión.

Ejemplos:
1.- A  a, b, c, d , e
A

a.
b. c.
d. e.

2.- B 
B

1. 2. 3.
4. 5.

3.- C  {x  / x  30}
C C
1. 2. 3.
4.
x / x  30
...
29. 30.

4.- D  x / x es una letra del alfabeto

x / x es una
letra del
alfabeto

Nota.- Aunque en los ejemplos 3 y 4 hemos usado los diagramas de Venn para
representar conjuntos determinados por comprensión, estos diagramas de preferencia
no deben ser usados para este fin, puesto que no reunirían las condiciones para ser
diagramas de Venn.
RELACIONES ENTRE CONJUNTOS
INCLUSIÓN DE CONJUNTOS.- Dados 2 conjuntos A y B decimos que A está
incluido en B o A es subconjunto de B y lo denotamos por:
A B
cuando todo elemento de A es elemento de B.

Nota.- Si A no es subconjunto de B lo denotamos por:


A B
Simbólicamente.-
A  B  x  A si x  A  x  B
Gráficamente.-
B

A
A B

Propiedades
1.-   A , A
2.- A  A , A
3.- A  U , A
4.- Si A  B  B  C  A  C

Ejemplos
1.- C  x / x es un alumno de la FCAM
A  x / x es un alumno de introducción a ingeniería ambiental
En este caso A  C
Si B  Dante, Yésica entonces B  C .
2.- Sea A  1, 2, 3,0,5, 4 y B  x  / x  A  2,5 En este caso B  A

3.- A  [0,1]
 ( x 2  x)( x 2  1) 
B  x  /  0
 ( x  1)( x  2) 
¿ A  B o B  A?
Después de resolver la inecuación del conjunto B, tenemos que
B   2, 0  1 1
Entonces ninguno es cierto, ni A  B ni B  A .

IGUALDAD DE CONJUNTOS.- Dados dos conjuntos A y B, se dice que A es igual a


B, si A y B tienen los mismos elementos.
También si se cumple la doble inclusión, es decir:
A  B A  B  B  A (Doble inclusión)
Ejemplo.- ¿ A  B ?, si A  1,1,1,1,...,1, 2, 2, 2, 2 y B  x  / x 2  5
Reescribiendo los conjuntos:
En el conjunto A sólo consideramos una vez los elementos que se repiten entonces
A  1,1,1,1,...,1, 2, 2, 2, 2  1, 2
En el conjunto B resolvemos la inecuación y lo escribimos por extensión entonces
B  x  / x 2  5  1, 2
Entonces sí A  B .

Ejercicio.- Si A  B , A   x 2  2 x  3, 2 , B  0, y 2  2 y  1 , hallar:


C  {x  y / x  A  y  B}
Solución
Como A  B , notamos que A  0, 2  B entonces
C  0  0,0  2, 2  0, 2  2 0, 2, 2, 4  0, 2, 4

Nota.- Debemos de tomar en cuenta lo que se nos pide en el ejemplo, si no analizamos


un poco podíamos haber resuelto las ecuaciones, algo que es innecesario para lo que se
nos pide en el ejemplo.

OPERACIONES ENTRE CONJUNTOS


En las siguientes operaciones A, B y C serán conjuntos cualesquiera y U será el
conjunto universal, definimos entonces las siguientes operaciones:

INTERSECCIÓN DE CONJUNTOS.- Es el conjunto formado por los elementos


comunes de los conjuntos A y B, es denotado por “ A B ”

Simbólicamente.- A B   x U / x  A  x  B

Gráficamente: Pueden presentarse los siguientes casos básicos.

Nota.- Si A B   , A y B son llamados conjuntos disjuntos.


Propiedades
1.- A A  A
2.- A B  B A
3.-  A B  C  A B C
4.- A   
5.- A U  A
6.- Si A  B  A B  A

Ejemplos
Hallar A B en los siguientes ejemplos:
1.- A  1, 2,3, 4,5, 6 y B  x  0 / ( x 2  1)( x 2  4)....( x 2 100) 0 
Escribiendo por extensión el conjunto B después de haber resuelto la ecuación
tenemos que B  1, 2,3, 4,5,6,7,8,9,10 , luego como A  B entonces
A B  1, 2,3, 4,5,6
2.- A  x / x es una vocal de la palabra Figueroa , B   x / x es una letra del alfabeto
y C  a, b, c, e, f , z  , hallar también:
a)  A B  C b)  A C  B c)  A B  

3.- A   2, 0  2, 4 6,8 y B   3, 1 1,3 5,7


Realizando operaciones con intervalos y si es necesario graficando los intervalos
tenemos que:
A B   2, 1  2,3 6,7

4.- A   x  /

( x  1)( x  2)3 ( x  3)5
( x  2) ( x  4) ( x  6)
2 4 8


 0 y B  x  / x 2  4  16  x 2  0 .


Resolviendo por separado cada inecuación de las condiciones de cada conjunto
tenemos que:
A   ,1   2,3  8, 4, 2 y B   , luego
A B  A   .

Nota.- En este ejemplo no es necesario hallar por extensión el conjunto A, sería


suficiente después de hallar por extensión B, aplicar la propiedad directamente.

UNIÓN DE CONJUNTOS.- Es el conjunto formado por todos los elementos de A y de


B, es de denotado por “ A B ”

Simbólicamente.- A B  x U / x  A  x  B

Gráficamente: Pueden presentarse los siguientes casos básicos.


Propiedades
1.- A A  A
2.- A B  B A
3.- A ( B C )  ( A B) C
3.- A   A
4.- A U  U
5.- A ( B C)  ( A B) ( A C )
6.- A ( B C)  ( A B) ( A C )
7.- A ( A B)  A
8.- A ( A B)  A
9.- Si A  B  A B  B

Ejemplos
1.- Si A   x  0 / x  3  0 , B  0,1, 2,...,10 y
C  x  / x( x  1)( x  2)...( x  10)  0 , hallar: ( A C ) B.
Escribiendo por extensión el conjunto A y B tenemos que:
A  0,1,........
C 
Entonces:  A C  B   B  B .

2.- Demostrar la propiedad 6 usando elementos (usando definiciones), es decir:


A ( B C)  ( A B) ( A C )
En este caso usaremos la doble inclusión es decir:
A B  ACB  A

i) A ( B C)  ( A B) ( A C)
Sea x   A ( B C ) 
  x  A   x  ( B C ) 
 ( x  A)  (( x  B)  ( x  C ))
p q r

Sean p  x  A , q  x  B y r  x C entonces escribiendo como proposiciones y


usando la propiedad p  (q  r )  ( p  q)  ( p  r ) tenemos que:
 ( p  q)  ( p  r ) y escribiendo como conjuntos:
 ( x  A  x  B)  ( x  A  x  C )
 x  ( A B)  x  ( A C )
 x  (( A B) ( A C ))
 A ( B C )  ( A B) ( A C ) .
ii) ( A B) ( A C)  A ( B C)
Sea x   ( A B) ( A C ) 
 x  ( A B)  x  ( A C )
 ( x  A  x  B)  ( x  A  x  C )
p q p r

Procedemos como en la parte i), luego como ( p  q)  ( p  r )  p  (q  r )


 x  A  ( x  B  x  C)
 x  A  x  (B C)
 x  ( A ( B C ))
 ( A B) ( A C )  A ( B C )
De i) y ii) A ( B C)  ( A B) ( A C ) .

3.- Si A  1, 2 , 1, 2 , 2, 1, 2,3 , B  3, 1 , 1, 2 , 3 y C  1,2,3, 2 , 1,2  .
Hallar ( A B) C .

Tenemos que A B  1, 1 , 2 , 1, 2 , 2,3, 3 , 1, 2,3 , luego notamos que:
C  ( A B)
Entonces:
( A B) C  C ( A B)  C
el cual se representa gráficamente como:
C

4.- Sean los conjuntos: A  x  / 3  x  8 , B  x  1 A / x   x  6 ,


C  x  / 3  x  2  7 , D   x  / x 2  9 , hallar:
a)  A D  ( B C )
b)  A C  ( B D)

COMPLEMENTO DE UN CONJUNTO.- Dado un conjunto A el complemento de A


es aquel conjunto formado por todos los elementos del universo que no pertenecen al
conjunto A, es denotado por: CA , A ' o AC

Simbólicamente: A '   x U / x  A
Observación.- Como  () entonces A '   x U / ( x  A)

Gráficamente:

Propiedades
1.- ( A ') '  A
2.- ( ) '  U
3.- (U ) '  
4.- A A '  
5.- A A '  U
6.- ( A B) '  A ' B '
7.- ( A B) '  A ' B '
8.- A ( A ' B)  A B
9.- A ( A ' B)  A B

Ejemplos
1.- Si U  , A  x  / x  2  2,3,..... entonces A '  1

2.- Si U  1, 2,3, 4,9, 25 y A  x 2 / x U  , hallar A y A ' ,


En este caso debemos de tomar en cuenta que el universo contiene todos los
elementos posibles y que ningún conjunto puede tener más elementos que éste,
entonces A  12 , 22 ,32   1, 4,9 , ya no consideramos 42  16 U y los cuadrados
de los demás elementos, luego:
A  1, 4,9 y A '  2,3, 25 .
3.- Hallar 3, 1 1, 25

 2,1 ' . 
Operando los intervalos tenemos que:
3, 1 1, 25  1 entonces
3, 1 1, 25  
 2,1 ' = 1 2,1 '
 

 2,1  '  , 2 1,  .

DIFERENCIA DE CONJUNTOS.- Es el conjunto formado por todos los elementos


que pertenecen al conjunto A, pero no pertenecen a B, es denotado por: A  B o C A B .

Simbólicamente: A  B  x U / x  A  x  B
Como ()  entonces A  B  x U / x  A ( x  B)
Es decir A  B  A B ' .

Nota.- Usando la definición de complemento y teniendo en cuenta que no hay conjunto


más grande que U, entonces
Si ( x  B)  x  B '

Gráficamente: Pueden presentarse los siguientes casos básicos.

Propiedades
1.- A  A  
2.- A  A '  A
3.- A    A
4.-   A  
5.- A  U  
6.- U  A  A '
7.- Si A B    A  B  A
8.- Si A  B  A  B  

Ejemplos
1.- Si A  x   
/ ( x  5)( x  5)  0 , B  x  2k  x  2k  1/ k  2,3 , hallar A  B y
B  A.
Resolviendo la inecuación en números reales en el conjunto A, tendríamos que
x [5,5] pero como x  entonces A  1, 2,3, 4 .
En el conjunto B como k  2 y k  3 , entonces para k  2 tenemos x  4  x  3 y
para k  3 tenemos x  6  x  5 , es decir B  3, 4,5,6 .
Luego A  B  1, 2 y B  A  5,6 .

 x 2 

2.- Si A  x  / 
x 1  1  x2  0 y B   x 

/
x2
 0 .

Hallar A  B y B  A .
Resolvemos por separado las inecuaciones de las condiciones de cada conjunto.
Para A usaremos la propiedad a  b  0  a  0  b  0 entonces:
a  0 : x  1  0  x  1   x  1  x  1 .
b  0 : 1  x  0  x  1  x  1  1  x  1 .
2 2

Luego  x  1  x  1   1  x  1 implica que x  1,1 o que A  1,1 .


a
Para B usaremos la ley de signos  0   a  0  b  0   a  0  b  0
b
x 2
Entonces  0   x  2  0  x  2  0   x  2  0  x  2  0 .
x2
x  2  0  x  2  x  2  x  2
x2 0  x  2
Luego ( x  2  x  2)  ( x  2) implica que x   , 2
x  2  0  x  2  2  x  2
x2  0  x  2
Luego (2  x  2)  ( x  2) implica que x   .
Entonces x   , 2  x   , operando x   , 2 , es decir B   , 2 .
Notamos que A y B son conjuntos disjuntos, por lo tanto:
A  B  1,1 .
B  A   , 2 .

3.- Demostrar usando propiedades que A  B  A  ( A B)


A  ( A B)  A ( A B) '
 A ( A ' B ')
 A B'
A  ( A B)  A  B

4.- Demostrar usando propiedades:


a) ( A  B)  C  A  ( B C )
b) ( A B)  C  ( A  C ) ( B  C )
c) A  ( B C)  ( A  B) ( A  C )
Para a) ( A  B)  C  ( A  B) C '
 ( A B ') C '
 A ( B ' C ')
 A (B C) '
( A  B)  C  A  ( B C )
Para b) ( A B)  C  ( A B) C
 ( A B) C 
 ( A C) ( B C)
 ( A  C) (B  C)
Para c) A  ( B C)  A ( B C) '
 A ( B ' C ')
 ( A B ') ( A C ')
A  ( B C)  ( A  B) ( A  C )

DIFERENCIA SIMÉTRICA DE CONJUNTOS.- Es el conjunto formado por todos


los elementos de los conjuntos que pertenecen a la unión de A con B, pero no
pertenecen a su intersección, es denotado por AB .

Simbólicamente: AB  x U / x  ( A B)  x  ( A B)


AB  x U / x   ( A  B)  ( A  B) 
es decir:
AB  ( A B)  ( A B)

Gráficamente: Se presentan los siguientes casos básicos.

Propiedades
1.- AB  BA
2.- ( AB) C  A( BC )
3.- AA  
AA  ( A A)  ( A A)  A  A  
4.- A  A
A  ( A  )  ( A  )  A    A
5.- AU  A '
AU  ( A U )  ( A U )  U  A  A
6.- AA  U
AA  ( A A ')  ( A A)  U    U
7.- AB  ( A  B) ( B  A)
8.- Si A B    AB  A B .

Ejemplos
1.- Hallar AB aplicando la definición y la propiedad 7, para los conjuntos del ejemplo
1 de diferencia de conjuntos.
Como en dicho ejemplo A  1, 2,3, 4 y B  3,4,5,6  tenemos:
Aplicando la definición AB  ( A B)  ( A B)
AB  1, 2,3, 4,5,6  3, 4  1, 2,5,6 .
Aplicado la propiedad 7 AB  ( A  B) ( B  A)
AB  1, 2 5,6  1, 2,5,6 .

2.- Demostrar usando propiedades, la propiedad 7.


Como AB  ( A B)  (A B)
 ( A B) ( A B)
 (A B) ( A B)
 (( A B) A) (( A B) B)
 ( A ( A B)) ( B ( B A))
 ( A B) ( B A)
 ( B A) ( A B)
 ( B  A) ( A  B)
AB  ( A  B) ( B  A)

 x2  4 
3.- Sean los conjuntos: A   x  / x  3  4 y B   x  /  0 .
 4x 1
2

Hallar AB .
Resolvemos por separado las inecuaciones de las condiciones de cada conjunto.
Para A usaremos la propiedad a  n  n  a  n  1 entonces:
x3  4  4  x3 5
4 3  x 33  53
1 x  2
Entonces x  1, 2 , es decir A  1, 2
x2  4
Para B tenemos que  0 como x2  4  0 entonces
4x  1
2

4x 1  0
2
 (2 x 1)(2 x  1)  0
Entonces x  1/ 2,1/ 2 es decir B  0,5;0,5
Luego AB  1, 2  0,5;0,5 como son conjuntos disjuntos
AB  1, 2 0,5;0,5

4.- Probar que si A  B  AB  B  A .


Por definición AB  ( A B)  ( A B) , como A  B entonces A B  B y
A B  A , luego
AB  B  A
De otra forma usando la propiedad 7, AB  ( A  B) ( B  A) , como A  B
entonces A  B   , luego
AB   ( B  A)  B  A

5.- Efectuar las siguientes operaciones con intervalos


a)  3,3   4, 4 ' 5,5
b)  2, 0 1,1 '  x  / x2  9  0

Para a)  3,3   4, 4 como  3,3   4, 4 entonces


 3,3   4, 4   4, 3 3, 4 , luego usando una gráfica

-4 -3 3 4
3,3  4, 4 '  4, 3 3, 4 '
 , 4 3,3  4, 
Y finalmente 3,3  4, 4 ' 5,5   , 4 3,3 4,   5,5

3,3  4, 4 ' 5,5  5, 4 3,3 4, 5 .

Para b) resolvemos la inecuación de condición del conjunto  x  / x 2  9  0


x 2  9  0  ( x  3)( x  3)  0 , si x  entonces x   3,3 , pero como x 
entonces el conjunto es 3, 2, 1,0,1, 2,3
Además 2,0  1,1  2,1 , luego utilizando una gráfica tenemos que
 2, 0 1,1 '   2,1 '  , 2 1, 

-2 1
Entonces
 2, 0 1,1 '  x  / x2  9  0 = , 2  
1,   3, 2, 1, 0,1, 2,3

 , 2 1,   3, 2, 1,0,1, 2,3    , 2 1,   3, 2, 1,0,1, 2,3
Haciendo por separado cada operación:
, 2 1,  
3, 2, 1, 0,1, 2,3  , 2 1,    1, 0
 , 2 1,   3, 2, 1, 0,1, 2,3  3, 2, 2,3
Luego
 2, 0 1,1 '  x  / x  9  0 =  , 2
2
1,   1,0  3, 2, 2,3
 2, 0 1,1 '  x  / x  9  0 =  , 2
2
1,   1,0  3, 2,3
O también  2, 0  1,1 '  x  / x  9  0 2


= , 3 3, 2 1, 2 2,3 3,   1, 0 .
CONJUNTO POTENCIA
Dado un conjunto A definimos el conjunto potencia de A denotado por P(A) como el
conjunto de subconjuntos de A.

Simbólicamente.- P( A)   X / X  A

Nota.- Como   A y A  A entonces estos 2 conjuntos siempre estarán incluidos en


el conjunto potencia P(A).

Ejemplos
1.- Si A  a, b, c entonces
 
P(A)   , a , b , c , a, b , a, c , b, c , a, b, c o también
 A 
P(A)   , A, a , b , c , a, b , a, c , b, c .

2.- Si B   ,  entonces


 
 
P( B)   ,  ,  ,  ,  o también
 B


 
P( B)   , B,  ,  .

Observación.- De los ejemplos anteriores notamos que el número de elementos de cada


conjunto potencia está dado por 2n , donde n es el número de elementos del conjunto del
cual se halla su conjunto potencia, por esta razón al conjunto de subconjuntos se le
llama conjunto potencia.

Subconjunto propio.- A es un subconjunto propio de B si A  B  A  B , es denotado


por A B .

Nota.- Algunos autores denotan A B por A  B , pero esto es más usado para indicar
que un subconjunto A puede ser igual al conjunto B y a la vez también otros autores
también denotan A B sólo como A  B .

Ejemplo.- Si B   1,1 son subconjuntos propios de B:


A1  
A2  1,1
A3  1,1
A4  1,1
A5  
 1,1

Nota.- Si el conjunto A tiene un número finito de elementos entonces:


1. El número de elementos del conjunto potencia de un conjunto A esta dado por:
n[ P( A)]  2n ( A) ,
Donde: n( A) es el número de elementos de A.

2. El número de subconjuntos propios de un conjunto A esta dado por:


n C prop ( A)   2n ( A)  1 .

NÚMERO DE ELEMENTOS DE UN CONJUNTO


(Cardinalidad de un conjunto)
También llamado cardinal de un conjunto, es denotado por:
n( A) , #( A) o car ( A) .

Para deducir la fórmula del número de elementos que tiene la unión de 2 conjuntos
cualesquiera (que tienen un número finito de elementos) consideremos lo siguiente:
Si quisiéramos saber cuántos alumnos llevan el curso de Pensamiento Lógico
Matemático en las escuelas de Ingeniería Ambiental y Arqueología, tomando en cuenta
que entre ambos grupos no hay alumnos que puedan llevar el curso en ambas escuelas,
que en Ingeniería Ambiental son 40 alumnos y en Arqueología son 12 alumnos, sólo
sumaríamos ambas cantidades entonces 52 alumnos llevan Pensamiento Lógico
Matemático en ambas escuelas.
Ahora si quisiéramos saber cuántos alumnos llevan los cursos de Matemática II y
Pensamiento Lógico Matemático en la escuela de Ingeniería Ambiental, tomando en
cuenta que puede haber alumnos que llevan ambos cursos a la vez y que 30 alumnos
llevan Matemática II, algo incorrecto sería sólo sumar ambas cantidades puesto que si
hacemos esto, estamos considerando 2 veces a los alumnos que llevan ambos cursos a
la vez, esto nos da la idea que para saber cuántos alumnos llevan ambos cursos,
sumaríamos ambas cantidades, pero debemos quitarle la cantidad de alumnos que llevan
ambos cursos a la vez.

Para poder dar una base teórica a lo hecho en los 2 párrafos anteriores consideremos dos
conjuntos A y B en los siguientes casos:

1.- Si A B   , 2 conjuntos disjuntos con n( A)  n , n( B)  m , entonces


A B

n( A B)  n( A)  n( B)  n  m …(1)

2.- Si A B   , podemos aplicar la fórmula (1) separando la unión de los 2 conjuntos


en 3 conjuntos disjuntos entre sí de la siguiente manera:
A B

AB A B BA

Es decir A B   A  B  A B  B  A , entonces tenemos que:


n( A B)  n( A  B)  n( A B)  n( B  A) …(2)
Además también por ser conjuntos disjuntos:
a) A   A  B   A B  entonces n( A)  n( A  B)  n( A B) luego:
n( A  B)  n( A)  n( A B) …(3)
b) B   A B   B  A entonces n( B)  n( B  A)  n( A B) luego:
n( B  A)  n( B)  n( A B) …(4)
Reemplazando (3) y (4) en (2) tenemos
n( A B)  n( A)  n( A B)  n( A B)  n( B)  n( A B)
n( A B)  n( A)  n( B)  n( A B) …(5)
3.- Además para el conjunto potencia de A tenemos:
n  P( A)  2n ( A) …(6)

Ejemplos y Ejercicios
1.- Sean los conjuntos A  1, 2,3, 4,5 , B  4,5, 6, 7,8,9 y C  7,8,9 hallar:
a) n( A B)
b) n( A C )

Solución
a) Graficamos los conjuntos:
A B
1. 6.
4.
2. 7.
5. 8.
3. 9.

Observamos que n( A B)  9 , n( A)  5 , n( B)  6 es decir n( A B)  n( A)  n( B) ,


esto ocurre porque los conjuntos no son disjuntos.

b) Graficamos los conjuntos:


A C

1. 7.
4.
2. 8.
5.
3. 9.

Observamos que n( A C )  8 , n( A)  5 , n(C )  3 es decir en este caso sí tenemos


que n( A C )  n( A)  n(C ) justamente porque los conjuntos sí son disjuntos.

2.- Si n( A B)  30 , n( A  B)  12 y n(B  A)  8 , hallar 3n( A)  4n( B) .

Solución
Reemplazando los datos en
n( A B)  n( A  B)  n( A B)  n( B  A)
tenemos que
n( A B)  30  12  n( A B)  8 , entonces n( A B)  10 ,
luego en
n( A)  n( A  B)  n( A B)  12  10  22 y
n( B)  n( B  A)  n( A B)  8  10  18 ,
finalmente 3n( A)  4n( B)  3  22   4 18  138 .

3.- Si n[ P( A)]  64 , n[ P( B)]  32 y n( A B)  4 , hallar n[ P( A B)] .

Solución
De los datos tenemos:
n[ P( A)]  64  26  2n( A)  n( A)  6 ,
n[ P( B)]  32  25  2n( B )  n( B)  5 ,
luego reemplazando en la fórmula n( A B)  n( A)  n( B)  n( A B) tenemos
n( A B)  6  5  4  7 , entonces
n[ P( A B)]  27  128 .

4.- Si n( A B)  26 , n  P( A  B)  1024 y n(B  A)  6 , calcular:


a) 5n( A)  2n( B) .
b) n  P( A B)

Solución
Como n  P( A  B)  2n ( A B )  1024  210 , por tener bases iguales n( A  B)  10 ,
luego reemplazando el valor hallado y los otros datos en
n( A B)  n( A  B)  n( A B)  n( B  A)
tenemos
n( A B)  26  10  n( A B)  6 , entonces n( A B)  10
luego en
n( A)  n( A  B)  n( A B)  10  10  20 y
n( B)  n( B  A)  n( A B)  6  10  16 .
entonces:
a) 5n( A)  2n( B)  5(20)  2(16)  68 .
b) n  P( A B)  2n ( A B )  210  1024 .

5.- Sea x el máximo número de elementos de A B C y sea z el máximo número de


elementos D E F , si n( A)  5 , n( B)  7 , n(C )  9 , n( D)  10 , n( E )  8 ,
n( F )  6 , calcular x  z .

Solución
n( A B C ) será máximo cuando los conjuntos son disjuntos entre sí, puesto que no
le quitaremos a la unión ningún elemento que se encuentra en 2 conjuntos a la vez,
entonces:
x  n( A B C )  n( A)  n( B)  n(C)  5  7  9  21

n( D E F ) será máximo cuando uno de los conjuntos incluye a otro y éste incluye
al otro conjunto que falta, de lo contrario tendremos menos elementos en la
intersección de los 3 conjuntos y no un máximo como queremos, luego la
intersección será el conjunto que tiene menos elementos, en este caso tenemos
D E F  F , entonces:
z  n( D E F )  n( F )  6
luego x  z  21  6  27 .

6.- Si A tiene 6z elementos, B tiene 5z elementos, en común tienen z + 4 elementos y


n( A B)  56 , hallar:
a) n[( A B) ( B A ')] .
b) n[( B A ') ( A  B)] .
c) n[ P(( A B) ( B A ') ')] .

Solución
De los datos tenemos que:
n( A)  6 z
n( B)  5z
n( A B)  z  4
n( A B)  56
reemplazando en la fórmula n( A B)  n( A)  n( B)  n( A B) tenemos:
n( A B)  6 z  5z  ( z  4)  56  11z  z  4  56  10 z  60  z  6
reemplazando este valor:
n( A)  6(6)  36
n( B)  5(6)  30
n( A B)  6  4  10
Además tenemos que
n( A  B)  n( A)  n( A B)  36 10  26
n( B  A)  n( B)  n( A B)  30 10  20
trasladamos a un gráfico estos valores, tomando en cuenta que son números de
elementos y no elementos.

A  36 B  30

26 10 20

Además aunque se cometa un abuso de notación escribiremos el conjunto igual a su


número de elementos.

Para responder cada sub pregunta, primero simplificaremos el conjunto del cual se
nos pide su número de elementos usando la gráfica o algebraicamente en cada caso.
a) ( A B) ( B A ')  ( A B) ( B  A)  B  A entonces
n[( A B) ( B A ')]  n( B  A)  20 .
b) ( B A ') ( A  B)  ( B  A) ( A  B) como estos conjuntos son disjuntos:
n[( B  A) ( A  B)]  n( B  A)  n( A  B)  20  26  46 .
c) En este caso primero simplificamos algebraicamente ( A B) ( B A ') ' entonces:
( A B) ( B A ') ' = ( A B) ( B ' A)
( A B) ( A B ') = (( A B) A) B '
A B' = A B
( A B) ( B A ') '  A  B
luego n[ P(( A B) ( B A ') ')]  n[ P( A  B)] entonces
n[ P( A  B)]  2n( A B )  226 .

7.- Demostrar que:


n( A B C)  n( A)  n( B)  n(C)  n( A B)  n( A C )  n( B C )  n( A B C ) .

Solución
Sea D  A B entonces n( A B C )  n( D C ) aplicando la fórmula de número
de elementos para la unión de conjuntos tenemos:
n( D C)  n( D)  n(C)  n( D C)
 n( A B)  n(C )  n ( A B) C 
otra vez aplicamos la misma fórmula a n( A B) entonces
n(( A B) C )  n( A)  n( B)  n( A B)  n(C )  n ( A B) C  …(*)
Como ( A B) C  ( A C ) ( B C ) , sea E  A C y F  B C entonces
n ( A B) C   n( E F ) aplicando la fórmula nuevamente:
n( E F )  n( E)  n( F )  n( E F )  n( A C)  n( B C)  n[( A C) ( B C)]
reemplazando en (*) y teniendo en cuenta que ( A C ) ( B C)  ( A B C )
n(( A B) C )  n( A)  n( B)  n( A B)  n(C )   n( A C )  n( B C )  n( A B C ) 
entonces
n( A B C)  n( A)  n( B)  n(C)  n( A B)  n( A C )  n( B C )  n( A B C ) .

8.- Demostrar que:


n ( AB) C   n( A)  n( B)  n(C )  2n( A B)  n( B C )  n( A C )  2n( A B C )

Solución
Sea D  AB entonces n ( AB) C   n( D C ) aplicando la fórmula de número
de elementos para la unión de conjuntos tenemos:
n( D C)  n( D)  n(C)  n( D C)
n ( AB) C   n( AB)  n(C )  n ( AB) C  …(*)
hallamos por separado n( AB) y n ( AB) C  .
Como AB  ( A  B) ( B  A) y es la unión de conjuntos disjuntos entonces
n( AB)  n( A  B)  n( B  A)
aplicando la fórmula n( A  B)  n( A)  n( A B)
n( AB)  n( A)  n( A B)  n( B)  n( A B)  n( A)  n( B)  2n( A B)
entonces
n( AB)  n( A)  n( B)  2n( A B) …(1)
además ( AB) C   ( A  B) ( B  A)  C y operando para poder usar una de las
fórmulas:
( AB) C   ( A  B) C   ( B  A) C 
  ( A B ') C   (B A ') C 
  ( A C ) B '  ( B C ) A '
  ( A C)  B   (B C )  A
sean E  ( A C )  B y F  ( B C )  A , aplicando las fórmulas
n ( AB) C   n( E F )  n( E )  n( F )  n( E F ) …(2)
n( E )  n ( A C )  B  n( A C )  n ( A C ) B   n( A C )  n ( A B C )
n( F )  n ( B C )  A  n( B C )  n ( B C ) A  n( B C )  n( A B C )
como E F   ( A C)  B   (B C )  A
  ( A C) B '  ( B C) A '
 ( A A ') ( B B ') (C C ) 
 (  C )  
entonces n( E F )  n( )  0
reemplazando en (2)
n ( AB) C   n( A C )  n( A B C )  n( B C )  n( A B C )  0
n ( AB) C   n( A C )  n( B C )  2n( A B C ) …(3)
reemplazando (1) y (3) en (*)
n ( AB) C    n( A)  n( B)  2n( A B)   n(C )   n( A C )  n( B C )  2n( A B C ) 
tenemos finalmente:
n ( AB) C   n( A)  n( B)  2n( A B)  n(C )  n( A C )  n( B C )  2n( A B C ) .

Otra forma de obtener n ( AB) C  la tenemos usando la definición equivalente de


diferencia simétrica de conjuntos
( AB) C   ( A B)  ( A B)  C
  ( A B) ( A B) '  C
  ( A B) C  ( A B ) '
  ( A B) C   ( A B )
luego n ( AB) C   n  ( A B) C   ( A B) 
 n  ( A B) C   n  ( A B) C  ( A B) 
para n  ( A B) C  como en el ejercicio 7 tenemos
n  ( A B) C   n( A C )  n( B C )  n( A B C )
para n  ( A B) C  ( A B)  simplificamos primero  ( A B) C  ( A B)
 ( A B) C  ( A B)   ( A B) ( A B)  C   (( A B) A) B)  C
 ( A B) C .
entonces n  ( A B) C  ( A B)   n( A B C )
luego
n ( AB) C    n( A C )  n( B C )  n( A B C )  n( A B C )
es decir
n ( AB) C   n( A C )  n( B C )  2n( A B C )
resultado igual al ya obtenido.

9.- De una encuesta hecha a 135 personas para establecer las preferencias de lectura de
las revistas A, B y C se obtuvieron los siguientes datos: Todos leen algunas de las 3
revistas, todos menos 40 leen A, el número de los que leen A y C es el doble del
número de los que leen las 3 revistas, 15 leen A y B menos C, 6 leen B y C menos A,
10 leen solamente C, los que leen sólo B es el mismo del total de los que leen A y C.
Hallar cuántos leen sólo la revista A.

Solución

Nota.- En este tipo de ejercicios de manera similar al ejercicio 6 también podemos


etiquetar para su número de elementos, cada región (subconjuntos disjuntos entre sí)
que componen a determinado conjunto dentro de un conjunto universal, tomando en
cuenta que son números de elementos y no elementos, tal como se muestra en la
siguiente gráfica; además de indicar a lado del nombre de cada conjunto su número
de elementos (aunque se cometa un abuso de notación, por eso se debe evitar en lo
posible hacer esto).
U

A B

a b c
e
d f

g
h

De los datos tenemos que


n(U )  135 y h  0
n( A)  135  40  95
n( A C )  2n( A B C )
es decir n( A C )  d  e  2n( A B C )  2e  d  e
sea x  n( A B C )  e
n ( A B)  C   b  15
n ( B C )  A  f  6
g  10
c  d  e  2x

Observación.- De este ejercicio podemos observar que si es posible hallar el número


de elementos de cada región (subconjunto), esto nos permitirá responder cualquier
otra pregunta con respecto a estas regiones.

Trasladando los datos a la gráfica y tomando en cuenta la nota dada al inicio de la


solución de este ejercicio, tenemos

U = 135

A B

80  2x 15 2x
x
x 6

10

C
Se nos pide hallar el valor de a, entonces como n( A)  95  a  x  x  15
Despejando a tenemos que a  80  2 x
Además como n(U )  135  n( A)  2 x  6  10  95  2 x  16 entonces
2 x  135  95 16  24  x  12
luego a  80  2 x  80  2(12)  56
es decir 56 personas sólo leen la revista A.

10.- El registro central de la UNASAM consigna los siguientes datos de 2200 alumnos
para el presente ciclo académico: 1050 llevan Química, 750 Física, 1100
Matemática, 450 Química y Matemática, 250 Física y Química, 300 Matemática y
Física, y 100 los tres cursos. Determinar el número de alumnos que llevan:
a) Química, pero no Física.
b) Cualquiera de los tres cursos.
c) Sólo uno de los tres cursos.
d) Ninguno de los tres cursos.
e) Física siempre que lleven Matemática.
f) Química si y sólo si llevan Física.

Solución
Graficando y tomando en cuenta la nota del ejercicio 9 tenemos:
U = 2200

Q = 1050 F = 750

a b c
e
d f

g
h

M = 1100
De los datos y usando la gráfica tenemos que:
n(U )  a  b  c  d  e  f  g  h  2200
n(Q)  a  b  d  e  1050
n( F )  b  c  e  f  750
n(M )  d  e  f  g  1100
n(Q M )  d  e  450
n( F Q)  b  e  250
n(M F )  e  f  300
n( F Q M )  e  100
resolviendo cada ecuación tenemos puesto que e  100
e  f  100  f  300  f  200
b  e  b  100  250  b  150
d  e  d  100  450  d  350
a  b  d  e  a  150  350  100  1050  a  450
b  c  e  f  150  c  100  200  750  c  300
d  e  f  g  350  100  200  g  1100  g  450
a  b  c  d  e  f  g  h  450  150  300  350  100  200  450  h  2200
 h  200

Nota.- En el caso que un ejercicio sea más complejo, para evitar una mayor
cantidad de operaciones se pueden poner directamente los valores del número de
elementos de cada región, si esto se puede hallar rápidamente.

Podemos ahora responder cada sub pregunta.


a) Química, pero no Física:
a  d  450  350  800 alumnos.
b) Cualquiera de los tres cursos:
a  b  c  d  e  f  g  450  150  300  350  100  200  450  2000 alumnos.
c) Sólo uno de los tres cursos:
a  c  g  450  300  450  1200 alumnos
d) Ninguno de los tres cursos:
h  200 alumnos.

Aunque a simple vista los enunciados de las sub preguntas e) y f) parecen simples y
podrían ser resueltas de una manera errada, debemos de tomar en cuenta que éstas
incluyen conectores lógicos.
Lo correcto al simbolizar el enunciado sería, para el número de elementos de cada
conjunto pedido:

En e) “Si x lleva Física siempre que lleve Matemática” es equivalente a “Si lleva
Matemática entonces lleva Física” lo cual simbolizado como conjunto sería:
P   x U / x  M  x  F 
si desarrollamos la parte de la condición de los elementos dentro del conjunto
tendremos:
x  M  x  F  (x  M )  x  F
 xM  xF
 x  M ' x  F
x  M  x  F  x  (M ' F )
es decir P  M ' F .
Guiándonos de la gráfica y considerando que para cada región escribiremos su
número de elementos con una raya encima, por ejemplo que a será la región y no
su número de elementos; además que el conjunto será la unión de estas regiones y
podrá ser escrito como un conjunto de estos elementos (regiones, por eso debería
ser escrito como una unión de conjuntos) entonces:

P  M ' F  a,b , c , h     
b , c , e , f  a , b , c , e , f , h luego
n( P)  a  b  c  e  f  h  450  150  300  100  200  200  1400

Nota.- Aunque P debería escribirse como P  a b c e f y este conjunto es


una unión de conjuntos disjuntos, las ventajas de escribirlo como elementos radica
en el hecho que al hallar su número de elementos sólo sumamos directamente sus
números de elementos, y/o estos “elementos” así expresados pueden ser tratados
como cualquier otro elemento de un conjunto al operarlos con otros conjuntos.

En f) “x lleva Química si y sólo sí lleva Física” simbolizado como conjunto sería:


R   x U / x  Q  x  F 
si desarrollamos la parte de la condición de los elementos dentro del conjunto
tendremos:
x Q  x  F   x Q  x  F    x  F  x Q
  x Q  x  F    x  F  x Q
  x  Q ' x  F    x  F ' x  Q 
  x  (Q ' F )    x  ( F ' Q) 
x  Q  x  F  x   (Q ' F ) ( F ' Q) 
es decir R  (Q ' F ) ( F ' Q) .
Guiándonos de la gráfica y considerando lo mismo que en la sub pregunta e)
tenemos entonces:
  
R  (Q ' F ) ( F ' Q)  c , d , e , f , g , h   
a , b , d , e , g , h  d , e , g , h luego
n( R)  d  e  g  h  350  100  450  200  1100 .

Una forma práctica de hallar los conjuntos de las sub preguntas e) y f) sería
considerar que al haber una relación entre conjuntos y lógica proposicional (lógica
de clases), por ejemplo la intersección con la conjunción, la negación con el
complemento, etc., trataremos los conjuntos como si fueran proposiciones, entonces
los operadores para conjuntos en base a lo hallado serían:
a) M  F  M ' F .
b) M  F  (M ' F ) ( F ' M ) .
Luego sólo debemos de tomar en cuenta la nota de la sub pregunta e) y proceder
como se hizo para hallar sus respuestas finales.

11.- Si tenemos los siguientes datos: n(U )  360 , n( A)  120 , n( B)  150 , n(C )  100 ,
n( A B)  30 , n( A C )  20 , n( B C )  25 , n( A B C )  10 .
Hallar n( L S ) para:
L  x U x  A  ( x  B)  ( x  C ) .
S  x U ( x  A)  ( x  C )  x  B .

Solución
Con los datos hallamos los valores del número de elementos de cada una de las
regiones teniendo en cuenta la siguiente gráfica, procediendo de la misma forma
como en el ejercicio anterior:
U = 360

A = 120 B = 150

a b c
e
d f

g
h

C = 100

Como e  n( A B C )  10 entonces:
d  10
b  20
f  15
a  80
c  105
g  65
h  55

Para hallar el número de elementos del conjunto de la pregunta, notamos que en la


parte de la condición para elementos, estos conjuntos están expresados con
conectores lógicos y si procediéramos como en la pregunta anterior esto nos
conduciría a un proceso demasiado tedioso, por lo cual debemos proceder de
manera distinta.
El procedimiento que se realiza está basado en lógica de clases y consiste en lo
siguiente:
a) Construimos una tabla como en lógica de proposiciones.
b) A lado izquierdo colocamos las regiones descritas tal como se indica en el
ejercicio anterior.
c) Evaluamos en la tabla el valor de verdad de acuerdo a, si la región cumple la
condición en ese caso es verdadero “V” (  en lógica de clases) y si no la
cumple es falso “F” (  en lógica de clases).
d) Operamos como en lógica proposicional con los valores “V” o “F” de acuerdo al
conector lógico.
e) El conjunto que buscamos está dado sólo por las regiones donde el resultado
final sea “V”.
f) Escribimos el conjunto resultante tal como se hizo en las sub preguntas e) y f)
del ejercicio anterior.
g) Procedemos de la misma forma como se indica en la nota del ejercicio anterior y
procedemos como se hizo para hallar las respuestas finales de las sub preguntas
e) y f) del ejercicio anterior.

Para nuestro ejercicio tenemos la tabla:


L S
x  A   ( x  B)  ( x  C )  ( x  A)  ( x  C)  x  B
Región

a V V V V F V V V F F
b V F F F F V V V V V
c F V F F F F F V V V
d V V V V V V F F V F
e V V F V V V F F V V
f F F F V V F F F V V
g F F V V V F F F V F
h F F V V F F F V V F

Los conjuntos buscados son:



L  a, c , d , e 
S  b , c , d , e , f , g , h 
luego L S  c , d , e  entonces
n( L S )  c  d  e  105  10  10  125 .

EJERCICIOS

1.- Graficar el conjunto A  1, 2 , 1, 2,3 ,  ,  , 1, 2,  
Solución
A

1. 2. 1.
.
2. 3.
.

.
.
. 1. 2.
. .
.

Luego indicar el valor de verdad de:


a)   A (F)
b) 1, 2  A (V)
c) 1  A    A  V  V  V (V)
d)   A  2  A  V  F  F (F)
e) 1, 2,3  A  1, 2 A    A  F  F   F  V  F  V (V)
2.- Sean A, B  U , A   , para X  U definimos la función de conjuntos F ( X )
como:
 X  B, si A X  
F(X )  
 X B, si A X  
Pruebe que:
a) F ( B)  , B
Solución
 B  B, si A B    , si A B  
Como F ( B)   
 B B, si A B    B, si A B  

entonces: F ( B)  , B .
b) F ( A)  A B '
Solución
 A  B, si A A  
Como F ( A)   , puesto que A A  A y por dato A  
 A B, si A A  
entonces estamos en el primer caso.
Luego F ( A)  A  B  A B ' .
c) F ( A ')   F ( A)  '
Solución
Como la condición es A X entonces para X  A ' tenemos A A '  
estaríamos en el segundo caso es decir F ( A ')  A ' B , utilizando propiedades de
conjuntos tenemos: F ( A ')  A ' B   A B ' '
Por la parte b) del ejercicio tenemos que F ( A)  A B ' entonces
F ( A ')   A B ' '   F ( A)  ' .
d) Si (C D) A    F (C D)  F (C ) F ( D)
Solución
Como la condición es A X entonces para X  C D y por el dato tenemos
A (C D)  (C D) A   estaríamos en el primer caso es decir
F (C D)  (C D)  B  (C D) B '
Además por el dato como (C D) A   y como A    C D   lo cual
también implica que C   y D   .
Luego tenemos para la condición A X para X  C y para X  D que
A C   y A D   respectivamente entonces para ambos conjuntos F ( X )
corresponde al primer caso es decir F (C )  C  B  C B ' y
F ( D)  D  B  D B ' .
Como F (C D)  (C D) B ' por lo tanto tenemos que:
F (C D)  (C D) B ' B '
F (C D)  (C B ') ( D B ')
F (C D)  F (C ) F ( D) .

3.- Probar que si A  B  B  C  A  C

Solución
Por definición:
A  B  x  A , Si x  A  x  B o simplemente
A  B  x  A  x  B , también
B  C  x  B  x  C , luego
A  B  B  C   x  A  x  B   x  B  x C  ,
Sea p  x  A , q  x  B y r  x C entonces
 x  A  x  B    x  B  x  C   ( p  q )  (q  r )
por silogismo hipotético puro tenemos
( p  q)  (q  r )  ( p  r ) es decir
 x  A  x  B   x  B  x C    x  A  x C 
Como A  C  x  A  x  C tenemos que:
A B B  C  A C .

4.- Probar que:


a) A  ( A B)
b) ( A B)  A

Solución
a) Sea p  x  A y q  x  B por la ley de adición tenemos que p  p  q entonces
x A  x A xB
x  A  x  ( A B)  x  A  x  ( A B) es decir
A  ( A B)
b) Sea p  x  A y q  x  B entonces como x  ( A B)  x  A  x  B
x  A  x  B  p  q por la ley de simplificación p  q  p
p  q  p  x A xB  x A
x  A  x  B  x  A  x  A  x  B  x  A es decir
( A B)  A
De forma análoga podemos demostrar que:
c) B  ( A B) (ejercicio)
d) ( A B)  B (ejercicio)

5.- Probar que si A B  A ' B  B  

Solución
Por el dato A B  A ' B entonces aplicando propiedades de conjuntos tenemos
que:
( A B) A  ( A ' B) A  A B  ( A ' A) B   B   es decir A B   .
( A B) A '  ( A ' B) A '  ( A A ') B   B    A ' B es decir A ' B   .
Luego B  U B  ( A A ') B  ( A B) ( A ' B) y por lo hallado tenemos
B      , es decir B  .

6.- Demostrar que si A  B  A C  B C (ejercicio)

7.- Demostrar que si A  B  C  D  A C  B D


Solución
Usando el ejercicio 6 para los datos tenemos que
A CB C y C BD B
además como C B  B C y D B  B D entonces
C BD BB CB D
luego tenemos ( A C  B C )  ( B C  B D) por el ejercicio 3 tenemos que
( A C  B C )  ( B C  B D)  A C  B D es decir
Si A  B  C  D  A C  B D

8.- Demostrar que A  B  (( A  C ) (C  B))

Solución
Como A  B  A B '  ( A B ') U  ( A B ') (C ' C) aplicando propiedades de
conjuntos tenemos:
A  B  ( A B ') (C C ')  (( A B ') C ') (( A B ') C)
A  B  (( A C ') B ') ((C B ') A)
A  B  (( A  C ) B ') ((C  B) A)
por el ejercicio 4.b tenemos que (( A  C ) B ')  ( A  C ) y ((C  B) A)  (C  B)
luego por el ejercicio 7 A  B  (( A  C) B ') ((C  B) A)  (( A  C ) (C  B)) ,
es decir A  B  (( A  C ) (C  B)) .

9.- Si A  B  C simplificar:
X  ( A  B ') ' ( A ( B C )) ' ( A C ) ( A ' B) ' ( A C )

Solución
Como consecuencia del dato tenemos que B C  C , A C  A y A C  C
reemplazando y utilizando propiedades de conjuntos tenemos:
X  ( A ( B ') ') ' ( A C )) ' ( A ( A ' B) ' C
X  ( A B) ' ( A C )) ' ( A ( A B ') C
también tenemos como consecuencia del dato que A B  A reemplazando y
utilizando propiedades
X  ( A) ' ( A) '  A B ' C  X   A ' A '  A B ' C
X  ( ) ' ( A B ') C  X  U  ( A B ') C  x  U ( A B ') ' C
x  ( A B ') ' C  X  ( A ' B) C  X  A ' ( B C )
usando el dato B C  B entonces X  A ' B  B A ' es decir X  B  A .

LÓGICA CUANTIFICACIONAL
Función proposicional.- Es un enunciado que contiene una o más variables que al ser
reemplazadas por valores específicos se convierte en una proposición.

Notación.- Una función proposicional es denotada por:


P( x) si es una sola variable.
P( x, y) si son 2 variables.
P( x, y, z ) si son 3 variables.
Etc.

Ejemplos
a) Sea P( x) : x  1
P(1) :1  1 (V)
P(3) : 3  1 (F)
P(0) : 0  1 (V)

b) P( x, y) : x es amigo(a) de y.
P(Jhayra, Dante): Jhayra es amigo(a) de Dante (V)
P(Adler, Kenyo): Adler es amigo(a) de Kenyo (V)
P(Alexa, Edson): Alexa es amigo(a) de Edson (F)

Nota.- Debemos de tomar en cuenta que una función proposicional se puede definir
sobre un conjunto específico el cual es llamado universo del discurso.

CUANTIFICADOR EXISTENCIAL Y UNIVERSAL


También llamados cuantores, sirven para particularizar o generalizar una función
proposicional, convirtiéndola en una proposición, son de 2 tipos, estos son:

Cuantificador existencial.- Sirve para particularizar una función proposicional, se


verifica entonces que por lo menos existe un elemento del conjunto sobre el que se
define, que cumple dicha función proposicional (condición), es denotado por:
x  A / P( x)
Y se lee “Existe x que pertenece a A tal que P(x)”

Cuantificador universal.- Sirve para generalizar una función proposicional, se verifica


entonces que la condición se cumple para todos los elementos sobre el cual se define, es
denotado por:
x  A : P( x)
Y se lee “Para todo x que pertenece a A P(x)”

En ambos cuantificadores tenemos que:


P( x) : Es la condición o función proposicional.
A: Es el conjunto sobre el cual definimos P( x) (universo del discurso).

Ejemplos
a) Sea A  2,3, 4,5
x  A / x2  1  25 (V)
x  A / x  2  0 (V)
x  A / x2  1  5 (F)

b) Sea A  1, 2,3, 4,5


x  A / x  4  3 (F)
x  A : x  1  0
2
(V)
x  A : x  3  0 (F)
x  A / x  1  0
2
(V)

Observaciones
a) De los ejemplos anteriores notamos que en efecto si usamos un cuantificador junto a
una función proposicional P(x), la convertimos en una proposición.

b) No es necesario indicar por separado el conjunto sobre el que se define la función


proposicional.

Ejemplos
i) x  : x2  0 (F)
ii) x  / x2  0 (V)

c) Una función proposicional puede contener conectores lógicos, es decir la función


proposicional consta de sub funciones proposicionales relacionadas mediante
conectores lógicos como si fuera una proposición compuesta.

Ejemplos
i) Sea B  x / x es un cachimbo de la FCAM
x  B / Si x tiene un Iphone entonces x tiene mucho dinero (V)
Sea p( x) : x tiene un Iphone , q( x) : x tiene mucho dinero entonces
P( x)  p( x)  q( x) , es decir:
x  B / p( x)  q( x)
F  F  V

ii) x [0,1]: x2  4  x2  1  0 (V)


V  V  V

d) Podemos escribir un enunciado con más de un cuantificador, el cual deberá ser


evaluado para todos los cuantificadores a la vez.

Ejemplos
i) x  / y  : x  y  5 (V)

ii) y  , x  / 2 x  4 y  0
1
y x (V)
2

iii) x  / y  : x2  4  0  y 2  4 (V)
F  F  V

iv) x  , y  : x2  1   y  1 y  2   0 (F)


F   y  1 y  2   F
Observación.- En los ejemplos anteriores después de un cuantificador universal hemos
usado “,” en vez de “:” por ser práctico y coherente en su lectura, pero sólo si éste no es
el último cuantificador antes de la función proposicional.

Nota.- También tenemos el cuantificador existencial de unicidad:


! x  A / P( x)
Donde:
! : Se lee “existe un único”
El cual es un cuantificador existencial mucho más restringido.

Ejemplo
Sea A   x / x es un peruano entonces:
! x  A / x es presidente del Perú (V)
! x  A / x es premio Nobel de literatura (V)
!x  A / x es ganador de una medalla en las olimpiadas deportivas (F)

NEGACIÓN DE CUANTIFICADORES
La negación del cuantificador universal nos lleva al cuantificador existencial y
viceversa lo cual implica negar también la función proposicional, para en conjunto
negar toda la proposición, tenemos entonces las negaciones:

Del Cuantificador Universal


x  A : P( x)  x  A/ P( x )

Del Cuantificador Existencial


x  A / P( x)  x  A : P( x)

Observaciones
1.- Se observa que en la negación de los cuantificadores, la negación no afecta en
ningún caso a la pertenencia, es decir no se niega la pertenencia.
2.- La negación del cuantificador existencial de unicidad no necesariamente resulta ser
el cuantificador universal, puesto que si la proposición incluye un cuantificador
existencial de unicidad y éste es falso, puede resultar que si consideramos la
negación de la proposición con un cuantificador universal éste también resulte falso,
pero si la proposición fuera verdadera en ese caso la proposición también resulta ser
verdadera para un caso de cuantificador existencial, con lo cual su negación sería el
caso de una negación con un cuantificador universal, de lo anterior tenemos que si
negamos un cuantificador universal sólo en algunos casos resultará un cuantificador
existencial de unicidad; todo lo mencionado se muestra en el siguiente ejemplo.

Ejemplo.- Sea el conjunto A  2,3, 4,5 tenemos las proposiciones:


a) ! x  A / x  4  F
x  A / x  4  V
x  A / x  4  F
b) ! x  A / x  2  5  V
x  A / x  2  5  V
x  A / x  2  5  F

Nota.- Para la negación de cuantificadores debemos de tomar en cuenta lo siguiente:


1.- Las negaciones de las relaciones de orden y de igualdad son:
a)      
b)      =
c)  ()  
d)      
e)  ()  
f)      

2.- En la negación de la función proposicional tenemos que si P( x) contiene conectivos


lógicos entonces se éste deberá negarse como la negación de una proposición.
Por ejemplo si P( x)  p( x)  q( x) entonces
( P( x))  ( p( x)  q( x))
 ( p( x) q ( x) 
 ( ( p( x))  ( ( q( x))
 p ( x )  q ( x)

3.- Debemos de tomar en cuenta que después de un cuantificador universal escribimos


“:” y “,” si hay más de un cuantificador y después de un cuantificador existencial
“/”, tal como se indicó en la observación del tema de cuantificadores.

Ejemplos
Negar las siguientes proposiciones:
1.- x  / x2  1  0  F
x  / x 2  1  0
x  : x 2
 1  0
x  : x2  1  0  V

2.- x  : x  2  F
x  : x  2
x  / ( x  2)
x  / x  2  V

3.- x  : x2  4  0  V
x  : x 2  4  0
x  / x 2
 4  0
x  / x2  4  0  F
4.- x  / ( x  1)2  0  F
x  / ( x  1)2  0
x  / ( x  1)2  0  V

5.- x  / ( x2  1)( x2  2)...( x2  100)  0  V


x  / ( x 2  1)( x 2  2)...( x 2  100)  0
x  : ( x2  1)( x2  2)...( x2  100)  0  F

6.- ! x  / x²  0  V
! x  / x²  0
 x  : x²  0  F

7.-  x  / x2 +1  0  x  3
  x  / x 2 +1  0  x  3
x :  x +1  0  x  3
2

como   p  q   p  q entonces
x : x2  1  0  x  3
F  F F

8.- x  , y  / x2  y  1
x  , y  / x 2  y  1
x  / y  : x2  y  1

9.- x  / y  / x2  y  2  x  4  1
x  / y  / x2  y  2  x  4  1
como  ( p  q)  p  q entonces
x  , y  : x2  y  2  x  4  1

10.- Sea A  x / x es un cachimbo de la FCAM


a)  x  A /  y  A: x es amigo de y  F
 x  A /  y  A: x es amigo de y    (F )  V
 x  A :  y  A/ x no es amigo de y  V
 x  A,  y  A/ x no es amigo de y  V
b)  x  A,  y  / x mide y metros  F
 x  A,  y  / x mide y metros  F  V
 x  A / y  : x no mide y metros  V
c)  x A/ x mide 1.80m o x es un buen alumno
 x A/ x mide 1.80m  x es un buen alumno
como  ( p  q)  p  q entonces
 x A: x no mide 1.80m y x no es buen alumno
V  F F
d)  x  A/ si x tiene un Iphone entonces x tiene mucho dinero
 x  A/ si x tiene un Iphone  x tiene mucho dinero 
x  A / p( x)  q( x)
como  ( p  q)  ( p  q)  p  q entonces
 x  A: x tiene un iphone y x no tiene mucho dinero
F  V F

 x  y 
11.- x  A, y  B / z  :  1   y  2     x  z  0
 2 
  x  y  
x  A, y  B / z  :   1   y  2     x  z  0
  2  
-como  ( pq)  p  q entonces
 x  y 
x  A / y  B, z  /  1   y  2     x  z  0
 2 

12.- r  , a  / ar es par  (a  1)r es par


r  , a  / ar es par  (a  1)r es par 
r  / a  : (ar es par  (a  1)r es par )
como  ( p  q)  ( p  q)  p  q entonces
r  / a  : ar es par  (a  1)r es impar .

Potrebbero piacerti anche