Вы находитесь на странице: 1из 59

Capitulo 1.

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

2. Escriba por extensin y por comprensin los siguientes conjuntos:

Conjunto

Extensin

Compresin

Las letras vocales

A={a,e,i,o,u}

A={x vocales}

Los nmeros naturales impares


menores de 11

B={1,3,5,7,9}

B={x# impares <11}

Los nmeros naturales mayores que


5 y menores que 13

C={6,7,8,9,10,11,12}

C={x# N>5<13}

Los nmeros naturales mltiplos de


6 y menores que 50

D={6,12,18,24,30,36,42,4
8}

D={x# N mltiplos de
6<50}

3. Utilice el mtodo de comprensin para describir los conjuntos cuyos elementos se


enumeran:

Conjuntos

Comprensin

a) A={4,6,8,10,12,14};

A={x# pares del 4 al 14}

b) B={1,4,9,16,25};

B={xb/1+(2+1)}

c) C={49,42,35,28,21,14};

C={xc/# del 49 al 14 incluidos


restando 7}

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}

4. Dados los conjuntos A={{1},2} y B={{1},2,{1,1}}, diga cules de las siguientes


afirmaciones son verdaderas o falsas .
Conjuntos

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,

5. Dadas las siguientes notaciones: aA, aA, CD, A ,F


AB=D, A\B=E.D un ejemplo que ilustre cada notacin.
Notaciones

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

A={m,n,o,p} B={m,n,o,p} A=B

AB=C

A={?,,,} B={,,} = C={?,,,, ,} AB=C

AB=D

A={1,2,3,4} B={2,4,6,8} = D={2,4} AB=D

A\B=E

E={3,2} A={1,0,5,6} B={1,2,3,0,5,6} A\B=E

6. Cules de las siguientes afirmaciones son verdaderas y por qu?


Afirmaciones

Justificacin

{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.

{{d}}{a,b,d,c};

Es falso porque el primer conjunto tiene como elemento al conjunto{d}


y este no puede ser subconjunto de {a,b,d,e} ya que solo se encuentra
el elemento d, no al conjunto{d}.

{a,{b}}{a,b,d,c};

Es falso porque el primer conjunto contiene al elemento a y al


conjunto{b} y este no puede ser subconjunto del conjunto{a,b,d,c}.

7. Dados los conjuntos A={4,6,8,10,12}, B={3,5,7,8,10,11}, C={4,7,5,10,11} y


U={xN:2<x<13}.
Halle:
a) AB;
AB={3,4,5,6,7,8,9,10,12}
b) (AB)C;
(AB)={8}
(AB)C={4,5,7,8,10,11}
c) (A\B)(C\B);
(A\B)={4,6,10,12}
(C\B)={4,10,11}
(A\B)(C\B)={4,10}
d) (A\C)c\Bc;
(A\C)={6,8,12}
U={12,11,10,9,8,7,6,5,4,3}
Bc={4,6,10,11,12}
(A\C)c={3,4,5,7,9,10,11}
(A\C)c\Bc={6,12}
e) [(AB)c(C\B)]c.
U={3,4,5,6,7,8,9,10,11,12}
(C\B)={4,10,11}
(AB)c={11,12}
c
(AB) (C\B)={11}
[(AB)c(C\B)]c={3,4,5,6,7,8,9,10,12}
8. En un crculo est inscrito un cuadrado. Sea A el conjunto de puntos del crculo dado y
B el conjunto de los puntos del cuadrado. Halle:
a) AB;

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).

10. ={xZ:-5<x<5}, A={xZ:x1} y B={xZ:x<2}. Realice los diagramas de ven de:

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}

11. Sea n U={xZ:-6x<9}, A={xZ:x0 o x>2} y B={xZ:x>3 y x<5}. Realice los


diagramas de ven de:
b) Ac\Bc;
Ac\Bc={1,2}

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=

12. Se dan los siguientes conjuntos: U={xZ:-2x<6}, A={xZ:-1x<2}, B={xZ:1x<3 o


x=4} y C={xZ: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)(CA);
(Ac\B)(CA)={1,4}

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.

14. Dados los conjuntos:


A={x2:xN y x es menor que 5},
B={x+1:xN y x2-3x=0},
U=AB.
Encuentre:
A=(1)2=1
(2)2=4
(3)2=9
(4)2=16
A={1,4,9,16}
B={4}
Datos

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)}

15. Dados los conjuntos U={x:xR,-6x<8}, A={x:xR,(x0 o x>2)} y B={ x:xR,x>3 y


<<5}. Determine:
U={-6, -5, -3, -2, -1, 0,1,2,3,4,5,6,7}
A={-6, -5, -3, -2, -1, 0,3,4,5,6,7}
Datos

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

{}

16. Si A={x:xR, x1}, B={x:xR, x<2} y U={x:xR, -2<x<3}, determine:


