Académique Documents
Professionnel Documents
Culture Documents
Ejercicios propuestos:
1. Dado el conjunto A={1,{2},3,{1,2}}. cules de las siguientes afirmaciones son
verdaderas?
Afirmaciones
Resultado
-1A
Falsa
2A
Falsa
{1,2} A
Verdadero
{1} A
Verdadero
3A
Verdadero
{3}A
Falsa
{1} A
Falsa
Conjunto
Extensin
Compresin
A={a,e,i,o,u}
A={x vocales}
B={1,3,5,7,9}
C={6,7,8,9,10,11,12}
C={x# N>5<13}
D={6,12,18,24,30,36,42,4
8}
D={x# N mltiplos de
6<50}
Conjuntos
Comprensin
a) A={4,6,8,10,12,14};
b) B={1,4,9,16,25};
B={xb/1+(2+1)}
c) C={49,42,35,28,21,14};
d) D={1/2,1/5,1/10,1/17,1/26};
D={1/(x2+1):xN y x1 y x5}
e) E={10000,100,10,1000}.
E={10nN: n1 y n4}
Respuesta
1A;
Falsa
{1} A;
Falsa
{1} A;
Verdadero
2A;
Verdadero
A=B;
Verdadero
BA;
Verdadero
BA;
Falso
A.
Verdadero
E, A=B, AB=C,
Ejemplo
aA
a={1,2,3} A={1,2,3,4,5} aA
aA
a={b,c,d} A={x,y,z,w}
CD
C={2,4,6} D={8,10,1,2,4,6} CD
A={{},(4)(2)}
aA
E={5,2,3} F={1,2,3,4,5} F
A=B
AB=C
AB=D
A\B=E
Justificacin
{a,b}{a,b,c,d};
{{d}}{a,b,d,c};
{a,{b}}{a,b,d,c};
b) AB=B;
c) A\B=ABc;
d) B\A=;
e) Ac=;
f)
Bc=A\B;
AB=(AB)((AB)c= AB.
9. Mediante utilizacin del diagrama de venn, determine por medio de un rayado los
siguientes conjuntos:
c) (ABc)(CB);
a) (AB)C;
b) (ABC)c(AC);
d) (AB)\C;
e) (B\C)A;
f)
g) (BA)(CA);
h) [(A\B)cC]c;
i)
[(ABc)c(CcA)]c;
k) [(AB)C]cA;
(B\C)(BA);
j)
Cc( AB);
l)
(Cc\B)(AcCc).
a) AcBc;
U={-4, -3, -2, -1, 0,1,2,3,4}
b) Ac\B;
Ac\B={-4,-3,-2,-1,0,1,2,3,4}
A={1,2,3,4}
B={1,0,-1, -2, -3, -4}
AcBc={-4,-3,-2,-1,0,1,2,3,4}
a) (AB)c;
(AB)c={-4,-3,-2,-1,2,3,4}
a) (Bc\Ac)c.
(Bc\Ac)c={-1,-2,-3,-4}
a) AB;
U={-6,-5,-4,-3,-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}
AB={-6,-5,-4,-3,-2,1,0,1,2,3,4,5,6,7,8}
d) (AcB)\A.
(AcB)\A={1,2}
c) (AB)c;
(AB)c=
A(B\Cc);
A(B\Cc)=
(CcB)(B\A);
(CcB)(B\A)={2}
(BC)(Ac\C).
(BC)(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}.
Halle los conjuntos:
Condicion
Conjunto
a) AB;
AB={-4,-3,-2,-1,0,1,2,3,4}
b) AB;
AB={-2,-1,0,1,2,3}
c) CA;
CA={-4,-3,-2,-1,0,1,2,3}
d) A\C;
A\C=
e) C\A;
C\A={4}
f)
BC={-4,-3,-2,-1,0,1,2,3,4}
BC.
Conjunto
a) AB;
AB={1,4,9,16}
b) ABc;
ABc={1,9,16}
c) Ac\B;
Ac\B={}
d) AxB.
AxB={(1,4),(4,4);(9,4);(16,4)}
Conjunto
a) AB;
{-6,-5,-3,-2,-1,0,1,2,3,5,6,7}
b) Ac\Bc;
{1,2}
c) (AB)c;
{1,2}
d) (AcB)\A
{}
B={1,0,-1,-2,-3,-4}
Datos
Conjunto
a) AcBc;
AcBc={-5,-6}
b) Ac\B;
Ac\B={-5,-6,1,-1,-2,-3,-4}
c) (AB)c;
(AB)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) DAB y ABD;
b) AD={3,4};
c) (AB)D={3,5,6};
d) (AD)(BD)={1,2,4};
e) ABD={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) (AcBc)(AcB)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) (AB)c\C;
=[(1,2,3)(2,6)]c\(5,6)
={4,7,8}
c) (AC)c;
=[(1,3)(5,6)]c
={2,4,7,8}
d) CcC;
=(1,3,4,7,8)(2,5,6)
={}
e) (AB)\(BC);
=(1,2,3,6)\( (5))
={1,2,3,6}
f)
[(AC)B]c.
=[2(2,6)]c
=[(6)]c
={1,2,3,4,5,7,8}
19. Para los conjuntos A,B yC del ejercicio anterior, escriba su conjunto potencia.
Cuntos 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. Cuntos 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 expresin 5-2 para a=1,2,3. Escriba
todos los subconjuntos de M.
Sea A={1,2,3}
a2a
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 expresin 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 cul de las siguientes proposiciones son
incorrectas y corrjalas:
B=B;
B=
(AB)Ac=U;
(Dc)cDc=U\D;
DDc=
(A\D)c=Ac\D.
(ADc)c= Ac\D
10
b) n[(AB)\(AB)].
=[90-30]
=60
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
32. De los 78 socios de un club, 50 juegan
ftbol, 32
bsquet y 23 volley. Adems, 6 practican los 3 deportes y 10 no practican ninguno.
Halle:
a) El nmero de personas que practican exactamente dos deportes;
b) El nmero de personas que practican exactamente un deporte.
U=78
A=50
B=32
C=23
A+a+b=44
B+b+c=26
C+a+c=17
A+B+C+2a+2b+2c=87
A+B+C+a+b+c+16=78
-2a-2b-2c+87+16=78
A+b+c=25 los 2 deportes
A+B+C=37 solo uno
33. De 120 personas de una
universidad se obtuvo
la siguiente informacin:
72 alumnos estudian Matemtica;
64 alumnos estudian Biologa;
36 alumnos estudian computacin;
12 alumnos estudian las tres materias.
Cuntos alumnos estudian exclusivamente dos materias?
A=72
B=64
C=36
ABC=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
A + b + c=28 practican 2 materias
34. En el ensamblaje de autos han resultado 120 con fallas de embrague, direccin o
frenos. Sabiendo que a 68 les falta por lo menos el embrague, a 32 por lo menos les
falta la direccin, a 40 les falla solamente el embrague, 5 tienen fallas en el embrague
y la direccin pero no en los frenos, 17 tienen fallas en la direccin y los frenos pero
no en el embrague. Adems, ningn auto presenta conjuntamente las tres fallas.
a) A cuntos les falla solamente los frenos?;
b) A cuntos les falla al menos los frenos?
U=120
A=68
B=32
C=40
68=40+5+x
X=23
32=n[n\(AB)]+5+0+17
n[n\(AB)]=10
120=4+5+10+0+23+17+n[C\(AB)]
n[C\(AB)]=25
23+0+17+25=n(C)
N(C)=65
35. En una encuesta realizada a 63 personas
sobre el
uso de dentfrico se obtuvo la siguiente informacin: 10 usan solo de la marca A, 15
solo utilizan la marca B, 12 solo usan de la marca C, 8 usan las marcas A y B, 5 usan
las marcas B y C, 15 usan las marcas A y C. Cuntos usan las tres marcas?
U=63
A=10x
B=15M
C=12z
(ABC)=A+B+C-(8+5+15+(ABC))
63=33+x+28+x+32+x-28-x
63=654-2x
-2=-2x
X=1
36. De 150 personas consultados sobre el
deporte que
practican, manifestaron lo siguiente: 82 juegan ftbol, 54 juegan bsquet, 50 solo
juegan ftbol, 30 solo juegan bsquet. Adems, el nmero de quienes juegan solo
bsquet y tenis es la mitad de las que juegan solo ftbol y tenis; el nmero de
personas que juegan solo ftbol y bsquet es el triple de las que juegan los tres
deportes; las personas que no practican ningn deporte son tantos como las que
solo practican tenis. Halle el nmero de personas que:
a) Solo practican dos deportes;
b) No practican ninguno de los tres deportes.
50+30+z+3y+x+x/2 + y + z =150
2z+4y+3x/2 =70
50+3y+x=82 4y+x=32
13
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)}
d) A={xN: x<10 y x es primo} y B={xN:x<10 y x es mltiplo de 3}.
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)}
40. Determine los valores de x y de y en los siguientes pares ordenados:
a) (x,4)=(-2,y);
X=-2 y=4 (-2,4)
b) (y-2,2x+1)=(x-1,y+2);
y-2=x-1
2x+1=y+2
x-y+1=0
x-y+1=0
x-y+1=0 2x-y-1=0 (-1)
-2x+y+1=0
2-y+1=0
x=2
y=3
(2,3)
c) (4,2x-10)=(x-1,y+2);
4=x-1
X=5
2x-10=y+2
2(5)-10=y+2
Y=-10+10-2
Y=-2
(5,-2)
d) (x+4,6)=(10,y-x);
X+4=10
X=6
6=y-x
Y=12
(6,12)
e) (4,2x-10)=(x-1,y+2);
4=x-1
x=5
2x-10=y+2
2(5)-10=y+2
10-10-2=y
Y=-2
(5,-2)
f) (5x+2y,-4)=(x+y+1,2x+y);
5x+2y=x+y+1
4x+y=1
-4=2x+y
2x+y=-4 (-1)
4x+y=1
-2x-y=4
2x=5
X=5/2
2(5/2)+y=-4
5+y=-4
Y=-9
(5/2,-9)
g) (x+5,3-y)=(7,2);
X+5=7
X=2
3-y=2
-y=-1
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(BC)=(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) (AB)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(BC)=(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) (AB)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=BA=B=);
Demostracin 1
Como: a= ; B
Entonces
AxB=xB=
BxA=Bx=
Se deduce que:
=
AxB=BxA
En este caso la proposicin es verdadera
Demostracin 2
16
Como: a= ; B=
Entonces
AxB=Ax=
BxA=xA=
Se deduce que:
=
AxB=BxA
En este caso la proposicin es verdadera
Demostracin 3
Como: A=B
Entonces
AxB=AxA=A2
BxA=AxA=A2
Se deduce que:
A2=A2
AxB=BxA
En este caso la proposicin es verdadera
43. Demuestre por las propiedades de los conjuntos que:
a) (AcC)(BBc)=[C\(AB)][(BC)\(ABC)];
(AcC)=[C(AB)c][((BC)(ABC)c]
complemento, diferencia
(AcC)=[C(AcBc)][(BC)(AcBcCc)]
identidad, morgan
=[C(AcBc)][((BC)(BcCc))((BC)Ac)]
distributiva
=[C(AcBc)]{ [((BC)Bc)((BC)Cc)]((BC)Ac)}
distributiva
=[C(AcBc)]{[((BBc)C)((B(CCc))]((BC)Ac)}
asociativa
=[C(AcBc)]{[( C) (B)]((BC)Ac)}
complemento
=[C(AcBc)]{[]((BC)Ac)}
identidad
=[C(AcBc)]{ ((BC)Ac)}
unin
= Ac(BcC)c((BC)Ac)
identidad, asociativa
= Ac(BcC)c(BC)
distributiva, inversa
= Ac(C(BcB))
distributiva, inversa
= Ac(CU)
complemento
AcC= AcC
identidad
b) (ABc)(CcA)=A(BC)c;
(ABc)(ACc)= A(BC)c
conmutativa
(ABc)(ACc)= A( BcCc)
morgan
A( BcCc)= A( BcCc)
distributiva inversa
c) [(ABc)(AB)]{(AAc)[((AB)C)(BC)]}=(ABC)(BC);
[A(BcB)]{(AAc)[((AB)C)(BC)]}=
distributiva, inversa
[(A){[((AB)C)(BC)]}=
complemento
[((AB)C)(BC)]=
identidad
[((AB)C)(BC)]=
identidad
[(A(BC))(BC)]=
asociativa
[(BC)A][(BC)(BC)]=
distributiva
[ABC][(BC)(BC)]=
conmutativa
[ABC][((BC)B)((BC)C)]=
distributiva
[ABC][((BB)C)((CC)B)]=
asociativa
[ABC][(BC)(CB)]=
idempotencia
(ABC) (BC)=(ABC) (BC)
idempotencia
d) (A\B)C=(AC)\(BC);
(ABc)C=(AC)(BC)cdiferencia
(ABcC)=(AC)(BC)c
asociativa
=(AC)(BcCc)
morgan
=[(AC)Bc][(AC)Cc]
distributiva
=(ACBc)(A(CCc))
asociativa
=(ACBc)(A)
complemento
=(ACBc)
identidad
17
(ACBc)=(ACBc)
identidad
e) (AB)\(AB)=;
(AB)(AB)c=
diferencia
(AB)(AcBc)=
Morgan
(AAc)(BBc)=
asociativa
=
complemento
=
interseccin
f) (AcBc)Cc=(Bc\Ac)\C;
((Ac)cBc)Cc=(Bc\Ac)\C
Morgan
(ABc)Cc=(Bc\Ac)\C
complemento
=(Bc(Ac)c)\C
diferencia
=(BcA)\C
complemento
=(BcA)Cc
diferencia
(ABc)Cc=(ABc)Cc
conmutativa
g) A(BC)=(AB)(AC);
A[(B\C)(C\B)]=[(AB)\(AC)][(AC)\(AB)]
diferencia simtrica
A[(BCc)(CBc)]=[(AB)(AC)c][(AC)(AB)c]
diferencia
=[(AB)(AcCc)][(AC)(AcBc)]
Morgan
=[((AB)Ac)((AB)Cc)][((AC)Ac)((AC)Bc)]
distributiva
=[((AAc)B)(ABCc)][((AAc)C)((ACBc)]
asociativa
=[(B)(ABCc)][(C)((ACBc)]
complemento
=[(ABCc)][((ACBc)]
identidad
=(ABCc)(ACBc)
identidad
=A(BCc)A(CBc)
conmutativa, asociativa
A[(BCc)(CBc)]= A[(BCc)(CBc)]
distributiva inversa
h) [(AB)\(BcA)]A=A\B;
{[(A\B)(B\A)]\[(Bc\A)(A\Bc)]}A=A\B
diferencia simtrica
{[(ABc)(BAc)]\[(BcAc)(A(Bc)c)]}A=
diferencia
{[(ABc)(BAc)]\[(BcAc)(AB)]}A=
complemento
{[((ABc)B)((ABc)Ac)]\[((BcAc)A)((BcAc)B)]A= distributiva
{[((AB)(BcB))((AAc)(BcAc))]\[((BcA)(AcA))((BcB)(AcB))]
A=A\B
distributiva
<< no tiene solucin>>
i) [Ac(BA)c]cAc=;
[Ac(BcAc)]cAc=
Morgan
[Ac]cAc=
absorcin
AAc=
complemento
=
complemento
j) A(B\C)c=(A\B)(A\Cc);
A(BCc)c=(ABc)(A(Cc)c)
diferencia
A(BcC)=(ABc)(AC)
Morgan, complemento
A(BcC)=A(BcC)
distributiva, inversa
k) AcBc=(AB)c\(Bc\A);
(AcBc)\(AcBc)=(AB)c\(Bc\A)
(AcBc)(AcBc)c=(AB)c(BcAc)c
(AcBc)(AB)= (AcBc)(AB)
l) Ax(BC)c=(AxBc)(AxCc);
Ax(BcCc)=
(AxBc)(AxCc)=(AxBc)(AxCc)
m) (AB)xAc=(AxAc)(BxAc);
(AxAc)(BxAc)=(AxAc)(BxAc)
n) (Ac\Bc)xC=(AxB)(BcxC);
(Ac(Bc)c)xC=
(AcB)xC=
(AxB)(BcxC)=(AxB)(BcxC)
o) [(AB)xC]c=(AxC)c(BxC)c;
diferencia simtrica
diferencia
Morgan, complemento, conmutativa
Morgan
dist. del prod. Cartesiano con intersec.
dist. del prod. Cartesiano con unin
diferencia
complemento
dist. Prod. cartesiano
18
(AcBc)xCc=(AcxCc)(BcxCc)
Morgan
(AcxCc)(BcxCc)= (AcxCc)(BcxCc)
dist. Del prod. cartesiano
p) (AxB)\(AxCc)=Ax(BC).
Ax(B\Cc)=Ax(BC)
distributiva inversa
Ax(B(Cc)c)=
diferencia
Ax(BC)= Ax(BC)
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.
a) Simn Bolvar naci en 1783;Respuesta: Es una proposicin, Es verdadera.
b) La Tierra es satlite de la Luna; Respuesta: Es una proposicin, Es falsa.
c) 2 +
25
22+3 2
c)(1 + 3 + 5 + 7 =
d)(
< 10);Respuesta:(V V) = V
q)
p]
b) [(p v q) ~ (p q) r] ~ q;
V
V
V
V
V
V
F
F
[(p
V
V
V
V
F
F
F
F
q)
V
V
F
F
V
V
F
F
F
F
V
V
V
V
F
F
~
F
F
V
V
V
V
V
V
(p
V
V
V
V
F
F
F
F
V
V
F
F
F
F
F
F
F
V
F
F
~
F
V
F
F
[q
V
V
F
F
V
F
V
V
q)
V
V
F
F
V
V
F
F
F
F
V
F
V
F
F
V
r]
V
F
V
F
V
F
V
F
V
V
V
V
F
V
V
V
~
F
F
V
V
F
F
V
V
q
V
V
F
F
V
V
F
F
c) (r q) ~ [q r];
(r
V
F
V
F
V
V
F
V
q)
V
V
F
F
r]
V
F
V
F
[r
(p
r)
(p
r)]
[(p
q)
p]
26
e) [p (~ q v r) ~ (~ q r)] [r ~ (p v q)]
[p
(~
r)
(~
r)]
[r
(p
q)]
Condicionante
27
c) (p v ~ q) (~ r v p) p v [~ (q v r)]
*[(p v ~ q) (~ r v p)] [p v [~ (q v r)]] Condicionante
*{[(p v ~ q) (~ r v p)] [p v [~ (q v r)]]} {[p v [~ (q v r)]] [p v ~ q) (~ r v p)]} Condicionante
*{~ [(p v ~ q) (~ r v p)] v[p v [~ (q v r)]]} {~[p v [~ (q v r)]] v [p v ~ q) (~ r v p)]} Morgan
*{[~(p v ~ q) v(~ r v p)] v[p v(~(q v r)} v {~[p v ~(q v r)] v ~ [(p v ~ q) v (~ r v p)]} Destruccin de
Parntesis
*~(p v ~ q) v~ r v p vp v~(q v r)v ~[p v ~(q v r)] v ~ [(p v ~ q) v ~ r v p]Morgan
*~ rvp v ~p q vp v~q~ rv~p~q~ rv~ p q~ rv pAsociativa
r v ~ r) (p v ~p) (q v ~q) v (p v ~p) (~ r~ r) v (~q q) (~ p v p) Complemento
*~ r (V) (V) v (V) ~ r v ~(V) ~(F) Complemento/ Identidad/ Asociativa
*(~r ~ r) (V) (V) v (V) v (F) (V)Idempotencia
*~ r (V) (V) v (V) v (F ) (V) Identidad
*~ r v (V) v (F ) (V)
Absorcin
*~(r F) v (F ) (V)
Identidad/Complemento
*V v (F ) (V)
Disyuncin
*(V) (V)
Conjuncin
Respuesta: V, Es Tautologa por lo tanto si son equivalentes.
*(~
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 Contradiccin.
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 Contradiccin.
8. La proposicin (p v ~ q) ~ p es falsa. Seale el valor de verdad de las siguientes
proposiciones:
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 proposicin 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 proposicin 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 proposicin es falsa, pero cuando el primer valor sea Verdadero y el segundo
Verdadero, esta ser Verdadera.
9. Para qu valores de p, q y r la siguiente proposicin es 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]
(~ p ~ q) [(~p v ~q) ~ r]
Distributiva
~ (~ p ~ q) v [(~p v ~q) ~ r]
Complemento
(p v q) v (~p v ~q) ~ r
De Morgan complemento
(p v ~p) v (q v ~q) ~ r
Asociativa
VvV~r
Asociativa
V~r
Identidad
~r
10. Sean s: <<Voy al trabajo>>y t: <<Camino 30 cuadras>>. Suponiendo que t es falsa y s es
verdadera, seale el valor de verdad de las siguientes proposiciones:
29
11. La proposicin <<Luis juega, ya que Marco duermey Ana estudia>> es falsa. Determine la
verdad o falsedad de las siguientes proposiciones:
a)Si Luis juega, Marco duerme;(p q)
VV
Respuesta:V; La proposicin es Verdadera.
b)Ana estudia y Marco no duerme;(r ~ q)
VF
Respuesta: F, La proposicin es Falsa.
c)Ana no estudia y Marco no duerme;~(r q)
~ (F V)
Respuesta:V; La proposicin es Verdadera.
d)Marco duerme, cuando Luis juega o Ana estudia.(p v r) q
(V v V) V
Respuesta:V; La proposicin es Verdadera.
12. Indique cuales de las proposiciones son equivalentes:
A ~ [(~ p v q) v (q (~ p v r))];
~
[(~
p
v
q)
F
F
V
V
V
F
F
V
V
V
V
F
V
F
F
V
F
V
F
F
F
V
F
V
V
F
V
F
V
V
F
V
F
V
F
F
V
F
V
F
Respuesta: La proposicin es Equivalente.
v
V
V
F
F
V
V
V
V
(q
V
V
F
F
V
V
F
F
30
V
F
F
F
V
V
F
F
(~
F
F
F
F
V
V
V
V
p
V
V
V
V
F
F
F
F
v
V
F
V
F
V
V
V
V
r))]
V
F
V
F
V
F
V
F
~ [(~ p v q) v (q (~ p v r))];
~ [(~ p v q) v ( (~ p q) v(q r))];
Distributiva
(p ~ q) (~ p v q) (q r)
Distributiva
(p v ~p) v (q v ~q) (q r)
Asociativa
V v V (q r)
Identidad
(q r)
Respuesta: La proposicin es Equivalente.
b)(p ~ q) [~ q v (~ r v p)];
(p
~
q)
V
F
F
V
F
V
F
F
V
F
V
V
V
F
V
V
V
V
F
V
F
F
F
V
F
F
F
F
V
F
F
F
V
F
F
F
F
V
F
F
Respuesta: La proposicin es Equivalente.
[~
F
F
V
V
F
F
V
V
q
V
V
F
F
V
V
F
F
v
V
V
V
V
F
V
V
V
(~
F
V
F
V
F
V
F
V
r
V
F
V
F
V
F
V
F
v
V
V
V
V
F
V
F
V
p)]
V
V
V
V
F
F
F
F
(p ~ q) [~ q v (~ r v p)];
(p ~ q) (p ~ q) v (~q ~ r)
Distributiva
(p ~ q) v (~q ~ r)
Idempotencia
~
p)
F
F
V
V
V
V
F
F
V
V
V
V
V
V
F
F
F
V
V
V
F
F
F
V
F
F
V
V
V
F
F
F
V
V
V
F
F
V
F
V
V
F
F
V
F
V
V
F
Respuesta: La proposicin es Equivalente.
F
F
V
V
F
F
F
F
[q
V
V
F
F
V
V
F
F
F
V
V
V
F
F
V
V
~
F
V
F
V
F
F
F
F
(p
V
V
V
V
F
F
F
F
V
F
V
F
V
V
V
V
r)]
V
F
V
F
V
F
V
F
~ (~ q ~ p) [q ~ (p r)]
~ (~(~ q) v ~ p) [q ~ (~p v r)]
Condicional
Condicional y distributiva
(~ q v p) (~q v p) (~q v ~ r)
Identidad y distributiva
31
(~q v p) (~q v ~ r)
Idempotencia
*~ p v ~ q
*~ (p q) ~ (p
* [~ (p q) ~
* [~(~ (p q)) v ~
* [ (p q) v ~ (p q)] [ (p q)
* [ (p q) v ~ p v ~ q] [ (p q) v ~ p v
* ~ {[(~p v~q)v ~ p v ~ q] v [(~p v~q)v ~
Idempotencia
*p {[p
*p (p q)
Condicionante
*[~ p v(p q)] [~(p q) v p]
Morgan
q)] [~p v ~ q v p]
Conmutativa
[(~p v p) v ~ q] Complemento
[(V) v ~ q]
Identidad
(V)
Identidad
Distributiva
*[(~ p vp) (~ p vq)]
*[(V) (~ p vq)] Identidad
Respuesta: ~ p v q
*[~ p v(p
*[~ p v(p q)]
*[~ p v(p q)]
*[~ p v(p q)]
*[~ p v(p q)]
Complemento
c) {~ [~ p (~ p v q)]} v ~ p (p r) Condicionante
*{~ [p v (~ p v q)]} v ~ p (~p v r) Asociativa
p) v q)]} v ~ p (~p v r) Complemento
(~p v r)
Identidad
(~p v r)
Identidad
*[(F) v ~ p] (~p v r)
*{~ [(p v ~
*{~ [(V) v q)]} v ~ p
*~ [V] v ~ p
Identidad
*~ 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 Tautologa.
32
Identidad
*[p ~ q] (V) (~ p)
Identidad
*[p ~ q] (~ p) Condicionante
*{[p ~ q] (~ p)} {(~ p) [p ~ q] }
Condicionante
Idempotencia
*(q v ~ p) (p v~ q)
*(q v ~ q) (p v ~ p)
Morgan
Asociativa
Complemento
*(V) (V)
Respuesta: V, Es Tautologa.
Conjuncin
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
*[(p ~ p) (q ~q)] v [(q ~ p) v ~ p]
Idempotencia/Complemento
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.
15. Demuestre, justificando cada paso, que:
a) p v (p q) p Asociativa
*(p v p) q pIdempotencia
*(p q) p
Condicionante
*[(p q) p] [p (p q)]
q) v p] [~ p v (p q)]
[~ p v (p q)]
Morgan
Asociativa
Condicionante
* [(~ p v p) v ~ q] [~ p v (p q)]
* [(V) v ~ q] [~ p v (p q)]
* (V) [~ p v (p q)]
Respuesta: ~ p v (p q)
b) [(p q) r] [p (q r)]
*[~ (p q) v r] [~p v (~q v r)]
* [~ (p
* [~ p v ~ q v p]
Complemento
Complemento
Complemento
Condicionante
Condicionante
*[~ p v ~ q v r] [~p v ~q v r]
Condicionante
* {[~ p v ~ q v r] [~p v ~q v r]} {[~p v ~q v r] [~p v ~q v r]} Cond.
* {~ [~ p v ~ q v r] v [~p v ~q v r]} {~ [~p v ~q v r] v [~p v ~q v r]}
* (V) (V)
Respuesta:V, Es Tautologa.
Complemento
Condicionante
Condicionante
Morgan
34
Condicionante
Morgan
d) p (p q) q
*p (~p v q) q
*p ~ (~p v q) v q
*(p p) (~ q v q)
Condicionante
Condicionante
Morgan
Idempotencia/Complemento
*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;
d) v(q (~p) = Fyv(p) = V
17. Sea r ~ (~ p q) q. Encuentre el valor de verdad de r cuando:
a) v(p) = Fy v(q) = V
b) v(p) = Vy v(q) = F
* (V) (F)
Respuesta: F, La proposicin es Falsa.
c) [p v (~ q)] (q r);
* [F v (~F)] (F V)
* [F v (V)] (F V)
(F)
F, La proposicin es Falsa.
* [V]
Respuesta:
d) (~ p v r) (q v r);
* (~F v V) (F v V)
35
* (V v V) (V)
* (V) (V)
Respuesta:V; La proposicin es Verdadera.
20. Si q es la proposicin <<2 + 1 = 3>>, Para qu valores de p y r la siguiente proposicin es
falsa?
(p ~ q) {[(~ r ~q) v p] ~ [(~ r ~ q) ~p]}
(p
q)
{[(~
q)
p]
[(~
q)
p]}
V F
V F
V F
F
F V F
V
F
V F V F F F
F V
F
V
F
F V F
V
V
F V V F V F
F F
V
F
Respuesta:La proposicin es Falsa, cuando p es Verdadera y r es Falsa.
F
V
V
V
F
F
F
V
V
V
F
F
Condicionante
Conmutativa
Distributiva Inversa
Idempotencia
Respuesta: ~ p q; NO es Tautologa.
b) p (p q) q Condicionante
v q) q
*(p ~ p) v (p v q) q
*(F) v (p v q) q
*(p v q) q
*~(p v q) v q
*~p ~ q v q
(~ q v q)
*p (~ p
Distributiva
Complemento
Identidad
Condicionante
Morgan
Asociativa
Complemento
*~p (V)
Identidad
Condicionante
Morgan
Conmutativa
36
*~p
* {~ [~ p v ~ q v r] v [~ p v ~ q v r]} {~ [~ p v ~ q v r] v [~ p v ~ q v r]}
* {[p q ~ r] v [~ p v ~ q v r]} {[p q ~ r]v [~ p v ~ q v r]}Absor.
* {[p q ~ r] v ~ [p q ~ r]} {[p q ~ r] v~ [p q ~ r]} Compto.
* {V} {V}
Conjuncin
Morgan
Conmutativa
Absorcin
*~ [q v (~ p ~ r)] [(p v r) ~ q]
*~
Morgan
Conmutativa
*[(p v r) ~ q] [(p v r) ~ q]
Condicionante
*{[(p v r) ~ q] [(p v r) ~ q]} {[(p v r) ~ q] [(p v r) ~ q]} Cd.
*{~ [(p v r) ~ q] v [(p v r) ~ q]} {~ [(p v r) ~ q] v [(p v r) ~ q]}C.
*{[(p v r) ~ q] v ~ [(p v r) ~ q]} {[(p v r) ~ q] v ~ [(p v r) ~ q]}C.
*{V} {V}
Conjuncin
* (p)
* [p
* [~ p v
* [V]
Idempotencia
Condicionante
Condicionante
Complemento
Conjuncin
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]
Conjuncin
37
Idempotencia
Condicionante
*[(p q) q] [q (p q)]
*[~ (p q) vq] [~ q v (p q)]
*[~ p v ~ q vq] [~ q v (p q)]
(q v ~ q)] [~ q v (p q)]
(V)] [~ q v (p q)]
v (p q)]
(p q), NO es una Tautologa.
Condicionante
Morgan
Asociativa/Conmutativa
Complemento
Identidad
Identidad
g) [(p q) r] [p (q r)]
*[(p q) r] [(p q) r)]
*[~ p v
*[~ p v
*[V] [~ q
Respuesta: ~ q v
Asociativa
Condicionante
q)
V
V
V
F
V
V
V
V
V
F
F
F
V
F
F
F
F
V
V
F
F
V
V
V
F
V
F
V
F
V
F
V
Respuesta: No es Tautologa.
(q
V
V
F
F
V
V
F
F
F
V
V
V
F
V
V
V
~
F
V
F
V
F
V
F
V
i)[(p v q) v r] [p v (q v r)]
r)]
V
F
V
F
V
F
V
F
Asociativa
38
V
F
V
V
V
V
V
V
(p
V
V
V
V
F
F
F
F
V
F
V
F
V
V
V
V
r)
V
F
V
F
V
F
V
F
Conjuncin
Conjuncin
*{[p v (q
Conjuncin
Absorcin
Condicionante
Morgan
Morgan
Complemento
*{(p q) v
*(p q) v
Respuesta:(p q)
Disyuncin
Identidad
m) (p q) [(~ q) (~ p)]
(p
V
q)
V
[(~
F
q)
V
39
(~
F
p)]
V
V
F
F
V
V
F
V
V
V
F
F
V
F
V
V
Respuesta: Es una Tautologa.
n) p (p q)
*~ p v (p q)
F
V
F
F
V
V
F
V
V
V
F
F
Condicionante
Condicionante
Asociativa
Idempotencia
*~ pv ~ q
Respuesta: ~ p v ~ q; No es Tautologa.
p) [(p v q) (p r) (q s)] (r v ~ s)
Condicionante
*[(p v q) (~ p v r) (~ q v s)] (r v ~ s)
Condicionante
*~ [(p v q) (~ p v r) (~ q v s)] v (r v ~ s)
Morgan
Absorcin
Destruccin de Parntesis
*~(p v q) v ~(~p v r) v ~ (~ q v s) v r v ~ s
Morgan
*~p ~q v p ~ r v q ~ s vr v ~ s
*(~p p) v (~q q) v ~ r ~ s vr v ~ s
*(F) v (F) v (~ r r) v(~ sv ~ s)
Asociativa
Complemento/Conmutativa
Disyuncin/ Complemento/Conmutativa
*(F) v (F) v (~ s)
Disyuncin
*(F) v (~ s)
*~ s
Identidad
Respuesta: ~ s; No es Tautologa.
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) [p ~ q]} {(p ~ q) [p ~ q]}
Condicionante
Morgan
Complemento
*[V] [V]
Tautologa.
F
V
F
F
[~
(p
q)]
[(p
F
V
V
V
V
V
V
V
F
F
V
V
V
F
F
V
V
F
F
F
V
F
V
F
Respuesta: V, Es una Tautologa.
~
F
V
F
V
q)
V
F
V
F
v
F
V
V
F
F
F
V
F
(q
V
F
V
F
~
F
F
V
V
Condicional
(p ~ q) v (q ~ p) (p ~ q) v (q ~ p)
Distributiva
(p ~ p) v (q ~ q) (p ~ p) v (q ~ q)
Asociativa
FvF
Identidad
FvF
p)]
V
V
F
F
Idempotencia
(~ F v F) ( ~ F v F)
Condicional
VV
Identidad
V
t) [~ (p ~ q) r] [(q ~ r) ~ p]
[~
V
V
F
F
F
F
F
F
(p
V
V
V
V
F
F
F
F
F
F
V
V
V
V
V
V
~
F
F
V
V
F
F
V
V
q)
V
V
F
F
V
V
F
F
V
F
V
V
V
V
V
V
r]
V
F
V
F
V
F
V
F
V
V
V
V
V
V
V
V
41
[(q
V
V
F
F
V
V
F
F
F
V
F
F
F
F
F
F
~
F
V
F
V
F
V
F
V
r)
V
F
V
F
V
F
V
F
V
F
V
V
V
V
V
V
~
F
F
F
F
V
V
V
V
p]
V
V
V
V
F
F
F
F
u) (r s)[(r v t) (s v t)]
*~ (~ r v s) v [~ (r v t) v (s v t)]Morgan
Condicionante
Asociativa
*[(r ~ s) v (~ r ~ t)] v (s v t)
Asociativa
*[(r ~ r) v (~ s ~ t)] v (s v t)
Respuesta: [(r ~ r) v (~ s ~ t)] v (s v t); No es Tautologa.
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)
Disyuncin
Respuesta: V, Es una Tautologa.
w) [p (q r)] [(p q) (p r)]
r)]
[(p
q)
(p
r)]
V
V
V
V
V
V
F
V
F
F
V
F
F
F
V
V
F
F
F
F
F
V
V
V
V
F
V
V
F
F
F
V
F
F
V
F
V
F
F
F
Respuesta: V, Es una Tautologa.
V
V
V
V
V
V
V
V
V
V
V
V
F
F
F
F
V
V
F
F
V
V
V
V
V
V
F
F
V
V
F
F
V
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
V
F
V
F
V
V
V
V
V
F
V
F
V
F
V
F
[p
(q
x) [p v (p q)] p
*{[p v (p q)] p} {p [p v (p q)]}
*{~ [p v (p q)] v p} {~ p v [p v (p q)]}
*{[~p (~p v~q)] v p} {~ p v [p v (p q)]}
Condicionante
Condicionante
Morgan
Asociativa
Complemento
Distributiva
Asociativa
Idempot/Distributiva
Asociativa
Complemento
Condicionante
Asociativa
42
*~ ([(~ p v p) v q] p) v (p v q)
Complemento
*~ ([(V) v q] p) v (p v q)
Identidad
*~ ([V] p) v (p v q)
Identidad
*~ p v (p v q)
Asociativa
*(~ p v p) v q
Complemento
*(V) v q
Identidad
Respuesta: V; Es una Tautologa.
z) [(~ p q) (~ q r)] (p r)
*~ [(p v q) (q v r)] v (~ p v r)
*~ [q v (p r)] v (~ p v r)
Condicionante
Absorcin/Conmutativa
Morgan
*[~ q (~ p v ~r)] v (~ p v r)
Conmutativa/Asociativa
*[(~ p v r) v ~ q] [(~ p v ~r) v (~ p v~ r)]
Idempotencia
*[(~ p v r) v ~ q] [(~ p v ~r)]
Respuesta: [(~ p v r) v ~ q] [(~ p v ~ r)] ; NO es una Tautologa.
23. Simplifique las proposiciones correspondientes a los circuitos dados:
Condicionante
Distributiva
Asociativa
Complemento
Identidad/Disyuncin
Conjuncin
Identidad
Proposicin:
{[((p q) v p) ((q p) v q)] v ~ p} ~pCondicionante
43
Asociativa
Complemento
Identidad
Conjuncin
Identidad
Idempotencia
Proposicin:
{[~ s t v ((t v ~ r) ~ s) ~ t] v r}
Asociativa
v ((t v ~ r) ~ s) (t ~ t)] v r} Complemento/Distributiva
*{[(~ s v (t v ~ r)) (~ s v ~ s) (F)] v Idempotencia
*{[(~ s v (t v ~ r)) (~ s) (F)] v r}
Identidad
*{[(~ s v (t v ~ r)) (F)] v r}
Identidad
*{[F] v r}
Identidad
Respuesta: r.
Proposicin:
{[((~ s v~ t) (s v t)) v ((s t) (t s)] s} Condicionante
*{[((~ s v ~ t) (s v t)) v ((~ s v t) (~ t v s)] s}
Absorcin
*{[((~s v ~ t) (s v t)) v (~ (s ~ t) ~ (t ~ s)] s}
*{[(F) v (~ (s ~ s) ~ (t ~ t)] s}
*{[(F) v (~ (F) ~ (F)] s}
*{[(F) v ((V) (V)] s}
*{[(F) v (V)] s}
*{[V] s}
Respuesta: s.
Asociativa
Complemento
Complemento
Idempotencia
Disyuncin
Identidad
44
*{[~ s
Proposicin:
{[(((p q) v p) p) v q]} {[(p v ~ q) (q p)] v p} Cndnte
*{[(((~ p v q) v p) p) v q]} {[(p v ~ q) (~ q v p)] v p} Asociativa
*{[(((~ p v p) v q) p) v q]} {[(p v ~ q) (~ q v p)] v p} Complemento
*{[(((V) v q) p) v q]} {[(p v ~ q) (~ q v p)] v p}
Identidad
p) v q]} {[(p v ~ q) (~ q v p)] v p}
Identidad
{[(p v ~ q) (~ q v p)] v p}
Conmutativa
q]} {[(p v ~ q) (p v ~ q)] v p}
Idempotencia
{[p v ~ q] v p}
Asociativa
q]} {[p v p] v ~ q }
Idempotencia
*{[p v q]} {p v ~ q }
Absorcin
* p v {q ~ q }
Identidad
* p v {F}
Respuesta: p.
*{[(((V)
*{[p v q]}
*{[p v
*{[p v q]}
*{[p v
b)
x 2> 0
Respuesta: (x ) donde (
x 2=16
Respuesta:
Respuesta:
25. Se dan dos proposiciones sobre el conjunto de los nmeros naturales n que satisfacen 3n
12, p(n): <<el nmero 3 es divisor del numero n>>y q(n): <<el nmero n no supera 6>>. Halle el
conjunto de verdad para las proposiciones:
a)p(n).
(3, 6, 9, 12)
Respuesta:
b) q(n).
(1, 2, 3, 4, 5, 6)
Respuesta:
c) ~p(n).
(1, 2, 4, 5, 7, 8, 10, 11)
Respuesta:
45
d) ~q(n).
(7, 8, 9, 10, 11, 12)
Respuesta:
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)
26. Niegue las proposiciones:
a) (z) (
b) (x) (y) (
c) (s) (t) (
d) (x) (y) (
1
1
x+ =1 Respuesta: (x) (y) y se cumple que ( x+ =1
y
y
st =0 Respuesta: (s) (t) y se cumple que ( st =o
x+ y es numero par Respuesta: (x) (y) y se cumple que (
x+ y es numero impar
27. Sean p, q, r proposiciones y supongamos que p es falsa, q falsa y r verdadera. Cules de las
siguientes proposiciones son verdaderas?
a) (p q) r; (F F) V (F) V
Respuesta: V,La proposicin es verdadera.
b) ~ (q) (~ r);
~ (F) ~ (V)
(V) (F)Respuesta: F, La proposicin es falsa.
c) [p v ~ (q)] (q r);
[F v ~ (F)] (F V)[F v V] (F)[V] (F)Respuesta: F, La proposicin es falsa.
d) (~p v r) (q v r);
[~(F) v V] (F v V)[VvV] (V)[V] (V)Respuesta: V,La proposicin es verdadera.
28.Determine el valor de verdad de las siguientes afirmaciones y niguelas:
a) x ,
=x
x2
= x).
b) x , 2x = x
46
x 2+3 x2=0
x 2+3 x2=0 ).
x3< x
x3< x ).
x 2 x +5=0
x 22 x +5=0 ).
2 x +3 x=5 x
2 x +3 x=5 x ).
x =5
h) x ,
x 2 5 ).
x x
i) x Z,
x 2< x ).
x x
x 2 x ).
47
j) x N,
x x 1=1
x+ 3<6
x+ 3<6
x 10 8
2 x 2 + x=15
x+ 4< 10
x+ 4< 6
c) x A,
x
>0
x +1
x y
x> 5
(x 23=0)
x> 1
c) (x AU B),
x5=0 ( x A ) , xespar .
(n = 19 )
2
a) (n N)
n2
1
9 ).
b) n N, 2n es un nmero par
Respuesta: La afirmacin es Verdadera.
Negacin: (n N) se cumpleque (2n es un nmero impar).
c) (y N) (x N),
y + x=x
y + x x ).
33. Dados los conjuntos A = {0, 1} y B = {1, 2}. Halle el valor de verdad y construya la negacin de
la proposicin:
(x A) (y B) (x + y
V FF
49
xx*y
y)
La proposicin (x A) (y B) (x + y
Negacin: (x A) (y B) (x + y
xx*y
xx*y
y)es Falsa.
y)
( x y o y x)
(x> y y y > x)
Respuesta: (x ) (y ),
b) (x ) (y ),
( x+ y 1)
Respuesta: (x ) (y ),
( x+ y=1)
c) (x ) (y ) (z ),
(z> x+ y )
Respuesta: (x ) (y )(z ),
( z x+ y)
35. Dados los conjuntos A = {0, 1, 2}y B = {1, 2}. Determine el valor de verdad y escriba la negacin
de la proposicin:
(x A) (y B) (
x
y +1 ( 2 x1 )( x1 ) )
y=x 2 x+ 2 v B) (y A) (
2
F v VV
Respuesta: La proposicin (x A) (y B) (
x
y=x 2 x+ 2 v B) (y A) (
2
y +1 ( 2 x1 )( x1 ) )es Verdadera.
Negacin: (x A) (y B) (
x
y +1=( 2 x1 ) ( x 1 ) )
y x 2 x+ 2 B) (y A) (
Vp
5}
a) (x X) p (x) :
Respuesta:
x 21 x
V p= {-1, 2, 3, 5}
50
b) (x X) p (x) :
Respuesta:
|2 x3|<3
V p= {1, 2}
2 x 1> 3 )
2 x 1> 3 ).
x 21 3 )
2 x 1> 3 ).
Respuesta: La proposicin A = B
A c x B= A x Bc ? (Justifique su respuesta)
A c x B= A x Bc
conjuntos pueden no ser simtricos en valores por lo tanto sus complementos no seran los
mismos.
39. Diga si es verdad que:
A
a)
D A B
Respuesta: La proposicin es Verdadera.
51
A
b)
D A B
Respuesta: La proposicin es Falsa.
c) A
B= A C B = C.
C=B
C (A U B) (A U C)
A B= si y solo si A B=B
C
A B= A B=B * B=B * B * V V Respuesta: Verdadero.
A B=
b)
A B= siysolosiA C BC
A B= A C BC * * B * V V Respuesta: Verdadero.
52
A B=
c)
(B)
( A B )C (C D)
c)
( A B ) A= * (A)
( A BC ) * (A)
( A A ) * (A)
B
A
A =
53
(A )
e)
( A B)C C= BC= * ( A C B C ) C
B C * A C B C C
B C A C * * =
B
C
B C=
A C=
x 2=x )
12=1 )2. ( 22 2 )
32 3 )
b)(x A) (x = 2x)
Respuesta: La proposicin es Falsa.1. (
2. (
1 2 )
2=4 )3. ( 3 6 )
c)(x A) (x + 2 = 5)
Respuesta: La proposicin es Falsa. 1. (
2. (
1+2 5 )
d)(x A) ( x+ 1 4 )
Respuesta: La proposicin es Falsa.
54
1. (
1+1 4 )
2. ( 2+1 4 )3. ( 3+1 4 )
e) ~ (x A) (
x 2 = 4)
12 4 ) 2. ( 22=4 )3. ( 32 4 )
f) (x A) ( x> 4 )
Respuesta: La proposicin es Falsa.
1. ( 1> 4 )
2. (
2> 4 )
3. (
3 >4 )
6
3 = 2
3 *3 = 6
Respuesta: Entonces tres es dos veces seis por lo que los mltiplos de 6 son 2 veces los mltiplos
de 3.
43.Sean , b, c nmeros enteros, demuestre por reduccin al absurdo que si divide a (b + c) y
divide a b, entonces divide a c. (Sugerencia: Se dice que divide a b, si existe un entero n tal
que b = n)*
+
b+c b
b+ ab+ac
2
2
2
*
=
c
c * abc +abc +a c = a b +abc *
b + bc
abc +abcabc=a b a c
b
( 2c 2)
*
abc=a b 2a c 2 abc a
55
b
2
Respuesta: ( 2c ) , Se demostr queNo se puede dividir
abc a
la operacin solicitada.
44. Utilizando el mtodo de la contraposicin, pruebe que si n es mltiplo de 3, entonces n 2 es
mltiplo de 3.
n
3
n2
*n n + 2 = 0 *2 = 0
3
Respuesta: 2
+ 2 no es divisible por 4.
*(
Z*( 9+2 Z*( 11 Z*( 11/ 4 ~ Z
( 2+2)
Respuesta: (
11/ 4 ~ Z, por tanto queda demostrado que todo nmero entero que realice la
n2 + 2 dar como resultado otro entero, pero este al dividirlo para 4 no arrojara un
operacin
x +y
no es divisible por 4.
Si x = 2j +1 y y = 2k +1 , entonces:
*
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 nmeros enteros cualesquiera)
3
2
* 4 ( 2+3+6 + 6 )+2 , Tenemos:
56
Respuesta: (
realice la operacin
pero este al dividirlo para 4 no arrojara un valor exacto por lo cual se dice el nmero 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:
2
(2 x ) +(2 y +1)
x
2
* 4 x +4 y + 4 y +1 * 4 x +4 y + 4 y +1 * ( 2+ y + y )+1
4
2
5
2
* 4 ( 2+3 +3 )+1 , Tenemos:
Respuesta:
de su potencia sumado al cuadrado de otro nmero impar cualesquiera, siendo enteros los dos
siempre nos dar como resultado otro nmero impar.
48. Si x, y son nmeros enteros mltiplos de 3, pruebe que
x
3
y
2
3 = R/9*x + y = R/3* x +
y2
x 2+ y 2 es divisible por 9.
tenemos)
*
12
2 n3 + 3 n2 + n
57
*n (
2 n2+ 3n + 1) (Tomamos cualquier nmero entero que pueda ser reemplazado por la
*7 (
2(7)2+ 3(7) + 1)
*7 (
2(49)+ 21 + 1)
*7 (
98+ 21 + 1)
120 )
* 840 (Con este resultado se procede a realizar la divisin 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 n + 1
2
2
(1)2 1 + 1 *(1) ( 2 *(1)
4 )
*4
(Con este resultado se procede a realizar la divisin para 4 y as demostrar que es o no es posible
hacerlo de manera exacta)
*4 / 4 = 1
Respuesta: 4 / 4 = 1, por tanto si n es un numero entero entonces al realizar el reemplazo de
cualquier variable entera en la formula
m2=7 n+1
1. m =7 n+1
2. m =7 k +1 ; m =m
7 n+1=7 k +1 * 7 n+11=7 k *
, Si n = k, entonces reemplazamos en 1.
58
1. m2=7 k +1
m =7(6)+1 * m2=43
Respuesta:
nmeros impares siempre nos dar como resultado otro numero impar.
2
n n
54. Demuestre que n n es divisible por 2 para todo entero n. *
(Reemplazamos la
2
2
12111
110
11 211
*
*
*
2
2 * 55
2
231 , por tanto queda demostrado que el cociente de una variable n que puede ser
25. Utilice esta frmula para calcular mentalmente los cuadrados de 15, 25 y 65. Luego aplique
este resultado para calcular el cuadrado de cualquier nmero mltiplo de 5.
59