s Bello

Universidad Andre
Facultad de Ciencias Exactas
ticas
Departamento de Matema

Algebra
(FMM013)
SOLEMNE 3
Noviembre 23, 2012.
Duraci
on: 90 minutos.
Importante: No se asignar
an puntos por respuestas sin justificaci
on.
Problema 1 : Se realiza una encuesta a un grupo de 1600 personas para determinar sus
preferencias en el desayuno. Los resultados fueron:
801 cafe
900 yogur
752 jugo
435 cafe y yogur
398 cafe y jugo
412 yogur y jugo
310 cafe, yogur y jugo
a) (0,7 puntos) Represente la situacion usando un diagrama de Venn.
b) En cada uno de los siguientes casos determine el n
umero de personas que
(i)
(ii)
(iii)
(iv)

(0,2
(0,2
(0,2
(0,2

puntos)
puntos)
puntos)
puntos)

Prefiere
Prefiere
Prefiere
Prefiere

solo un tipo de alimento en el desayuno.

exactamente dos tipos de alimento.
al menos un alimento.
cuando mucho dos tipos de alimento.

Soluci
on:
a) Si nombramos
U = total de encuestados
C = personas que prefieren cafe
Y = personas que prefiere yogur
J = personas que prefieren jugo
Entonces tenemos
|U | = 1600
|C| = 801
|Y | = 900
|J| = 752
|C Y | = 435
|C J| = 398
|Y J| = 412
|C Y J| = 310

(i)
(ii)
(iii)
(iv)

893 personas prefieren solo un tipo de alimento en el desayuno.

315 personas prefieren exactamente dos tipos de alimento.
1518 personas prefieren al menos un alimento.
1290 personas prefieren cuando mucho dos tipos de alimento.

Problema 2 : (1,5 puntos) Sin usar tablas de verdad, determine si la siguiente proposicion
es una tautologa, una contradiccion o una contingencia.
[(q p) (
p q) (q q)] p
Soluci
on:
[(q p) (
p q) (q q)] p
[(
q p) (p q) V ] p
[(
q p) (p q)] p
[(
q p) (q p)] p
[(
q q) p] p
[F p] p
pp
Por lo tanto la proposicion es una tautologa.
Problema 3 : En Z definimos la relacion R tal que para m, n Z tenemos
m R n si m2 n2 es m
ultiplo de 3
a) (0,9 puntos) Demuestre que R es una relacion de equivalencia en Z.
b) (0,2 puntos) Determine [0]R = {n Z : nR0}=clase de equivalencia del 0.
c) (0,2 puntos) Determine [1]R = {n Z : nR1}=clase de equivalencia del 1.
d) (0,2 puntos) Determine todas las clases de equivalencia de R.
Soluci
on:

a)
Propiedad refleja: Para todo n Z tenemos n2 n2 = 0 el cual es m
ultiplo
de 3. Por lo tanto nRn.
Propiedad sim
etrica: Si m y n son elementos de Z tal que mRn entonces
2
2
m n = 3k para alg
un k Z. Entonces n2 m2 = 3(k), es decir nRm.
Propiedad transitiva: Sean m, n y p elementos de Z tales que mRn y nRp.
Entonces tenemos respectivamente m2 n2 = 3k1 y n2 p2 = 3k2 .
Restando estas ecuaciones obtenemos m2 p2 = 3(k1 k2 ). Por lo tanto mRp.
b)
[0]R =
=
=
=

{n Z : nR0}
{n Z : n2 02 es m
ultiplo de 3}
2
{n Z : n es m
ultiplo de 3}
{n Z : n es m
ultiplo de 3}

c)
[1]R =
=
=
=
=

{n Z : nR1}
{n Z : n2 1 es m
ultiplo de 3}
{n Z : (n 1)(n + 1) es m
ultiplo de 3}
{n Z : (n 1) es m
ultiplo de 3 o (n + 1) es m
ultiplo de 3}
{n Z : n = 3k 1 n = 3k + 1 para alg
un k Z}

d) De acuerdo a las partes anteriores, tenemos que la clase del 0 son los enteros de la
forma 3k, y la clase del 1 son los enteros de la forma 3k-1 y 3k+1. Como cualquier
entero es de una de estas tres formas, tenemos que hay exactamente dos clases de
equivalencia: [0]R y [1]R .
Problema 4 : (1,5 puntos) Demuestre formalmente la proposicion
(n N)(n2 es m
ultiplo de 2 n es m
ultiplo de 2)
Soluci
on:
Tenemos que (p q) (
q p)
Por lo tanto, en lugar de probar directamente
(n2 es m
ultiplo de 2) (n es m
ultiplo de 2)
probaremos
(n no es m
ultiplo de 2) (n2 no es m
ultiplo de 2).
Demostracion:
(n no es m
ultiplo de 2)

Queda entonces demostrado (QED).

n = 2k 1 para alg
un k N
2
2
n = 4k 4k + 1 para alg
un k N
n2 = 2(2k 2 2k) + 1 para alg
un k N
2
n es de la forma m
ultiplo de 2 mas 1
2
n no es m
ultiplo de 2