U={-3,-4,-5,-6,2,1,0}
A={1,2,3,4,5,6}

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

26. Determine A yB si se conoce que AB={a,b,d,e}, AB={b,d} y B\A={e}.

10

A = {a, b ,d}B={e, b ,d}


27. Consideremos 3 conjuntos, A,B yC, tales que AC, BC, n(C)=120, n(AB)=90,
n(AB)=30 y n(A)=n(B)+30. Halle:
a) n[(C\B)A];
=[(120-30)C]
=90

b) n[(AB)\(AB)].
=[90-30]
=60

28. De un grupo de 240 personas, 90 no estudian ni trabajan; 60 estudian; 18 estudian y


trabajan. Cuntas personas solamente trabajan?
AB=18
U=240
A=60-(AB)
A=42
A+B+(AB)+90=240
42+B+18+90=240
B=90
29. En una encuesta realizada a 180 ahorristas sobre el destino de sus futuros
prstamos se verific que 120 se compraran una vivienda y 90 se compraran un
automvil. Cuntos comprarn las dos cosas?
A=120 , B=90 , U-A=60 , U-B=90
AB=U-(60+90)
AB=30
30. Suponga que una persona toma caf o jugo en el desayuno cada maana del mes de
octubre. Si toma caf durante 25 maanas y toma jugo durante 18 maanas.
Cuntas maanas toma solamente jugo?
U-A=6
U-B=13
AB=U-(6+13)
AB=12
A=25
B=18
U=31
R: 13 maanas toma solo jugo
31. En un colegio, 48 alumnos que reprueban el curso por fsica, 25 por matemticas y
30 por ingls. Si el total de alumnos repetidores es 68 y de ellos hay 6 que reprueban
las 3 materias, encuentre:
a) Cuntos repiten exactamente una materia?;
b) Cuntos 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
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

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 investigacin realizada a 370 personas, sobre el tipo de pelculas que ellas
prefieren, se determin que: a 20 solamente les gusta las de accin, a 40 solamente
les gusta las de terror y las cmicas, a 10 solo les gusta las de accin y las de terror.
El nmero de personas que prefieren las de los tres tipos son: el doble de las
personas que solo les gusta las pelculas de terror y es 8 veces mayor que las que
solamente les gusta las pelculas de accin y las cmicas. Halle el nmero de
personas que les gusta:
a) Solamente las pelculas de terror;
b) Solamente las pelculas cmicas.
n(CAB)=n(U)-n(C)-n(AB)-n(CA)
=370-20-40-10
=300
2n(A)=80
n(CAB)=2n(A)
=2(80)
=160
n(A)=80
n(C)=370-n(C)-n(A)-n(CA)-n(AB)-n(CB)-n(CAB)
n(C)=370-20-80-10-40-20-160
n(C)=40
38. De un grupo de 90 personas se conoce lo siguiente: 8 hombres tienen 20 aos, 22
hombres no tienen 19 aos, 34 hombres no tienen 20 aos y 26 mujeres no tienen ni
19 ni 20 aos. Cuntas mujeres tienen 19 o 20 aos?
Hombres
8=20 aos
22=no 19 aos
34=no 20 aos
26=19 y 20 aos
Mujeres
22= 19 aos
34= 20 aos
26= no 19 y 20 aos
Mujeres= 34+22=56
Hombres=26+8=34
56-34=22 mujeres de 19 o 20 aos
39. Realice el producto cartesiano AxB si:
a) A={a,b,c} y B={d,e,f};
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)}
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)}

b) A={-3, -1, 0, 1/3}, B={-1, 2/5, 3/2, 5};


AxB={(-3,-1),(-3,2/5),(-3,3/2),(-3,5),(-1,-1),(-1,2/5),(-1,3/2),(-1,5),(0,-1),(0,2/5),(0,3/2),
(0,5),(1/3,-1),(1/3,2/5),(1/3,3/2),(1/3,5)}

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)}

h) A=[-3, ]{3/2, 5/2}, B=]1,2[{3/2, 5/2};


AxB={(-3,1),(-3,3/2),(-3,2),(-3,5/2),(1/2,1),(1/2,3/2),(1/2,2),(1/2,5/2),(3/2,1),(3/2,3/2),
(3/2,2),(3/2,5/2),(5/2,1),(5/2,3/2),(5/2,2),(5/2,5/2)}

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)}

45. Diga si son verdaderas las siguientes afirmaciones y justifique su respuesta:


