Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Solucionario Libro Matematica
Solucionario Libro Matematica
Ejercicios propuestos:
Afirmaciones Resultado
-1∈A Falsa
2∈A Falsa
{1,2} ∈A Verdadero
{1} ∉A Verdadero
3∉A Verdadero
{3}∉A Falsa
{1} ∈A Falsa
Conjuntos Comprensión
b) B={1,4,9,16,25}; B={x∈b/1+(2+1)}
1
c) C={49,42,35,28,21,14}; C={x∈c/# del 49 al 14 incluidos
restando 7}
Conjuntos Respuesta
1∈A; Falsa
2∈A; Verdadero
A=B; Verdadero
B⊆A; Verdadero
B⊂A; Falso
∅⊂A. Verdadero
5. Dadas las siguientes notaciones: a∈A, a∉A, C⊂D, ∅⊂A ,F ⊃ E, A=B, A∪B=C,
A∩B=D, A\B=E.Dé un ejemplo que ilustre cada notación.
Notaciones Ejemplo
F ⊃ E E={5,2,3} F={1,2,3,4,5} F ⊃ E
Afirmaciones Justificaciòn
{a,b}⊂{a,b,c,d}; Si por que los elementos a,b son elementos de un conjunto formado
por a,b,c por lo tanto {a,b,c}⊂{a,b,c,d} es verdad.
a) A∪B; b) A∩B=B;
3
c) A\B=A∩Bc; d) B\A=∅;
e) Ac=∅; f) Bc=A\B;
AΔB=(A∪B)∩((A∩B)c= AΔB.
9. Mediante utilización del diagrama de venn, determine por medio de un rayado los
siguientes conjuntos:
a) (A∩B)∪C; c) (A∩Bc)∪(C∩B);
b) (A∩B∩C)c∩(A∩C);
d) (A∪B)\C;
4
e) (B\C)∪A; f) (B\C)Δ(B∩A);
g) (B∪A)Δ(C∩A); h) [(A\B)c∩C]c;
k) [(A∪B)ΔC]c∪A; l) (Cc\B)Δ(Ac∪Cc).
a) Ac∩Bc; b) Ac\B;
U={-4, -3, -2, -1, 0,1,2,3,4} Ac\B={-4,-3,-2,-1,0,1,2,3,4}
5
A={1,2,3,4}
B={1,0,-1, -2, -3, -4}
Ac∩Bc={-4,-3,-2,-1,0,1,2,3,4}
a) (A∩B)c; a) (Bc\Ac)c.
(A∩B)c={-4,-3,-2,-1,2,3,4} (Bc\Ac)c={-1,-2,-3,-4}
a) A∪B; b) Ac\Bc;
U={-6,-5,-4,-3,-2,- Ac\Bc={1,2}
1,0,1,2,3,4,5,6,7,8}
A={-6,-5,-4,-3,-2,-
1,0,3,4,5,6,7,8}
B={-6,-5,-4,-3,-2,-1,0,1,2}
A∪B={-6,-5,-4,-3,-2,-
1,0,1,2,3,4,5,6,7,8}
d) (Ac∩B)\A.
c) (A∪B)c; (Ac∩B)\A={1,2}
(A∪B)c=∅
6
12. Se dan los siguientes conjuntos: U={x∈Z:-2≤x<6}, A={x∈Z:-1≤x<2}, B={x∈Z:1≤x<3 o
x=4} y C={x∈Z:x≤-1 o x>2}. Determine el diagrama de ven de:
U={-2,-1,0,1,2,3,4,5}
A={-1,0,1}
B={1,2,4}
C={-2,-1,3,4,5}
(Ac\B)∩(CΔA); A∩(B\Cc);
(Ac\B)∩(CΔA)={1,4} A∩(B\Cc)= ∅
(Cc∩B)∪(B\A); (B∪C)Δ(Ac\C).
(Cc∩B)∪(B\A)={2} (B∪C)Δ(Ac\C)={4}
13. Sean
A={-4,-3,-2,-1,0,1,2,3},
B={{4,3,2,1,0,-1,-2},
C={-4,-3,…,3,4}.
Condicion Conjunto
a) A∪B; A∪B={-4,-3,-2,-1,0,1,2,3,4}
7
b) A∩B; A∩B={-2,-1,0,1,2,3}
c) C∩A; C∩A={-4,-3,-2,-1,0,1,2,3}
d) A\C; A\C=∅
e) C\A; C\A={4}
f) B∪C. B∪C={-4,-3,-2,-1,0,1,2,3,4}
Datos Conjunto
a) A∪B; A∪B={1,4,9,16}
b) A∩Bc; A∩Bc={1,9,16}
c) Ac\B; Ac\B={}
d) AxB. AxB={(1,4),(4,4);(9,4);(16,4)}
Datos Conjunto
a) A∪B; {-6,-5,-3,-2,-1,0,1,2,3,5,6,7}
b) Ac\Bc; {1,2}
c) (A∪B)c; {1,2}
d) (Ac∩B)\A {}
Datos Conjunto
a) Ac∩Bc; Ac∩Bc={-5,-6}
b) Ac\B; Ac\B={-5,-6,1,-1,-2,-3,-4}
c) (A∩B)c; (A∩B)c={-3,-4,-5,-6,2,0}
d) (Bc\Ac)c. (Bc\Ac)c={-5,-4,-3,1,0}
17. Determine los conjuntos A,B y D que cumplen las siguientes condiciones:
a) D⊂A∪B y A∩B⊂D;
b) AΔD={3,4};
c) (A∪B)ΔD={3,5,6};
d) (A∩D)Δ(B∩D)={1,2,4};
e) A∩B∩D={0}.
A={0,1,2,3}B={0,4,5,6}C={0,1,2,4}
18. Dados los conjuntos A={1,2,3} y B={2,6}, C={2,5,6} y U={1,2,3,4,5,6,7,8}. Encuentre los
conjuntos solicitados:
Conjuntos
a) (Ac∪Bc)∩(Ac∩B)c;
=[(4,5,6,7,8)∪(1,3,4,5,7,8)]∩[(4,5,6,7,8)∩(1,3,4,5,7,8)]
={4,5,7,8}
b) (A∪B)c\C;
=[(1,2,3)∪(2,6)]c\(5,6)
={4,7,8}
c) (AΔC)c;
=[(1,3)∪(5,6)]c
={2,4,7,8}
d) Cc∩C;
=(1,3,4,7,8)∩(2,5,6)
={}
e) (A∪B)\(BΔC);
=(1,2,3,6)\( ∅∪(5))
={1,2,3,6}
f) [(A∩C)ΔB]c.
=[2Δ(2,6)]c
=[∅∪(6)]c
9
={1,2,3,4,5,7,8}
19. Para los conjuntos A,B yC del ejercicio anterior, escriba su conjunto potencia.
¿Cuántos elementos tiene el conjunto P(U)?
A={1,2,3} 23=8
P(A)={{},{1,2}.{1,3},{2,3},{1},{2},{3},{1,2,3}}
B={2,6} 22=4
P(B)={{},{2,6},{2},{6}}
C={2,5,6} 23=8
P(B)={{},{2,5},{2,6},{5,6},{2,5,6},{2},{5},{6}}
P(U) tiene 256 elementos (28 = 256)
20. Dado A un conjunto con 6 elementos. ¿Cuántos elementos tiene P(A)?
A={a,b,c,d,e,f}
P(A)= 26
P(A)=64
21. Si B={2,4}, determine P(B).
P(B)={{},{2,4},{2},{4}}
22. Determine P(P(∅)) y P(P(P(∅))).
P(P)={{},P}
P(P(P))=P(P{{},P})
P({},P)=P{{},{},{P},{{},P})
23. Sea M el conjunto de todos los valores de la expresión 5-2ª para a=1,2,3. Escriba
todos los subconjuntos de M.
Sea A={1,2,3}
a→2a
f1(1)=5-2(1)=3
f2(2)=5-2(2)=1
f3(3)=5-2(3)=-1
M={3,1,-1}
24. Sea P el conjunto de todos los valores de la expresión 3+a 2 para a=-2,-1,0,1. Escriba
todos los subconjuntos de P.
3-5=-2; 3-1=2; 3=3; 3+1=4;
P={-2,2,3,4}
P={{},{-2},{2},{3},{4},{-2,2},{-2,3},{-2,4},{2,3},{2,4},{3,4},{-2,2,3},{-2,3,4},{-2,2,4},{2,3,4},{-
2,2,3,4}}
25. Si U es un conjunto universo, determine cuál de las siguientes proposiciones son
incorrectas y corríjalas:
B∩∅=B; B∩∅=∅
(A∪B)∪Ac=U; V
(Dc)c∩Dc=U\D; D∩Dc=∅
10
A = {a, b ,d}B={e, b ,d}
27. Consideremos 3 conjuntos, A,B yC, tales que A⊂C, B⊂C, n(C)=120, n(A∪B)=90,
n(A∩B)=30 y n(A)=n(B)+30. Halle:
a) n[(C\B)∩A]; b) n[(A∪B)\(A∩B)].
=[(120-30)∩C] =[90-30]
=90 =60
A∩B=18
U=240
A=60-(A∩B)
A=42
A+B+(A∩B)+90=240
42+B+18+90=240
B=90
29. En una encuesta realizada a 180 ahorristas sobre el destino de sus futuros
préstamos se verificó que 120 se comprarían una vivienda y 90 se comprarían un
automóvil. ¿Cuántos comprarán las dos cosas?
30. Suponga que una persona toma café o jugo en el desayuno cada mañana del mes de
octubre. Si toma café durante 25 mañanas y toma jugo durante 18 mañanas.
¿Cuántas mañanas toma solamente jugo?
U-A=6
U-B=13
A∩B=U-(6+13)
A∩B=12
A=25
B=18
U=31
R: 13 mañanas toma solo jugo
31. En un colegio, 48 alumnos que reprueban el curso por física, 25 por matemáticas y
30 por inglés. Si el total de alumnos repetidores es 68 y de ellos hay 6 que reprueban
las 3 materias, encuentre:
a) ¿Cuántos repiten exactamente una materia?;
b) ¿Cuántos repiten exactamente 2 materias?.
11
A+b+a=42
B+b+c=19
C+c+a=24
2a+2b+2c+A+B+C+85
a+b+c+A+B+C+6=62
A+B+C=62-a-b-c
2a+2b+2c-62-a-b-c=85
A+b+c=23 repiten 2 materias
23+A+B+C+6=68
A+B+C=39 repiten solo una
A=72
B=64
C=36
A∩B∩C=12
U=120
A+a+b=60
B+b+c=52
C+a+c=24
A+B+C+2a+2b+2c=136
12
A+B+C+a+b+c+12=120
-2a-2b-2c+36+a+b+c+12=120
34. En el ensamblaje de autos han resultado 120 con fallas de embrague, dirección o
frenos. Sabiendo que a 68 les falta por lo menos el embrague, a 32 por lo menos les
falta la dirección, a 40 les falla solamente el embrague, 5 tienen fallas en el embrague
y la dirección pero no en los frenos, 17 tienen fallas en la dirección y los frenos pero
no en el embrague. Además, ningún auto presenta conjuntamente las tres fallas.
a) ¿A cuántos les falla solamente los frenos?;
b) ¿A cuántos les falla al menos los frenos?
U=120
A=68
B=32
C=40
68=40+5+x
X=23
32=n[n\(A∪B)]+5+0+17
n[n\(A∪B)]=10
120=4+5+10+0+23+17+n[C\(A∪B)]
n[C\(A∪B)]=25
23+0+17+25=n(C)
N(C)=65
U=63
A=10x
B=15M
C=12z
(A∪B∪C)=A+B+C-(8+5+15+(A∩B∩C))
63=33+x+28+x+32+x-28-x
63=654-2x
-2=-2x
X=1
50+30+z+3y+x+x/2 + y + z =150
2z+4y+3x/2 =70
50+3y+x=82 4y+x=32
13
30+3y+y+ x/2 =54 4y+ x/2=24
x/2 = 8
x=16
4y+16=32
4Y=16
Y=4
2z+4(4)+3(16)/2 =70
2z=70-16-24
2z=30
Z=15
16+12+8=36
37. En una investigación realizada a 370 personas, sobre el tipo de películas que ellas
prefieren, se determinó que: a 20 solamente les gusta las de acción, a 40 solamente
les gusta las de terror y las cómicas, a 10 solo les gusta las de acción y las de terror.
El número de personas que prefieren las de los tres tipos son: el doble de las
personas que solo les gusta las películas de terror y es 8 veces mayor que las que
solamente les gusta las películas de acción y las cómicas. Halle el número de
personas que les gusta:
a) Solamente las películas de terror;
b) Solamente las películas cómicas.
n(C∪A∪B)=n(U)-n(C)-n(A∩B)-n(C∩A)
=370-20-40-10
=300
2n(A)=80
n(C∩A∩B)=2n(A)
=2(80)
=160
n(A)=80
n(C)=370-n(C)-n(A)-n(C∩A)-n(A∩B)-n(C∩B)-n(C∩A∩B)
n(C)=370-20-80-10-40-20-160
n(C)=40
Hombres
8=20 años
22=no 19 años
34=no 20 años
26=19 y 20 años
Mujeres
22= 19 años
34= 20 años
26= no 19 y 20 años
Mujeres= 34+22=56
Hombres=26+8=34
56-34=22 mujeres de 19 o 20 años
AxB={(a,d),(a,e),(a,f),(b,d),(b,e),(b,f),(c,d),(c,e),(c,f)}
b) A={4,6,8} y B={1,3,5,12};
14
AxB={(4,1),(4,3),(4,5),(4,12),(6,1),(6,3),(6,5),(6,12),(8,1),(8,3),(8,5),(8,12)}
c) A={2,3,5,8} y B={8,5,3,2};
AxB={(2,8),(2,5),(2,3),(2,2),(3,8),(3,5),(3,3),(3,2),(5,8),(5,5),(5,3),(5,2),(8,8),(8,5),(8,3),
(8,2)}
A={2,3,5,7} y B={3,6,9}
AxB={(2,3),(2,6),(2,9),(3,3),(3,6),(3,9),(5,3),(5,6),(5,9),(7,3),(7,6),(7,9)}
15
Y=1 (2,1)
h) (((x+y)/2)-1,((x-y)/2)+1)=(((y-x)/2)+2,((x+y)/2)-2).
((x+y)/2)-1=((y-x)/2)+2
(x+y-2)/2=(y-x+4)/2
X+y-2=y-x+4
2x=6
X=3
((x-y)/2)+1=((y+x)/2)-2
(x-y+2)/2=(y+x-4)/2
x-y+2=x+y-4
-2y=-6
Y=3 (3,3)
41. Si A={4,6,8}, B={1,2,3,4} y C={3,4,5,6}, verifique que se cumplen las siguientes
propiedades:
a) Ax(B∪C)=(AxB)∪(AxC);
{4,6,8}x{1,2,3,4,5,6}=({4,6,8}x{1,2,3,4})∪({4,6,8}x{3,4,5,6})
{(4,1),(4,2),(4,3),(4,4),(4,5),(4,6),(6,1),(6,2),(6,3),(6,4),(6,5),(6,6),(8,1),(8,2),(8,3),(8,4),
(8,5),(8,6)}={(4,1),(4,2),(4,3),(4,4),(6,1),(6,2),(6,3),(6,4),(8,1),(8,2),(8,3),(8,4)}∪{ (4,3),
(4,4),(4,5),(4,6),(6,3),(6,4),(6,5),(6,6),(8,3),(8,4),(8,5),(8,6)}
{(4,1),(4,2),(4,3),(4,4),(4,5),(4,6),(6,1),(6,2),(6,3),(6,4),(6,5),(6,6),(8,1),(8,2),(8,3),(8,4),
(8,5),(8,6)}={(4,1),(4,2),(4,3),(4,4),(4,5),(4,6),(6,1),(6,2),(6,3),(6,4),(6,5),(6,6),(8,1),(8,2),
(8,3),(8,4),(8,5),(8,6)}
b) (A∪B)xC=(AxC)∪(BxC);
{1,2,3,4,6,8}x{3,4,5,6}={(4,6,8)x(3,4,5,6)}∪{(1,2,3,4)x(3,4,5,6)}
{(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,3),(3,4),(3,5),(3,6),(4,3),(4,4),(4,5),(4,6),
(6,3),(6,4),(6,5),(6,6),(8,3),(8,4),(8,5),(8,6)}={(4,3),(4,4),(4,5),(4,6),(6,3),(6,4),(6,5),(6,6),
(8,3),(8,4),(8,5),(8,6)}∪{(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,3),(3,4),(3,5),(3,6),
(4,3),(4,4),(4,5),(4,6)}
{(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,3),(3,4),(3,5),(3,6),(4,3),(4,4),(4,5),(4,6),
(6,3),(6,4),(6,5),(6,6),(8,3),(8,4),(8,5),(8,6)}={(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),
(3,3),(3,4),(3,5),(3,6),(4,3),(4,4),(4,5),(4,6),(6,3),(6,4),(6,5),(6,6),(8,3),(8,4),(8,5),(8,6)}
c) Ax(B∩C)=(AxB)∩(AxC);
{4,6,8}x{3,4}={(4,6,8)x(1,2,3,4)}∩{(4,6,8)x(3,4,5,6)}
{(4,3),(4,4),(6,3),(6,4),(8,3),(8,4)}={(4,1),(4,2),(4,3),(4,4),(6,1),(6,2),(6,3),(6,4),(8,1),(8,2),
(8,3),(8,4)}∩{(4,3),(4,4),(4,5),(4,6),(6,3),(6,4),(6,5),(6,6),(8,3),(8,4),(8,5),(8,6)}
{(4,3),(4,4),(6,3),(6,4),(8,3),(8,4)}={(4,3),(4,4),(6,3),(6,4),(8,3),(8,4)}
d) (A∩B)xC=(AxC)∩(BxC).
{4}x{3,4,5,6}={(4,6,8)x(3,4,5,6)}∩{(1,2,3,4)x(3,4,5,6)}
{(4,3),(4,4),(4,5),(4,6)}={(4,3),(4,4),(4,5),(4,6),(6,3),(6,4),(6,5),(6,6),(8,3),(8,4),(8,5),
(8,6)}∩{(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,3),(3,4),(3,5),(3,6),(4,3),(4,4),(4,5),
(4,6)}
{(4,3),(4,4),(4,5),(4,6)}={(4,3),(4,4),(4,5),(4,6)}
42. Realice las demostraciones de las siguientes propiedades del producto cartesiano:
a) AxB=BxA↔(A=B∨A=∅∨B=∅);
Demostración 1
Como: a=∅ ; B≠∅
Entonces
AxB=∅xB=∅
BxA=Bx∅=∅
Se deduce que:
∅=∅
AxB=BxA
En este caso la proposición es verdadera
Demostración 2
16
Como: a=∅ ; B=∅
Entonces
AxB=Ax∅=∅
BxA=∅xA=∅
Se deduce que:
∅=∅
AxB=BxA
En este caso la proposición es verdadera
Demostración 3
Como: A=B
Entonces
AxB=AxA=A2
BxA=AxA=A2
Se deduce que:
A2=A2
AxB=BxA
En este caso la proposición es verdadera
43. Demuestre por las propiedades de los conjuntos que:
a) (Ac∩C)∪(B∩Bc)=[C\(A∪B)]∪[(B∩C)\(A∩B∩C)];
(Ac∩C)∪∅=[C∩(A∪B)c]∪[((B∩C)∩(A∩B∩C)c] complemento, diferencia
(Ac∩C)=[C∩(Ac∩Bc)]∪[(B∩C)∩(Ac∪Bc∪Cc)] identidad, morgan
=[C∩(Ac∩Bc)]∪[((B∩C)∩(Bc∪Cc))∪((B∩C)∩Ac)] distributiva
=[C∩(Ac∩Bc)]∪{ [((B∩C)∩Bc)∪((B∩C)∩Cc)]∪((B∩C)∩Ac)} distributiva
=[C∩(Ac∩Bc)]∪{[((B∩Bc)∩C)∪((B∩(C∩Cc))]∪((B∩C)∩Ac)} asociativa
=[C∩(Ac∩Bc)]∪{[( ∅∩C) ∪(B∩∅)]∪((B∩C)∩Ac)} complemento
=[C∩(Ac∩Bc)]∪{[∅∪∅]∪((B∩C)∩Ac)} identidad
=[C∩(Ac∩Bc)]∪{ ∅∪((B∩C)∩Ac)}
unión
= Ac∩(Bc∩C)c∪((B∩C)∩Ac) identidad, asociativa
= Ac∩(Bc∩C)c∪(B∩C) distributiva, inversa
= Ac∩(C∩(Bc∪B)) distributiva, inversa
= Ac∩(C∩U) complemento
Ac∩C= Ac∩C identidad
b) (A∪Bc)∩(Cc∪A)=A∪(B∪C)c;
(A∪Bc)∩(A∪Cc)= A∪(B∪C)c conmutativa
(A∪Bc)∩(A∪Cc)= A∪( Bc∩Cc) morgan
A∪( Bc∩Cc)= A∪( Bc∩Cc) distributiva inversa
c) [(A∩Bc)∩(A∩B)]∪{(A∩Ac)∪[((A∩B)∩C)∪(B∪C)]}=(A∪B∪C)∩(B∪C);
[A(∩Bc∩B)]∪{(A∩Ac)∪[((A∩B)∩C)∪(B∪C)]}= distributiva, inversa
[(A∩∅)∪{∅∪[((A∩B)∩C)∪(B∪C)]}= complemento
∅∪[((A∩B)∩C)∪(B∪C)]= identidad
[((A∩B)∩C)∪(B∪C)]= identidad
[(A∩(B∩C))∪(B∪C)]= asociativa
[(B∪C)∪A]∩[(B∪C)∪(B∩C)]= distributiva
[A∪B∪C]∩[(B∪C)∪(B∩C)]= conmutativa
[A∪B∪C]∩[((B∪C)∪B)∩((B∪C)∪C)]= distributiva
[A∪B∪C]∩[((B∪B)∪C)∩((C∪C)∪B)]= asociativa
[A∪B∪C]∩[(B∪C)∩(C∪B)]= idempotencia
(A∪B∪C) ∩(B∪C)=(A∪B∪C) ∩(B∪C) idempotencia
d) (A\B)∩C=(A∩C)\(B∩C);
(A∩Bc)∩C=(A∩C)∩(B∩C)cdiferencia
(A∩Bc∩C)=(A∩C)∩(B∩C)c asociativa
=(A∩C)∩(Bc∪Cc) morgan
=[(A∩C)∩Bc]∪[(A∩C)∩Cc] distributiva
=(A∩C∩Bc)∪(A∩(C∩Cc)) asociativa
=(A∩C∩Bc)∪(A∩∅) complemento
=(A∩C∩Bc)∪∅ identidad
17
(A∩C∩Bc)=(A∩C∩Bc) identidad
e) (A∩B)\(A∪B)=∅;
(A∩B)∩(A∪B)c= diferencia
(A∩B)∩(Ac∩Bc)= Morgan
(A∩Ac)∩(B∩Bc)= asociativa
∅∩∅= complemento
∅=∅ intersección
f) (Ac∪Bc)∩Cc=(Bc\Ac)\C;
((Ac)c∩Bc)∩Cc=(Bc\Ac)\C Morgan
(A∩Bc)∩Cc=(Bc\Ac)\C complemento
=(Bc∩(Ac)c)\C diferencia
=(Bc∩A)\C complemento
=(Bc∩A)∩Cc diferencia
(A∩Bc)∩Cc=(A∩Bc)∩Cc conmutativa
g) A∩(BΔC)=(A∩B)Δ(A∩C);
A∩[(B\C)∪(C\B)]=[(A∩B)\(A∩C)]∪[(A∩C)\(A∩B)] diferencia simétrica
A∩[(B∩Cc)∪(C∩Bc)]=[(A∩B)∩(A∩C)c]∪[(A∩C)∩(A∩B)c] diferencia
=[(A∩B)∩(Ac∪Cc)]∪[(A∩C)∩(Ac∪Bc)] Morgan
=[((A∩B)∩Ac)∪((A∩B)∩Cc)]∪[((A∩C)∩Ac)∪((A∩C)∩Bc)] distributiva
=[((A∩Ac)∩B)∪(A∩B∩Cc)]∪[((A∩Ac)∩C)∪((A∩C∩Bc)] asociativa
=[(∅∩B)∪(A∩B∩Cc)]∪[(∅∩C)∪((A∩C∩Bc)] complemento
=[∅∪(A∩B∩Cc)]∪[∅∪((A∩C∩Bc)] identidad
=(A∩B∩Cc)∪(A∩C∩Bc) identidad
=A∩(B∩Cc)∪A∩(C∩Bc) conmutativa, asociativa
A∩[(B∩Cc)∪(C∩Bc)]= A∩[(B∩Cc)∪(C∩Bc)] distributiva inversa
h) [(AΔB)\(BcΔA)]∩A=A\B;
{[(A\B)∪(B\A)]\[(Bc\A)∪(A\Bc)]}∩A=A\B diferencia simétrica
{[(A∩Bc)∪(B∩Ac)]\[(Bc∩Ac)∪(A∩(Bc)c)]}∩A= diferencia
{[(A∩Bc)∪(B∩Ac)]\[(Bc∩Ac)∪(A∩B)]}∩A= complemento
{[((A∩Bc)∪B)∩((A∩Bc)∪Ac)]\[((Bc∩Ac)∪A)∩((Bc∩Ac)∪B)]∩A= distributiva
{[((A∪B)∩(Bc∪B))∩((A∪Ac)∩(Bc∪Ac))]\[((Bc∪A)∩(Ac∪A))∩((Bc∪B)∩(Ac∪B))]
∩A=A\B distributiva
<< no tiene solución>>
i) [Ac∪(B∪A)c]c∩Ac=∅;
[Ac∪(Bc∩Ac)]c∩Ac= Morgan
[Ac]c∩Ac= absorción
A∩Ac= complemento
∅=∅ complemento
j) A∩(B\C)c=(A\B)∪(A\Cc);
A∩(B∩Cc)c=(A∩Bc)∪(A∩(Cc)c) diferencia
A∩(Bc∪C)=(A∩Bc)∪(A∩C) Morgan, complemento
A∩(Bc∪C)=A∩(Bc∪C) distributiva, inversa
k) AcΔBc=(A∩B)c\(Bc\A);
(Ac∪Bc)\(Ac∩Bc)=(A∩B)c\(Bc\A) diferencia simétrica
(Ac∪Bc)∩(Ac∩Bc)c=(A∩B)c∩(Bc∩Ac)c diferencia
(Ac∪Bc)∩(A∪B)= (Ac∪Bc)∩(A∪B) Morgan, complemento, conmutativa
l) Ax(B∪C)c=(AxBc)∩(AxCc);
Ax(Bc∩Cc)= Morgan
(AxBc)∩(AxCc)=(AxBc)∩(AxCc) dist. del prod. Cartesiano con intersec.
m) (A∪B)xAc=(AxAc)∪(BxAc);
(AxAc)∪(BxAc)=(AxAc)∪(BxAc) dist. del prod. Cartesiano con unión
n) (Ac\Bc)xC=(AxB)∪(BcxC);
(Ac∩(Bc)c)xC= diferencia
(Ac∩B)xC= complemento
(AxB)∪(BcxC)=(AxB)∪(BcxC) dist. Prod. cartesiano
o) [(A∪B)xC]c=(AxC)c∩(BxC)c;
18
(Ac∩Bc)xCc=(AcxCc)∩(BcxCc) Morgan
(AcxCc)∩(BcxCc)= (AcxCc)∩(BcxCc) dist. Del prod. cartesiano
p) (AxB)\(AxCc)=Ax(B∩C).
Ax(B\Cc)=Ax(B∩C) distributiva inversa
Ax(B∩(Cc)c)= diferencia
Ax(B∩C)= Ax(B∩C) complemento
44. Dados los conjuntos A y B. Grafique los productos cartesianos AxB y BxA.
a) A={-2, -1, 2, 3}, B={-1, 0, 2, 5};
AxB={(-2,-1),(-2,0),(-2,2),(-2,5),(-1,-1),(-1,0),(-1,2),(-1,5),(2,-1),(2,0),(2,2),(2,5),(3,-1),
(3,0),(3,2),(3,5)}
BxA={(-1,-2),(-1,-1),(-1,2),(-1,3),(0,-2),(0,-1),(0,2),(0,3),(2,-2),(2,-1),(2,2),(2,3),(5,-2),(5,-
1),(5,2),(5,3)}
19
BxA={(-1,-3),(-1,-1),(-1,0),(-1,1/3),(2/5,-3),(2/5,-1),(2/5,0),(2/5,1/3),(3/2,-3),(3/2,-1),
(3/2,0),(3/2,1/3),(5,-3),(5,-1),(5,0),(5,1/3)}
c) A=]-2,3], B=[-3,5];
AxB={(-2,-3),(-2,5),(3,-3),(3,5)}
BxA={(-3,-2),(-3,3),(5,-2),(5,3)}
20
d) A=[1,4[, B=]-1,1[;
AxB={(1,-1),(1,1),(4,-1),(4,1)}
BxA={(-1,1),(-1,4),(1,1),(1,4)}
e) A=]-1,1], B=]-2,3]∪{-3};
AxB={(-1,-2),(-1,3),(1,-2),(1,-3)}∪{-3}
21
BxA={(-2,-1),(-2,1),(3,-1),(3,1)}∪{-3}
f) A=]-4,0]∪{1}, B=[1,2];
AxB={(-4,1),(-4,2),(0,1),(0,2)}∪{1}
B x A={(1,-4),(1,0),(2,-4),(2,0)}∪{1}
22
g) A=]1,2]∪{3}, N={1,2,3};
AxB={(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)}
B x A={(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)}
23
BxA={(1,-3),(1,1/2),(1,3/2),(1,5/2),(2,-3),(2,1/2),(2,3/2),(2,5/2),(3/2,-3),(3/2,1/2),(3/2,3/2),
(3/2,5/2),(5/2,-3),(5/2,1/2),(5/2,3/2),(5/2,5/2)}
24
1. Entre las siguientes afirmaciones halle las que son proposiciones e indique cuales son
verdaderas o falsas.
2. Se dan dos proposiciones: p: <<el número 3 es divisor de 174>>y q: <<llueve>>. ¿En qué
consisten las proposiciones:
d)6 + 4 = 10 y 9 – 4 = 5;Respuesta:(V ˄ V) = V
e)8/2 = 4 y 8 + 2 = 12;Respuesta:(V ˄ F) = F
a) [(p v q) → ~ p];
[(p v q) → ~ p]
V V V F F V
V V F F F V
F V V V V F
F F F V V F
b) [(p v q) ˄ ~ (p ˄ q) ↔ r]→ ~ q;
[(p ˅ q) ˄ ~ (p ˄ q) ↔ r] → ~ q
V V V F F V V V F V V F V
V V V F F V V V F F V F V
V V F V V V F F V V V V F
V V F V V V F F F F V V F
F V V V V F F V V V F F V
F V V V V F F V F F V F V
F F F F V F F F F V V V F
F F F F V F F F V F V V F
c) (r → q) ˄ ~ [q → r];
(r → q) ˄ ~ [q → r]
V V V F F V V V
F V V V V V F F
V F F F F F V V
F V F F F F V F
~ [r → (p v r) ˄ ~ (p ˄ r)] v [(p V q) → ~ p]
V V F V V V F F V V V V V V V F F V
26
F F V V V F V V V F F F V V V F F V
V V F V V V F F V V V V V V F F F V
F F V V V F V V V F F F V V F F F V
F V V F V V V V F F V V F V V V V F
F F V F F F F V F F F V F V V V V F
F V V F V V V V F F V V F F F V V F
F F V F F F F V F F F V F F F V V F
e) [p → (~ q v r) ˄ ~ (~ q ˄ r)] ↔ [r ↔ ~ (p v q)]
[p → (~ q v r) ˄ ~ (~ Q ˄ r)] ↔ [r ↔ ~ (p v q)]
V V F V V V V V F V F V F V F F V V V
V F F V F F F V F V F F F F V F V V V
V V V F V V F F V F V V V V F F V V F
V V V F V F V V V F F F V F V F V V F
F V F V V V V V F V F V F V F F F V V
F V F V F F V V F V F F V F V F F V V
F V V F V V F F V F V V F V V V F F F
F V V F V F V V V F F F F F F V F F F
a)p v p con p
*(p v p) → p Idempotencia
*p → p Condicionante
*(~p v p) Complemento
Respuesta: V, Es Tautología por lo tanto si son equivalentes.
b)~ (p ↔ q) con (p ˄ ~ q) v (~ p v q)
27
c) (p v ~ q) ˄ (~ r v p) ↔ p v [~ (q v r)]
7. Verifique, mediante una tabla de verdad, que las siguientes proposiciones son contradicciones:
a)(p ˄ q) ˄ ~ (p v q)
(p ˄ q) ˄ ~ (p v q)
V V V F F V V V
V F F F F V V F
F F V F F F V V
F F F F V F F F
Respuesta: Por lo tanto se verifica que es una Contradicción.
b) ~ [p v (~ p v ~ q)]
~ [p v (~ P v ~ q)]
F V V F V F F V
F V V F V V V F
F F V V F V F V
F F V V F V V F
Respuesta: Por lo tanto se verifica que es una Contradicción.
a) (~ p ˄ q) → p
(~ P ˄ q) → P
F V F V V V
F V F F V V
V F V V F F
V F F F V F
Respuesta: La proposición es verdadera, pero cuando el primer valor sea Verdadero y el segundo
Falso, esta será Falsa.
28
b) ~ (p ˄ q) → p
~ (p ˄ q) → P
F V V V V V
V V F F V V
V F F V F F
V F F F F F
Respuesta: La proposición es verdadera, pero cuando el primer valor sea Verdadero y el segundo
Falso, esta será Falsa.
c) ~ p ˄ (q → p)
~ P ˄ (q → p)
F V F V V V
F V F F V V
V F F V F F
V F V F V F
Respuesta: La proposición es falsa, pero cuando el primer valor sea Verdadero y el segundo
Verdadero, esta será Verdadera.
(~ p ˄ ~ q) →[~ (p v q) ˄ ~ r]
(~ P ˄ ~ q) → [~ (p v q) ˄ ~ r]
F V F F V V F V V V F F V
F V F F V V F V V V F V F
F V F V F V F V V F F F V
F V F V F V F V V F F V F
V F F F V V F F V V F F V
V F F F V V F F V V F V F
V F V V F F V F F F F F V
V F V V F V V F F F V V F
Respuesta: Son verdaderas: cuando p es verdadero y q y r toman cualquier valor y cuando p, q y r
son las tres falsas a la vez.
(~ p ˄ ~ q) →[~ (p v q) ˄ ~ r]
VvV˄~r Asociativa
V˄~r Identidad
~r
29
a)No voy al trabajo o no camino 30 cuadras;~ (s ˄ t)
~ (V ˄ F)
~ (F)
Respuesta:V; La proposición es Verdadera.
A ~ [(~ p v q) v (q ˄ (~ p v r))];
~ [(~ p v q) v (q ˄ (~ p v r))]
F F V V V V V V F V V V
F F V V V V V F F V F F
V F V F F F F F F V V V
V F V F F F F F F V F F
F V F V V V V V V F V V
F V F V V V V V V F V F
F V F V F V F F V F V V
F V F V F V F F V F V F
Respuesta: La proposición es Equivalente.
30
~ [(~ p v q) v (q ˄ (~ p v r))];
(p ˄ ~ q) ˄ (~ p v q) ˄ (q ˄ r) Distributiva
V v V ˄ (q ˄ r) Identidad
(q ˄ r)
b)(p ˄ ~ q) ˄ [~ q v (~ r v p)];
(p ˄ ~ q) ˄ [~ q v (~ r v p)]
V F F V F F V V F V V V
V F F V F F V V V F V V
V V V F V V F V F V V V
V V V F V V F V V F V V
F F F V F F V F F V F F
F F F V F F V V V F V F
F F V F F V F V F V F F
F F V F F V F V V F V F
Respuesta: La proposición es Equivalente.
(p ˄ ~ q) ˄ [~ q v (~ r v p)];
(p ˄ ~ q) ˄ (p ˄~ q) v (~q ˄~ r) Distributiva
(p ˄~ q) v (~q ˄~ r) Idempotencia
c) ~ (~ q → ~ p) ˄ [q → ~ (p → r)]
~ (~ q → ~ p) ˄ [q → ~ (p → r)]
F F V V V V F V F F V V V
F F V V V V F V V V V F F
V V F F F V V F V F V V V
V V F F F V V F V V V F F
F F V V V F F V F F F V V
F F V V V F F V F F F V F
F V F V V F F F V F F V V
F V F V V F F F V F F V F
Respuesta: La proposición es Equivalente.
~ (~ q → ~ p) ˄ [q → ~ (p → r)]
31
(~q v p) ˄ (~q v ~ r) Idempotencia
a)(~ p ˄ ~ p) v ~ q ↔ ~ (p ˄ q)Idempotencia *~ p v ~ q
↔ ~ (p ˄ q) Asociativa *~ (p ˄ q) ↔ ~ (p
˄ q) Condicionante * [~ (p ˄ q) → ~
(p ˄ q)] ˄ [~ (p ˄ q) → ~ (p ˄ q)]Condicionante * [~(~ (p ˄ q)) v ~
(p ˄ q)] ˄ [~(~ (p ˄ q)) v ~ (p ˄ q)] Morgan * [ (p ˄ q) v ~ (p ˄ q)] ˄ [ (p ˄ q)
v ~ (p ˄ q)] Morgan * [ (p ˄ q) v ~ p v ~ q] ˄ [ (p ˄ q) v ~ p v
~ q] Absorción * ~ {[(~p v~q)v ~ p v ~ q] v [(~p v~q)v ~
p v ~ q]} Destrucción de Paréntesis
*~{~p v ~q v ~ p v ~ q v ~p v ~q v ~ p v ~ q}Asociativa
*p ↔ [(p ˄ q) ˄ (p v q)]Asociativa
*p ↔ {[p ˄ [q ˄ (p v q)]} Conmutativa *p ↔ {[p
˄ [q ˄ (q v p)]} Absorción
*p ↔ (p ˄ q) Condicionante
*[~ p v(p ˄ q)] ˄ [~(p ˄ q) v p] Morgan *[~ p v(p ˄
q)] ˄ [~p v ~ q v p] Conmutativa *[~ p v(p ˄ q)] ˄
[(~p v p) v ~ q] Complemento *[~ p v(p ˄ q)] ˄
[(V) v ~ q] Identidad *[~ p v(p ˄ q)] ˄
(V) Identidad *[~ p v(p ˄ q)]
Distributiva
c) {~ [~ p → (~ p v q)]} v ~ p → (p → r) Condicionante
*~ p → (~p v r) Condicionante
* p v (~p v r) Asociativa
* (p v ~p) v r Complemento
* (V) v r Identidad
Respuesta: V, Es una Tautología.
32
d) [(p ˄ ~ q) ˄ (p ˄ q)] v {(p ˄ ~ p) v [((p ˄ q) ˄ r) v (q v r)]}Asociativa
*[(p ˄ p) ˄ (~ q ˄ q)] v {(p ˄ ~ p) v [~ ((~p v ~ q) v ~ r) v (q v r)]}
*(V) v p ˄q ˄ r Complemento
Respuesta: p ˄ q ˄ r
*[p ˄ ~ q] ↔ (~ p) Condicionante
*(q v ~ p) ˄ (p v~ q) Asociativa
*(q v ~ q) ˄ (p v ~ p) Complemento
f) [~ (p → q) ˄ ~ (~ q v p)] v [~ (q → p) v ~ p]Condicionante
*[~ (~p v q) ˄ ~ (~ q v p)] v [~ (~q v p) v ~ p] Morgan
*[p ˄~ q ˄ q ˄~p)] v [(q ˄ ~ p) v ~ p] Asociativa
a) p ˄ q; Respuesta: ~ p v ~ q.
b) (p v q) ˄ r; Respuesta: (~ p ˄ ~ q) v ~ r.
c) (p ˄ q) ˄ r; Respuesta: (~ p v ~ q) v ~ r.
33
d) (p ˄ q) → p; ~(p ˄ q) v p;Respuesta: (p ˄ q) ˄ ~ p.
e) [(~ p v ~ q) ˄ q] → (~ p); ~
[(~ p v ~ q) ˄ q] v (~ p);Respuesta: (p ˄ q) v ~ q] ˄ p.
f) (p v q) →r;
~ (p v q) v r;Respuesta: (p v q) ˄ ~ r.
a) p v (p ˄ q) ↔ p Asociativa
*(p v p) ˄ q ↔ pIdempotencia
*(p ˄ q) ↔ p Condicionante
*p ˄(V) Identidad
Respuesta: p
16. Sean p y q proposiciones. Determine en cada uno de los siguientes casos si q es verdadera.
a) v(p) = V y v(p → q) = V;
b) v[(~q) → (p ˄ ~p) = V;
c) v(p ˄ q) = Fyv(p) = V;
a) v(p) = Fy v(q) = V
b) v(p) = Vy v(q) = F
19. Sean p, q, r proposiciones y supongamos que p es falsa, q falsa y r verdadera. ¿Cuálesde las
siguientes proposiciones son verdaderas?
a) (p ˄ q) → r;
* (F ˄ F) → V
*(F) → V
Respuesta:V; La proposición es Verdadera.
b) (~ q) → (~ r); *
(~F) → (~V)
* (V) → (F)
Respuesta: F, La proposición es Falsa.
c) [p v (~ q)] ↔ (q ˄ r);
* [F v (~F)] ↔ (F ˄ V)
* [F v (V)] ↔ (F ˄ V) * [V] ↔
(F) Respuesta:
F, La proposición es Falsa.
d) (~ p v r) ˄ (q v r);
* (~F v V) ˄ (F v V)
35
* (V v V) ˄ (V)
* (V) ˄ (V)
a) (p → q) ˄ (~ q → ~ p) Condicionante
*(~ p v q) ˄ (q v ~ p) Conmutativa
*(~ p v q) ˄ (~ p v q) Distributiva Inversa
*~ p ˄ (q v q) Idempotencia
Respuesta: ~ p ˄ q; NO es Tautología.
b) p ˄ (p → q) → q Condicionante *p ˄ (~ p
v q) → q Distributiva
*(p ˄ ~ p) v (p v q) → q Complemento
*(F) v (p v q) → q Identidad
*(p v q) → q Condicionante
*~(p v q) v q Morgan
*~p ˄ ~ q v q Asociativa *~p
˄ (~ q v q) Complemento
c) [~ (p → ~ q) → r] ↔ [(q ˄ ~ r) → ~ p] Condicionante
*[(~ p v ~ q) v r] ↔ [~ (q ˄ ~ r) v ~ p] Morgan
*[~ p v ~ q v r] ↔ [~ q v r v ~ p] Conmutativa
22. Determine por cualquier método cuáles de las siguientes proposiciones son tautologías.
a) (p ˄ p) ↔ p Idempotencia * (p) ↔
p Condicionante * [p →
p] ˄ [p→ p] Condicionante * [~ p v
p] ˄ [~ p v p] Complemento * [V] ˄
[V] Conjunción
b) (p v p) ↔ p Idempotencia
* (p) ↔ p Condicionante
* [p → p] ˄ [p→ p] Condicionante
* [~ p v p] ˄ [~ p v p] Complemento
* [V] ˄ [V] Conjunción
c) (p v q) ↔ (q v p) Conmutativa
*(p v q) ↔ (p v q) Condicionante
*[(p v q) → (p v q)]˄ [(p v q) → (p v q)] Condicionante
*[~ (p v q) v (p v q)]˄ [~ (p v q) v (p v q)] Conmutativa
*[(p v q) v ~ (p v q)]˄ [(p v q) v ~ (p v q)] Complemento
*[V]˄ [V] Conjunción
37
Respuesta: V, Es una Tautología.
e) p → p v q Condicionante
*~ p Asociativa/ Conmutativa
*(p v ~ p) v q Complemento
*(V) v q Identidad
Respuesta: V, Es una Tautología.
f) (p ˄ q) ↔ (q ˄ q) Idempotencia
*(p ˄ q) ↔ q Condicionante
h) [(p → q) ˄ (q → ~ r)] → (p → r)
[(p → q) ˄ (q → ~ r)] → (p → r)
V V V F V F F V V V V V
V V V V V V V F F V F F
V F F F F V F V V V V V
V F F F F V V F V V F F
F V V F V F F V V F V V
F V V V V V V F V F V F
F V F V F V F V V F V V
F V F V F V V F V F V F
Respuesta: No es Tautología.
*{~ [(p v q) v r] v [(p v q)v r]} ˄ {~ [(p v q)v r] v [(p v q)v r]} Cnmtativa.
m) (p → q) ↔[(~ q) → (~ p)]
(p → q) ↔ [(~ q) → (~ p)]
V V V V F V V F V
39
V F F V V F F F V
F V V V F V V V F
F V F V V F V V F
Respuesta: Es una Tautología.
n) p → (p ˄ q) Condicionante
*~ p v (p ˄ q)
o) (p ˄ q) → ~ p Condicionante
*~ (p ˄ q) v ~ p Morgan
*~ p v ~ qv ~ p Asociativa
*(~ p v ~ p)v ~ q Idempotencia
*~ pv ~ q
Respuesta: ~ p v ~ q; No es Tautología.
*(F) v (~ s) Identidad
*~ s
Respuesta: ~ s; No es Tautología.
q) [p ˄ (p → q)] → q Condicionante
*~ [p ˄ (~ p v q)] v q Morgan
*~p v (p ˄ ~ q) v q Asociativa
*~ (p ˄ ~ q) v (p ˄ ~ q) Conmutativa
*(p ˄ ~ q) v ~ (p ˄ ~ q) Complemento
40
r) ~ (p → q) ↔[p ˄ ~ q] Condicionante
*~ (~p v q) ↔ [p ˄ Morgan
*(p ˄ ~ q) ↔ [p ˄ ~ q] Condicionante
(p ˄ ~ q) v (q ˄ ~ p) ↔ (p ˄ ~ q) v (q ˄ ~ p) Distributiva
(p ˄ ~ p) v (q ˄ ~ q) ↔ (p ˄ ~ p) v (q ˄ ~ q) Asociativa
F ↔ F Idempotencia
(~ F v F) ˄( ~ F v F) Condicional
V˄V Identidad
t) [~ (p → ~ q) → r] ↔ [(q ˄ ~ r) → ~ p]
[~ (p → ~ q) → r] ↔ [(q ˄ ~ r) → ~ p]
V V F F V V V V V F F V V F V
V V F F V F F V V V V F F F V
F V V V F V V V F F F V V F V
F V V V F V F V F F V F V F V
F F V F V V V V V F F V V V F
F F V F V V F V V F V F V V F
F F V V F V V V F F F V V V F
F F V V F V F V F F V F V V F
Respuesta: V, Es una Tautología.
41
u) (r → s)→[(r v t) → (s v t)] Condicionante
*~ (~ r v s) v [~ (r v t) v (s v t)]Morgan
*[(r ˄ ~ r) v (~ s ˄ ~ t)] v (s v t)
v)(p ˄ q) → (p v q) Condicionante
*~(p ˄ q) v (p v q) Morgan
*(~ p v ~ q) v (p v q) Asociativa/Conmutativa
*(p v ~ p) v (q v~ q) Complemento
*(V) v (V) Disyunción
Respuesta: V, Es una Tautología.
x) [p v (p ˄ q)] ↔p Condicionante
*{[p v (p ˄ q)] → p} ˄ {p → [p v (p ˄ q)]} Condicionante
*{~ [p v (p ˄ q)] v p} ˄ {~ p v [p v (p ˄ q)]} Morgan
*{[~p ˄ (~p v~q)] v p} ˄ {~ p v [p v (p ˄ q)]} Asociativa
*~ [q v (p ˄ r)] v (~ p v r) Morgan
Proposición:
43
* {[((~ p v q) v p) ˄ ((~ q v p) v q)] v ~ p} ˄ ~p Asociativa
* {[((~ p vp) v q) ˄ ((~ q v q) v p)] v ~ p} ˄ ~p Complemento
Proposición:
Proposición:
44
Proposición:
25. Se dan dos proposiciones sobre el conjunto de los números naturales n que satisfacen 3≤n ≤
12, p(n): <<el número 3 es divisor del numero n>>y q(n): <<el número n no supera 6>>. Halle el
conjunto de verdad para las proposiciones:
a)p(n). Respuesta:
(3, 6, 9, 12)
b) q(n). Respuesta:
(1, 2, 3, 4, 5, 6)
c) ~p(n). Respuesta:
(1, 2, 4, 5, 7, 8, 10, 11)
45
d) ~q(n). Respuesta:
(7, 8, 9, 10, 11, 12)
e) p(n) ˄ ~q(n).
Respuesta: (9, 12)
f) ~ p(n) → q(n).
p(n) v q(n).
Respuesta: (1, 2, 3, 4, 5, 6, 9, 12)
2 2
a) (∀z) ( z ≥ 0 ¿ Respuesta: (∃z) y se cumple que ( z ≥ 0 ¿
1 1
b) (∀x) (∀y) (
x+ =1 ¿ Respuesta: (∃x) (∃y) y se cumple que ( x+ =1 ¿
y y
c) (∃s) (∀t) ( s−t =0¿ Respuesta: (∀s) (∃t) y se cumple que ( s−t =o ¿
x+ y es numero impar ¿
27. Sean p, q, r proposiciones y supongamos que p es falsa, q falsa y r verdadera. ¿Cuáles de las
siguientes proposiciones son verdaderas?
a) (p ˄ q) → r; (F ˄ F) → V (F) → V
b) ~ (q) → (~ r);
~ (F)→ ~ (V)
(V) → (F)Respuesta: F, La proposición es falsa.
c) [p v ~ (q)]↔ (q ˄ r);
[F v ~ (F)] ↔ (F ˄ V)[F v V] ↔ (F)[V] ↔ (F)Respuesta: F, La proposición es falsa.
2
a) ∀x ∈ Ɍ, x =x
b) ∃x ∈ Ɍ, 2x = x
46
Respuesta: La afirmación es Verdadera.
Negación: (∀x ∈ Ɍ) se cumpleque (2x = x).
c) ∃x ∈ Ɍ, x 2+3 x−2=0
d) ∀x ∈ Ɍ, x−3< x
2
e) ∃x ∈ Ɍ, x −2 x +5=0
f) ∀x ∈ Ɍ, 2 x +3 x=5 x
2
g) ∃x ∈ Z, x =5
2
h) ∀x ∈ Ɍ, x ≥x
2
i) ∀x ∈ Z, x ≥x
47
j) ∀x ∈ N, x x 1=1
29. Sea U = {1, 2, 3, 4} el conjunto universo. Determine el valor de verdad de cada enunciado:
b) ∃x ∈U, x+ 3<6
2
c)∀x ∈U, x −10 ≤8
d) ∃x ∈U, 2 x 2 + x=15
30. Dado el conjunto A = {0, 2, 4, 6, 8}, indique el valor de verdad de las proposiciones:
a) ∀x ∈A, x+ 4< 10
b) ∃x ∈A, x+ 4< 6
x
c) ∀x ∈A,
>0
x +1
d) ∀x ∈A, ∃y∈A, x≥ y
48
Halle el valor de verdad de las siguientes proposiciones:
32. Dadas las siguientes proposiciones, indique su valor de verdad y escriba su negación.
a) (∃n ∈ N) (n = 19 )
2
33. Dados los conjuntos A = {0, 1} y B = {1, 2}. Halle el valor de verdad y construya la negación de
la proposición:
V →FF
49
La proposición (∃x ∈ A) (∀y ∈ B) (x + y ≠ x→x*y ≠ y)es Falsa.
35. Dados los conjuntos A = {0, 1, 2}y B = {1, 2}. Determine el valor de verdad y escriba la negación
de la proposición:
∃ x∈
(∀x ∈A) (∃y ∈B) ( y +1≠ ( 2 x−1 )( x−1 ) )
y=x −2 x+ 2¿ v ¿ B) (∀y ∈A) (
2
F v VV
∃ x∈
Respuesta: La proposición (∀x ∈A) (∃y ∈B) ( y=x −2 x+ 2¿ v ¿ B) (∀y ∈A) (
2
∀ x∈
Negación: (∃x ∈A) (∀y ∈B) ( y +1=( 2 x−1 ) ( x −1 ) )
y ≠ x −2 x+ 2¿ ˄ ¿ B) (∃y ∈A) (
2
5}
Respuesta:
V p=¿ {-1, 2, 3, 5}
50
b) (x ∈X) p (x) : |2 x−3|<3
Respuesta:
V p=¿ {1, 2}
V˄V
conjuntos pueden no ser simétricos en valores por lo tanto sus complementos no serían los
mismos.
¿
A
a) ¿
D⊆ A ∩ B →¿
51
¿
A
b) ¿
D⊆ A ∪ B →¿
c) A ∩ B= A ∩ C → B = C.
d) A \ B = A \ C → B ∩ C=B
e)(A \ B) ∩ C ⊆ (A U B) ∩ (A U C)
C
a) A ∩B=∅ si y solo si A ∩B=B
C
* A ∩B=∅ ↔ A ∩ B=B * ∅↔ B=B * ∅↔ B * V ↔ V Respuesta: Verdadero.
A B
A ∩B=∅
b) A ∩B=∅ siysolosiA C BC
A B
52
A ∩B=∅
¿
c) ( A C C ) ˄ ( B C D ) → ( A ∪ B ) C ( C ∪ D ) * (A) v (B) → ( A ∪ B ) (C ∪ D ¿ ¿ * (A) v
(B) →( A ∪ B) * ( A ∪ B )→ ( A ∪ B)
C D
A B
( A ∪B )C (C ∪ D)
¿
c) ( A ⊆B ) → A=∅ * (A) → ( A ∩ BC ) * (A) → ( A ∩ A ) * (A) →(A )
¿
A =∅
53
e) ( A ∪ B)C ∩C=∅→ B∩C=∅ * ( A C ∩B C ) ∩ C → B ∩C * A C ∩B C ∩ C
→ B ∩C ˄ A ∩C * ∅→ ∅ * ∅=∅
B
C A
∅ ∅
B ∩C=∅ A ∩C=∅
41. Si x ∈A= {1, 2, 3}, demuestre – mediante contraejemplos- la falsedad de las siguientes
proposiciones:
* Cumple* No Cumple
3. ( 32 ≠ 3 )
2. ( 2=4 )3. ( 3 ≠6 )
c)(∀x ∈A) (x + 2 = 5)
d)(∀x ∈A) ( x+ 1≥ 4 )
54
1. ( 1+1≠ ≥ 4 )
e) ~ (∃x ∈A) ( x 2 = 4)
1. ( 12 ≠ 4 ) 2. ( 22=4 )3. ( 32 ≠ 4 )
1. ( 1≠> 4 )
2. ( 2≠> 4 )
3. ( 3 ≠>4 )
α α
* 6 = 3 *3α = 6α
6α
* 3α = 2
Respuesta: Entonces tres es dos veces seis por lo que los múltiplos de 6 son 2 veces los múltiplos
de 3.
b
abc +abc−abc=a b −a c 2 2
*
(¿ ¿2−c 2)
abc=a b 2−a c 2 abc ≠ a ¿
55
b
2
Respuesta: (¿ ¿ 2−c ) , Se demostró queNo se puede dividir a para c , luego de realizar
abc ≠ a ¿
la operación solicitada.
n n−2
* 3 = 3 *n – n + 2 = 0 *2 = 0
2
45. Demuestre que ∀n∈ Z, n + 2 no es divisible por 4.
3
∈ Z*( 9+2 ¿ ∈ Z*( 11 ¿ ∈ Z*( 11/ 4 ¿ ~ ∈ Z
*(
¿
(¿¿ 2+2)
Respuesta: ( 11/ 4 ¿ ~ ∈ Z, por tanto queda demostrado que todo número entero que realice la
operación n2 + 2 dará como resultado otro entero, pero este al dividirlo para 4 no arrojara un
valor exacto y posteriormente el numero dejaría de ser un entero.
2 2
46. Pruebe que si x, y son enteros impares entonces x +y no es divisible por 4.
Si x = 2j +1 y y = 2k +1 , entonces:
2 2 2 2 2 2
* (2 j+1) +(2 k +1) * 4 j + 4 j+ 1+ 4 k + 4 k + 1 * 4 j + 4 j+ 4 k + 4 k +2 *
j
4 (¿ ¿ 2+ j+ k 2+ k )+ 2 (Suponiendo a j y k como números enteros cualesquiera)
¿
3
2
* 4 (¿ ¿ 2+3+6 + 6 )+2 , Tenemos: *
¿
56
Respuesta: ( x 2+ y 2 / 4 ¿ ~ ∈ Z, por tanto queda demostrado que todo número entero que
realice la operación x 2+ y 2 , solo si x e yson enteros impares dará como resultado otro entero,
pero este al dividirlo para 4 no arrojara un valor exacto por lo cual se dice el número no pertenece a
los enteros.
47. Demuestre que si m es un entero par y n es un entero impar, entonces m2+ n2 es impar.
Si m= 2x y n = 2y +1 , entonces: *
x
2 2 2 2 2 2 2
(2 x ) +(2 y +1) * 4 x +4 y + 4 y +1 * 4 x +4 y + 4 y +1 * (¿ ¿ 2+ y + y )+1
4¿
5
2
* 4 (¿ ¿ 2+3 +3 )+1 , Tenemos:
¿
Respuesta: 149 , por tanto queda demostrado que todo número entero par elevado al cuadrado
de su potencia sumado al cuadrado de otro número impar cualesquiera, siendo enteros los dos
siempre nos dará como resultado otro número impar.
x y 2
y2
* 3 + 3 = R/9*x + y = R/3* x + (Siendo x e ynúmeros enteros múltiplos de 3,
tenemos)
2 2
* 6 + 12 *36 + 144*180 (Con este resultado se procede a realizar la división para 9 y así
Respuesta:180 / 9 = 20, por tanto si x e y son múltiplos de 3 entonces al realizar la suma de sus
respectivos cuadrados podemos demostrar que este resultado siempre podrá ser dividido de
manera exacta para 9.
* 2 n3 +¿ 3 n2 + n
57
*n ( 2 n2+ ¿ 3n + 1) (Tomamos cualquier número entero que pueda ser reemplazado por la
variable n y realizamos la posterior demostración)
*7 ( 2(7)2+ ¿ 3(7) + 1)
*7 ( 2(49)+¿ 21 + 1)
*7 ( 98+¿ 21 + 1)
*7 ( 120 )
* 840 (Con este resultado se procede a realizar la división para 6 y así demostrar que es o no es
posible hacerlo de manera exacta)
*840 / 6 = 140
Respuesta: 840 / 6 = 140, por tanto si n es un numero entero entonces al realizar el reemplazo de
cualquier variable entera en la formula “n ( 2 n2+ ¿ 3n + 1)” podemos demostrar que este
resultado siempre podrá ser dividido de manera exacta para 6.
¿ 2
* n2 ¿ n + 1 ¿ (Tomamos cualquier número entero que pueda ser reemplazado por la
¿ 2 2
variable n y realizamos la posterior demostración) * (1)2 ¿ 1 + 1 ¿ *(1) ( 2 ¿ *(1)
( 4 ) *4
(Con este resultado se procede a realizar la división para 4 y así demostrar que es o no es posible
hacerlo de manera exacta)
*4 / 4 = 1
cualquier variable entera en la formula “ n2 (n+1)2 ” podemos demostrar que este resultado
51. Supongamos que m=7 n+1 para algún entero n, demuestre que m2 se escribe en la
2 2 2 2
* 1. m =7 n+1 ˄ 2. m =7 k +1 ; m =m * 7 n+1=7 k +1 * 7 n+1−1=7 k *
58
* 1. m2=7 k +1 ˄ 2. m2 =7 k +1 ; 1=2 ; m2=m2 * 1. m2=7 k +1 (Ahora reemplacemos
kpor un entero cualesquiera)
2
* m =7(6)+1 * m2=43
Respuesta: m2=m2 , por tanto queda demostrado que m 2 puede escribirse de la misma
manera aun si cambian su variable por un entero cualesquiera k.
2
52. Sea x un numero entero, pruebe que x es de la forma 3n, o bien 3 n+1 para algún
entero n, pero no de la forma 3 n+2 . (Sugerencia: Todo numero entero m es de alguna de las
53. Muestre que el producto de dos números impares es otro número impar.
* (180 + 30 + 18 + 3)*231Respuesta: 231 , por tanto queda demostrado que el producto de dos
números impares siempre nos dará como resultado otro numero impar.
2
2 n −n
54. Demuestre que n −n es divisible por 2 para todo entero n. * 2 (Reemplazamos la
Respuesta: 231 , por tanto queda demostrado que el cociente de una variable n que puede ser
59