a) (A\B)x(C\D)(AxC)\(BxD);
Es verdadera.
Por que se distribuye(AxC)\(BxD)(AxC)\(BxD)
b) (AxC)\(BxD)(A\B)x(C\D).
Es falsa
Por que la multiplicacin de conjuntos, y al restarse los productos, no est includo en
el conjunto del producto cartesiano de la diferencia de cuatro conjuntos.
46. Determine grficamente AxB y BxA para los conjuntos A y B dados:
a) A={-2, -1, 2, 3}, B={-1, 0, 2, 5};
b) A={-3, -1, 0, 1/3}, B={-1, 2/5, 3/2, 5};
c) A=]-2,3], B=[-3,5];
d) A=[1,4[, B=[-1,1];
e) A=]-1,1], B=]-2,3]{-3};
f) A=]-4,0]{1}, B=[1,2];
g) A=]1,2]{3}, B={1,2,3};
h) A=[-3, ]{3/2, 5/2}, B=]1,2[{3/2, 5/2}.
Todos estos literales son del nmero 45 que ya estn resueltos
47. Demuestre por las propiedades de los conjuntos que:
Card(AB)=Card(A)+card(B)-2Card(AB).
Card[(AB)\(AB)]=card[(AB)\(AB)(AB)] diferencia simtrica
Card[(AB)\(AB)]=Card[(AB)\(AB)] identidad
48. Si A={xN: x=((2k-1)/3),kN}, B={xN: x2+118}. Halle (AB)x(B\A).
(AB)x(B\A)={(1,2),(1,4),(3,2),(3,4)}
49. Dados los conjuntos A={xN: x=((2k+1)/3),kN}, B={xN: x2-14x+40=0}, C={xN: x21=0}. Halle el nmero de elementos de [(AB)C]x(B\C).
[(AB)C]x(B\C)={(1,4),(1,10)}

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 +

; Respuesta: No es una proposicin.

d) 3 x 5 + 4 = 19; Respuesta: Es una proposicin, Es verdadera.


e) 6 2 + 4; Respuesta: Es una proposicin, Es verdadera.
f) Hay un nmero natural que es negativo ;Respuesta: Es una proposicin, Es falsa.
g) Existen diversas razas de perros; Respuesta: Es una proposicin, Es verdadera.
h) Eloy Alfaro no impulso la educacin laica; Respuesta: Es una proposicin, Es falsa.
i)Se fueron de viaje. Respuesta : No es una proposicin.
2. Se dan dos proposiciones: p: <<el nmero 3 es divisor de 174>>y q: <<llueve>>. En qu
consisten las proposiciones:
a)~ p;R. El numero 3 NO es divisor de 174.
b)(p v q); R. El nmero 3 es divisor de 174 O llueve.
c)(p q);R. El nmero 3 es divisor de 174 Y llueve.
d)p q;R. Si el nmero 3 es divisor de 174, ENTONCES llueve.
e)~ p q;R. Si el numero 3 NO es divisor de 174, ENTONCES llueve.
f)p~ q?R. Si el nmero 3 es divisor de 174, ENTONCES NO llueve.
3. Determine el valor de verdad de cada una de las siguientes proposiciones:
a)Si 5 + 4 = 11, entonces 6 + 6 = 12;Respuesta:F V= V
b)No es verdad que 3 +3 = 9 si y solo si 5 + 5 = 10;Respuesta:~(F V) = ~(F) = V
c)No es verdad que 2 3 = 1 o que 3 + 4 = 7;Respuesta:~(F V) = ~(F) = V
d)6 + 4 = 10 y 9 4 = 5;Respuesta:(V V) = V
e)8/2 = 4 y 8 + 2 = 12;Respuesta:(V F) = F
f)La sede del congreso est en Quito o est en Macas;Respuesta:(V F) = V
g)Si 3 x 7 = 21, entonces 9 7 = 2;Respuesta:(V V) = V
h)Si Roma esta en Italia, entonces Bogot est en Panam.
Respuesta:(V F) = F

25

4. Indique el valor de verdad de las siguientes proposiciones:


a)(8 > 3) v (2 6 < 3), Respuesta:(V v V) = V
b)(3 < 7) (

22+3 2

4 2 ) ( 72 +22 <82 ; Respuesta:(V V) = V

c)(1 + 3 + 5 + 7 =

d)(

< 10);Respuesta:(V V) = V

4 2 >62 ( 122+ 52=132 ;Respuesta:(F V) = F

5. Realice las tablas de verdad de las siguientes proposiciones compuestas.


a) [(p v q) ~ p];
[(p

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

d) ~ [r (p v r) ~ (p r)] v [(p v q) ~p];


~

[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)]

6. Demuestre si las siguientes proposiciones son lgicamente equivalentes:


a)p v p con p
*(p v p) p Idempotencia
*p p Condicionante
*(~p v p) Complemento
Respuesta: V, Es Tautologa por lo tanto si son equivalentes.
b)~ (p q) con (p ~ q) v (~ p v q)
*[~ (p q)] [(p ~ q) v (~ p v q)] Condicionante
*[~ (p q) v (p q)] [(p ~ q) v (~ p v q)]

Condicionante

*[(p ~ q) v (~ p v q)] [(p ~ q) v (~ p v q)] Condicionante


*~ [(p ~ q) v (~ p v q)] v [(p ~ q) v (~ p v q)]Asociativa
*~ {[(p ~ q) v (~ p v q)] ~ [(p ~ q) v (~ p v q)]}Complemento
*~ {F}Complemento
Respuesta: V, Es Tautologa por lo tanto si son equivalentes.

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

a)No voy al trabajo o no camino 30 cuadras;~ (s t)


~ (V F)
~ (F)
Respuesta:V; La proposicin es Verdadera.
b)Voy al trabajo o no camino 30 cuadras;(s) v ~ (t)
(V) v ~ (F)
vVRespuesta:V; La proposicin es Verdadera.

c) Camino 30 cuadras si voy al trabajo;(s t)


(V F)
Respuesta: F, La proposicin es Falsa.
d) Si voy al trabajo camino 30 cuadras.(s t)
(V F)
Respuesta: F, La proposicin es Falsa.

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

Respuesta: La proposicin es Equivalente.


c) ~ (~ q ~ p) [q ~ (p r)]
~
(~
q

~
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

~ (~(~ q) v ~ p) [~q v (p ~ r)]

Condicional y distributiva

(~ q v p) (~q v p) (~q v ~ r)

Identidad y distributiva

31

(~q v p) (~q v ~ r)

Idempotencia

Respuesta: La proposicin es Equivalente.


13. Simplifique las siguientes proposiciones compuestas:
a)(~ p ~ p) v ~ q ~ (p q)Idempotencia
~ (p q)
Asociativa
q)
Condicionante
(p q)] [~ (p q) ~ (p q)]Condicionante
(p q)] [~(~ (p q)) v ~ (p q)]
Morgan
v ~ (p q)]
Morgan
~ q]
Absorcin
p v ~ q]} Destruccin de Parntesis
*~{~p v ~q v ~ p v ~ q v ~p v ~q v ~ p v ~ q}Asociativa

*~ 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 ~

*~{(~p v ~ p) v(~q v ~ q) v (~p v ~p) v (~ q v ~ q)}Idempotencia


*~{(~p v ~ q) v (~p v ~ q)}
Respuesta : ~p v ~ q.

Idempotencia

b)p [(p v q) (p q)]Conmutativa


*p [(p q) (p v q)]Asociativa
*p {[p [q (p v q)]}
Conmutativa
[q (q v p)]} Absorcin

*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

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)]}
*[p (F)] v {(V) v [~ ((~p v ~ q) v ~ r) v (q v r)]} Complemento
* (F) v {(V) v [~ ((~p v ~ q) v ~ r) v (q v r)]} Destruccin de Parntesis
* (F) v (V) v p q r v q v r
Disyuncin
*(V) v p q r v q v r
Asociativa
*(V) v p (q v q) (r v r)
Conmutativa/ Idempotencia
*(V) v p q r
Complemento
Respuesta: p q r
e)[~(p q) ~ q] [q v (q ~ p)] ~ [q (q ~ p)]Condicionante
(~p v q) ~ q] [q v (~q v ~ p)] ~ [q (~q v ~ p)] Morgan/ Aso.
*[p (~ q ~ q)] [(q v ~q) v ~ p)] ~ [(q ~q) v ~ p)] Complemento
*[p ~ q] [(V) v ~ p)] ~ [(F) v ~ p)]

Identidad

*[p ~ q] (V) (~ p)

Identidad

*[p ~ q] (~ p) Condicionante
*{[p ~ q] (~ p)} {(~ p) [p ~ q] }

Condicionante

*{~(p ~ q) v (~ p)} {~(~ p) v (p ~ q)}


*{~p v q) v (~ p)} {p v (p ~ q)} Asociativa
*{ q v (~p v ~ p)} {(p p) v~ q)}

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

*[(F) (F)] v [(q ~ p) v ~ p]Conjuncin


*(F) v [(q ~ p) v ~ p]Complemento
Respuesta: (q v ~ p) ~ p
14. Si p, q, y r son proposiciones. Escriba las negaciones de las siguientes proposiciones:
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.
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

c) [(p q) r] [(p q) (p r)]


*[~ (p q) v r] [(~ p v q) (~ p v r)]
*[~ (p q) v r] [~ (~ p v q) v (~ p v r)]

Condicionante
Condicionante
Morgan

*[~ p v~ q v r] [(p ~ q) v (~ p v r)]


Condicionante
* {[~ p v ~ q v r] [(p ~ q) v (~ p v r)]} {[(p ~ q) v (~ p v r)] [~ p v ~ q v r]}
* {~ [~ p v ~ q v r] v [(p ~ q) v (~ p v r)]} {~ [(p ~ q) v (~ p v r)]v[~ p v ~ q v r]}
* {[p q ~ r] v [(p ~ q) v (~ p v r)]} {[(~p v q) (p ~ r)] v [~ p v ~ q v r]}
Asociativa
* {[p q ~ r] v [(p v~ p) (~ q v r)]} {[(~p v p) (q ~ r)] v [~ p v ~ q v r]}
Complemento
* {[p q ~ r] v [(V) (~ q v r)]} {[(V) (q ~ r)] v [~ p v ~ q v r]}
* {[p q ~ r] v [(~ q v r)]} {[(q ~ r)] v [~ p v ~ q v r]}

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

18. Determine en qu casos es verdadera la proposicin: ~ [(p q) v r] p, sabiendo que r es la


proposicin <<2 es un nmero impar>>.
19. Sean p, q, r proposiciones y supongamos que p es falsa, q falsa y r verdadera. Culesde 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)
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

21. Demuestre que las siguientes proposiciones son tautologas:


a) (p q) (~ q ~ p)
*(~ p v q) (q v ~ p)
*(~ p v q) (~ p v q)
*~ p (q v q)

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

Respuesta: ~p; NO es Tautologa.


c) [~ (p ~ q) r] [(q ~ r) ~ p]
*[(~ p v ~ q) v r] [~ (q ~ r) v ~ p]
*[~ p v ~ q v r] [~ q v r v ~ p]

Condicionante
Morgan
Conmutativa

* {[~ p v ~ q v r] [~ p v ~ q v r]} {[~ p v ~ q v r] [~ p v ~ q v r]} Cd.

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

Respuesta: V, Es una Tautologa.


d) ~ [(~ p v q) ~ (r ~ q)] [(p v r) ~ q]
[(~ p v q) (~ r v q)] [(p v r) ~ q]
*~ [(q v ~ p) (q v ~ r)] [(p v r) ~ q]

Morgan
Conmutativa
Absorcin

*~ [q v (~ p ~ r)] [(p v r) ~ q]

*~

Morgan

*[~ q (p v r)] [(p v r) ~ q]

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

Respuesta: V, Es una Tautologa.


22. Determine por cualquier mtodo cules de las siguientes proposiciones son tautologas.
a) (p p) p Idempotencia
p
Condicionante
p] [p p]
Condicionante
p] [~ p v p]
Complemento
[V]
Conjuncin

* (p)
* [p
* [~ p v
* [V]

Respuesta: V, Es una Tautologa.


b) (p v p) p
* (p) p
* [p p] [p p]
* [~ p v p] [~ p v p]
* [V] [V]

Idempotencia
Condicionante
Condicionante
Complemento
Conjuncin

Respuesta: V, Es una Tautologa.


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]
Conjuncin

37

Respuesta: V, Es una Tautologa.


d) [(p q) (~ p)] q
Asociativa
*[(p ~ p) q] q
Complemento
*[(F) q] q
Identidad
*[F] q
Condicionante
*~[F] v q
Identidad
*[V] v q
Identidad
Respuesta: V, Es una Tautologa.
e) p p v q
Condicionante
*~ p
Asociativa/ Conmutativa
*(p v ~ p) v q
Complemento
*(V) v q
Identidad
Respuesta: V, Es una Tautologa.
f) (p q) (q q)
*(p q) q

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

*{[(p q) r] [(p q) r]} {[(p q) r] [(p q) r]} Condnte.


*{~ [(p q) r] v [(p q) r]} {~ [(p q) r] v [(p q) r]} Ctativa.
*{[(p q) r] v ~ [(p q) r]} {[(p q) r] v ~ [(p q) r]} Cplmnto.
*{V} {V}
Conjuncin
Respuesta: V, Es una Tautologa.
h) [(p q) (q ~ r)] (p r)
[(p

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

*[(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]}Condicionante
*{~ [(p v q) v r] v [(p v q)v r]} {~ [(p v q)v r] v [(p v q)v r]} Cnmtativa.
*{[(p v q)v r] v ~ [(p v q) v r]} {[(p v q) v r] v ~ [(p v q) v r]} Cplmnto.
*{V} {V}
Respuesta: V, Es una Tautologa.

Conjuncin

j) [p (q v r)] [(p q) v (p r)]


Absorcin
*[p (q v r)] [(p (q v r)]
Condicionante
*{[p (q v r)] [p (q v r)} {[ p (q v r)] [p (q v r)} Condicionante
*{~ [p (q v r)] v [p (q v r)} {~ [p (q v r)] v [p (q v r)]} Conmtativa.
*{[p (q v r)] v ~ [p (q v r)]} {[p (q v r)] v ~ [p (q v r)]} Cplmnto.
*{V} {V}
Respuesta: V, Es una Tautologa.

Conjuncin

k) [p v (q r)] [(p v q) (p v r)]


Absorcin
*[p v (q r)] [p v (q r)]
Condicionante
r)] [p v (q r)} {p v (q r)] [p v (q r)} Condicionante

*{[p v (q

*{~ [p v (q r)] v [p v (q r)} {~ [p v (q r)] v [p v (q r)} Conmtativa.


*{[p v (q r)] v ~ [p v (q r)]} {[p v (q r)] v ~ [p v (q r)]} Cplmnto.
*{V} {V}
Respuesta: V, Es una Tautologa.
l) ~ (p q) [(~ p) (~ q)]
*~ (p q) [~ (p v q)]

Conjuncin

Absorcin
Condicionante

*{~ (p q) [~ (p v q)]} {[~ (p v q)] ~ (p q)} Condicionante


*{(p q) v [~ (p v q)]} {~ [~ (p v q)] v ~ (p q)}
*{(p q) v [~ (p v q)]} {[(p v q)] v ~ (p q)}

Morgan
Morgan

*{(p q) v [~p ~q]} {[(p v q)] v ( ~ p v ~ q)} Asociativa/Conmutativa


*{(p q) v [~p ~q]} {[(p v ~ p)] v (q v ~ q)}
*{(p q) v [~p ~q]} {[V] v (V)}
[~p ~q]} {F}
(~p ~ q)
v (~p ~ q); No es Tautologa.

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

Respuesta: ~ p v (p q); No es Tautologa.


o) (p q) ~ p
*~ (p q) v ~ p Morgan
*~ p v ~ qv ~ p
*(~ p v ~ p)v ~ q

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

*[(~p ~q) v (p ~ r) v (q ~ s)] v (r v ~ s)

Absorcin

*[~(p v q)v~(~p v r) v~ (~ q v s)]v (r v ~ s)

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

Respuesta: V, Es una Tautologa.

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

*{~ (p ~ q) v [p ~ q]} {~ (p ~ q) v [p ~ q]}

Morgan

*{~ (p ~ q) v [p ~ q]} {~ (p ~ q) v [p ~ q]} Conmutativa


*[(p ~ q) v~(p ~ q)] [(p ~ q) v ~(p ~ q)]

Complemento

*[V] [V]
Tautologa.

Conjuncin Respuesta: V, Es una

s) [~ (p q)] [(p ~ q) v (q ~ p)]

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

[~(~p v q) (p v~ q)) ] [(p ~ q) v (q ~ p)]

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

Respuesta: V, Es una Tautologa.

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

*(r ~ s) v [(~ r ~ t) v (s v t)]

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

*{[(~p p) v (~p v~q)]} {~ p v [p v (p q)]}

Complemento

*{[(F) v (~p v~q)]} {~ p v [p v (p q)]} Identidad


*(~p v~q) {~ p v [p v (p q)]}
*[(~p v~q) ~ p] v {(~p v~q) [p v (p q)]}
*[(~p v~p) ~ q] v {(~p v~q) [p v (pq)]}

Distributiva
Asociativa
Idempot/Distributiva

*[~p ~ q] v {[(~p v~q) p] v[(~p v~q) (p q)]}


*[~p ~ q] v {[(~p vp) ~q] v[~(p q) (p q)]}

Asociativa
Complemento

*[~p ~ q] v {[(V) ~q] v[F]}


Identidad
*[~p ~ q] v {[~q] v[F]}
Identidad
*[~p ~ q] v [~q]
Respuesta: (~p ~ q) v (~q); No es Tautologa.
y)([p (p v q)] p) (p v q)
*~ ([~ p v (p v q)] p) v (p v q)

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:

Proposicin: p v {(p v ~ q) v [q (p q)]}


*p v {(p v ~ q) v [q (~ p v q)]}
*p v {[(p v ~ q) v q] [(p v ~ q) v (~ p v q)]}
*p v {[p v (~ q v q)] [(p v ~ p) v (qv~ q)]}
*p v {[p v (V)] [(V) v (V)]}
*p v {[V] [V]}
*p v {V}
Respuesta: p.

Condicionante
Distributiva
Asociativa
Complemento
Identidad/Disyuncin
Conjuncin
Identidad

Proposicin:
{[((p q) v p) ((q p) v q)] v ~ p} ~pCondicionante

43

* {[((~ p v q) v p) ((~ q v p) v q)] v ~ p} ~p


* {[((~ p vp) v q) ((~ q v q) v p)] v ~ p} ~p

Asociativa
Complemento

* {[((V) v q) ((V) v p)] v ~ p} ~p


* {[(V) (V)] v ~ p} ~p
* {[V] v ~ p} ~p
* {~ p} ~p
Respuesta: ~ p.

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

24. Escriba en forma simblica los siguientes enunciados:


a) El cuadrado de todo nmero real es positivo.
Respuesta: (x ) donde (

b)

x 2> 0

x 2=16 para algn nmero natural.

Respuesta: (x ) donde (

x 2=16

c) Todo nmero natural es par o es impar.


(x N) donde (k N) se cumple que [(x = 2k) v (x = 2k + 1)]

Respuesta:

d) Hay nmeros reales que no son mltiplos de 3.


(x ) donde (x Z) se cumple que (x = 3y)

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) (

z 0 Respuesta: (z) y se cumple que ( z 0

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

Respuesta: La afirmacin es Falsa.


Negacin: (x ) donde (

x2

= x).

b) x , 2x = x

46

Respuesta: La afirmacin es Verdadera.


Negacin: (x ) se cumpleque (2x = x).
c) x ,

x 2+3 x2=0

Respuesta: La afirmacin es Verdadera.


Negacin: (x ) se cumpleque (
d) x ,

x 2+3 x2=0 ).

x3< x

Respuesta: La afirmacin es Falsa.


Negacin: (x ) donde (
e) x ,

x3< x ).

x 2 x +5=0

Respuesta: La afirmacin es Verdadera.


Negacin: (x ) se cumpleque (
f) x ,

x 22 x +5=0 ).

2 x +3 x=5 x

Respuesta: La afirmacin es Verdadera.


Negacin: (x ) se cumpleque (
g) x Z,

2 x +3 x=5 x ).

x =5

Respuesta: La afirmacin es Verdadera.


Negacin: (x Z) se cumpleque (

h) x ,

x 2 5 ).

x x

Respuesta: La afirmacin es Falsa.


Negacin: (x ) se cumpleque (

i) x Z,

x 2< x ).

x x

Respuesta: La afirmacin es Verdadera.


Negacin: (x Z) se cumpleque (

x 2 x ).
47

j) x N,

x x 1=1

Respuesta: La afirmacin es Falsa.


Negacin: (x N) donde ( x x 1 1 ).
29. Sea U = {1, 2, 3, 4} el conjunto universo. Determine el valor de verdad de cada enunciado:
a)x U,

x+ 3<6

Respuesta: El enunciado es Falso.


b) x U,

x+ 3<6

Respuesta: El enunciado es Verdadero.


c)x U,

x 10 8

Respuesta: El enunciado es Verdadero.


d) x U,

2 x 2 + x=15

Respuesta: El enunciado es Falso.


30. Dado el conjunto A = {0, 2, 4, 6, 8}, indique el valor de verdad de las proposiciones:
a) x A,

x+ 4< 10

Respuesta: La proposicin es Falsa.


b) x A,

x+ 4< 6

Respuesta: La proposicin es Verdadera.

c) x A,

x
>0
x +1

Respuesta: La proposicin es Falsa.


d) x A, yA,

x y

Respuesta: La proposicin es Verdadera.


31. Dados los conjuntos
A ={x:

x 25 x+6=0 } y B ={x: ( x5 ) ( x7 )=0 }


48

Halle el valor de verdad de las siguientes proposiciones:


Siendo los conjuntos: A = {2, 3} y B = {5, 7}
a) (x A),

x> 5

Respuesta: La proposicin es Falsa.


b) (x B),

(x 23=0)

Respuesta: La proposicin es Falsa.

x> 1

c) (x AU B),

Respuesta: La proposicin es Verdadera.


d) (x B),

x5=0 ( x A ) , xespar .

Respuesta: La proposicin es Falsa.


32. Dadas las siguientes proposiciones, indique su valor de verdad y escriba su negacin.

(n = 19 )
2

a) (n N)

Respuesta: La afirmacin es Falsa.


Negacin: (n N) se cumpleque (

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

Respuesta: La afirmacin es Falsa.


Negacin: (y N) (x N), se cumpleque (

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)

34. Niegue las siguientes proposiciones:


a) (x ) (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) (

36. Halle los conjuntos de validez

Vp

de las siguientes funciones lgicas, si X = {-1, 0, 1, 2, 3,

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}

c) Es verdadero o falso y por qu: (x X) (p (x):

2 x 1> 3 )

Respuesta: Es Falso, porque {-1, 0, 1, 2} no cumple que (p (x):


d) Es verdadero o falso y por qu: (x X) (p (x):

2 x 1> 3 ).

x 21 3 )

Respuesta: Es Verdadero, porque {-1, 0, 1, 3, 5}cumple que (p (x):

2 x 1> 3 ).

37.D el valor de verdad de la siguiente proposicin (justifique):


(x ) (y ) ( x+ 1 y xy 12 .
VV
V
Respuesta: La respuesta es Verdadera porquetodos los elementos que pertenecen a los
cumplen con estas dos condiciones: Por ejemplo:
( 3+ 1 22(3) 12 V V
Verdadero
38. Es verdadera la proposicin A = B

Respuesta: La proposicin A = B

A c x B= A x Bc ? (Justifique su respuesta)

A c x B= A x Bc

es Falsaporque los elementos de ambos

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.

Respuesta: La proposicin es Falsa.


d) A \ B = A \ C B

C=B

Respuesta: La proposicin es Falsa.


e)(A \ B)

C (A U B) (A U C)

Respuesta: La proposicin es Verdadera.


40.Demuestre analticamente que:
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=

b)

A B= siysolosiA C BC
A B= A C BC * * B * V V Respuesta: Verdadero.

52

A B=

c)
(B)

( A C C ) ( B C D ) ( A B ) C ( C D ) * (A) v (B) ( A B ) (C D * (A) v


( A B) * ( A B ) ( A 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=

41. Si x A= {1, 2, 3}, demuestre mediante contraejemplos- la falsedad de las siguientes


proposiciones:
* Cumple* No Cumple
a) (x A) (

x 2=x )

Respuesta: La proposicin es Falsa.1. (


3. (

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 )

2+2 5 )3. ( 3+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)

Respuesta: La proposicin es Falsa.


1. (

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 )

42.Pruebe que si es mltiplo de 6, entonces es mltiplo de 3.

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

a para c , luego de realizar

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

0, por tanto si n es mltiplo de 3 entonces n 2 no puede serlo ya que plantea

un absurdo al momento de realizar la operacin.


45. Demuestre que n Z,

+ 2 no es divisible por 4.

n2 + 2 Z (suponiendo cualquier nmero entero x)

*(
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

valor exacto y posteriormente el numero dejara de ser un entero.


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 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 nmeros enteros cualesquiera)

3
2
* 4 ( 2+3+6 + 6 )+2 , Tenemos:

4 (9+3+ 36+6)+2 * 4 (54)+2 * 216+2 * 218 ; Ahora demostramos mediante una


operacin matemtica si el resultado es divisible de forma exacta para 4 o no.
*218 / 4 = 54.5 ~ Z.

56

x 2+ y 2 / 4 ~ Z, por tanto queda demostrado que todo nmero entero que

Respuesta: (

realice la operacin

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 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

(Suponiendo a x ey como nmeros enteros cualesquiera)

5
2
* 4 ( 2+3 +3 )+1 , Tenemos:

4 (25+9+ 3)+1 * 4 (37)+1 * 148 + 1 * 149


149 , por tanto queda demostrado que todo nmero entero par elevado al cuadrado

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.

(Siendo x e ynmeros enteros mltiplos de 3,

tenemos)
*

12

*36 + 144*180 (Con este resultado se procede a realizar la divisin para 9 y as

demostrar que es o no es posible hacerlo de manera exacta)


*180 / 9 = 20
Respuesta:180 / 9 = 20, por tanto si x e y son mltiplos 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.
49. Sea n un numero entero, pruebe que: n (n + 1) (2n + 1) es divisible por 6.
*n (n + 1) (2n + 1)*(
*

n2 + n ) (2n + 1)* 2 n3 +n2 + 2 n2 + n

2 n3 + 3 n2 + n
57

*n (

2 n2+ 3n + 1) (Tomamos cualquier nmero entero que pueda ser reemplazado por la

variable n y realizamos la posterior demostracin)


*7 (

*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+ 3n + 1) podemos demostrar que este

resultado siempre podr ser dividido de manera exacta para 6.


50. Sea n un nmero entero, pruebe que:

2
n2 n + 1

n2 (n+1)2 es divisible por 4.

(Tomamos cualquier nmero entero que pueda ser reemplazado por la

variable n y realizamos la posterior demostracin)


(

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

n2 (n+1)2 podemos demostrar que este resultado

siempre podr ser dividido de manera exacta para 4.


51. Supongamos que
misma; es decir:

m=7 n+1 para algn entero n, demuestre que m2 se escribe en la

m2=7 n+1

1. m =7 n+1

para algn entero k.

2. m =7 k +1 ; m =m

7 n=7 k * n=7 k /7 * n=k

7 n+1=7 k +1 * 7 n+11=7 k *

, Si n = k, entonces reemplazamos en 1.

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)


*

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.


52. Sea x un numero entero, pruebe que
entero n, pero no de la forma

es de la forma 3n, o bien

3 n+1 para algn

3 n+2 . (Sugerencia: Todo numero entero m es de alguna de las

siguientes formas: m = 3k, m = 3k + 1 o m = 3k + 2.


53. Muestre que el producto de dos nmeros impares es otro nmero impar.
Si m = 2p + 1 y n= 2l + 3 y ambos son impares, entonces tenemos que m * n = impar:
* (2p + 1) (2l+ 3)* (4pl + 6p + 2l + 3) (Suponiendo que p y l son enteros cualesquiera, reemplazar
en la formula anterior)
* (4(5)(9) + 6(5) + 2(9) + 3)
* (180 + 30 + 18 + 3)*231Respuesta:

231 , por tanto queda demostrado que el producto de dos

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

variable npor cualesquier entero positivo)


Respuesta:

231 , por tanto queda demostrado que el cociente de una variable n que puede ser

reemplazada con un entero positivo, sumada a su cuadrado y posteriormente dividida entre 2


siempre nos dar como resultado otro nmero entero exacto.
55. Muestre que si n es mltiplo de 5,

n2 puede calcularse mediante la relacin (n - 5) (n + 5) +

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