Semestre 2020-20 - Sección 1

Parcial 2 – Noviembre 3, 2020

Prof. Rodrigo Cardoso

1 [25/100]
Sea X un conjunto universal.

1a (10/25) Para A, B  X:
A\B = ABc  A = Bc
Dem:
()
A\B = ABc
=  Hip: A = Bc (o bien: B = Ac) 
A\Ac = AA
=  Def \ 
A(Ac)c = AA
=  Doble complemento 
AA = AA
=  -idempotencia; -idempotencia 
A=A
=  =-id
true
[5/10]
()
A
=  Absorción 
A  (A  Bc)
=  Hip: A\B = ABc (o bien: ABc = ABc) 
A  A  Bc
=  -idempotencia 
A  Bc
=  Hip: A\B = ABc (o bien: ABc = ABc) 
A  Bc
=  -idempotencia 
A  Bc  Bc
=  Hip: A\B = ABc (o bien: ABc = ABc) 
(A  Bc)  Bc
=  Absorción 
Bc
[5/10]

Variante: Regla de Oro

Lema RO: XY = XY  X = Y

Dem:
Por el Teorema de Representación (Lógica Proposicional : Conjuntos), se llega a que el Lema es válido si y
solo si
X  Y  X  Y  X  Y

lo cual equivale al Teorema de la Regla de Oro de Lógica Proposicional.

Para probar el resultado:
A\B = ABc  A=Bc
=  Def \
ABc = ABc  A=Bc
=  Lema RO [X,Y:= A,Bc] 
true
[10/10]

Variante: Prueba por elementos

()
Como en la variante principal.
[4/10]
() Sigue de probar Lema 1 y Lema 2:
Lema 1: A  Bc
Hip: xA // A demostrar: xBc
true
=  Hip: A\B = ABc (o bien: ABc = ABc) 
xABc  xABc
=  Def ,  
xA  xBc  xA  xBc
=  Hip: xA 
true  xBc  true  xBc
=  true  x  x; true  x  true 
xBc  true
=  -Ident 
xB c

[3/10]

Lema 2: Bc  A
Hip: xBc // A demostrar: xA
true
=  Hip: A\B = ABc (o bien: ABc = ABc) 
xAB  xABc
c

=  Def ,  
xA  xBc  xA  xBc
=  Hip: xBc 
xA  true  xA  true
=  SAP; true  x  x; true  x  true 
xA  true
=  -Ident 
xA
[3/10]

1b (15/25) La relación R: 2X  2X, definida por

R(A,B)  AB = A
es un orden parcial.

Dem:
R reflexiva:
R(A,A)

MEL 2020-20 P2 S1 Sol 2

=  Def R 
AA = A
=  -idempoencia 
true
[5/15]
R antisimétrica:
R(A,B)  R(B,A)
=  Def R, 2 veces 
AB=A  BA=B
  SAP; =-transitividad 
A=B
[5/15]

R transitiva:
R(A,B)  R(B,C)
=  Def R, 2 veces 
AB=A  BC=B

ABC=A  AB=A

AC=A
=  Def R 
R(A,C)
[5/15]

Variante

Se sabe que:
AB  AB=A

Por tanto, R(A,B)  AB. Así, Res un orden parcial, porque se sabe que .. lo es.
[15/15]

2 [25/100]
Sea A = nat  nat. Considérese la relación : A  A, definida así:
(x,y)  (w,z)  x+y<w+z
Para las siguientes afirmaciones, determine si son ciertas o falsas, explicando por qué.

2a (10/25) (A,) es un orden estricto.

Sí.
[2/10]
 es irreflexiva:
(x,y)  (x,y)
=
x+y<x+y
=
false
[4/10]

 es transitiva:
(x,y)  (w,z)  (w,z)  (a,b)
=

MEL 2020-20 P2 S1 Sol 3

 x+y<w+z  w+z<a+b

x+y<a+b
=
(x,y)  (a,b)
[4/10]

2b (5/25) (A,) es un orden total.

No.
[1/5]

Hay elementos que no son -comparables.

Por ejemplo:
(0,1)  (1,0) (1,0)  (0,1)
= =
0+1 < 1+0 1+0 < 0+1
= =
false false
[4/5]

En general, los elementos no comparables son los que quedan sobre una recta de la forma y=-x+h. Para
éstos, la suma de sus coordenadas es h. En ele ejemplo anterior, los dos puntos están en la recta y=-x+1.
Un contraejemplo con h=6: (3,3) y (1,5).

2c (10/25) (A,) un orden bien fundado.

Para considerar "cadenas descendentes", entiéndase que si (x,y)  (w,z) entonces "(w,z)
es mayor que (x,y)".
Como notación, puede usar  = T .

Sí.
[2/10]

Supóngase una cadena descendente que empezara en (x0,y0), la cual debería ser de la forma
(x0,y0)  (x1,y1)  (x2,y2)  …

Esto equivale a que:

x0+y0 > x1+y1 > x2+y2 > …

Si la cadena pudiera crecer arbitrariamente (una cadena infinita) se tendría una cadena descendente infinita
en (nat,<), lo cual es imposible. Es decir, no hay cadenas descendentes infinitas en (A,) y, por tanto,
es un orden bien fundado.
[8/10]

3 [25/100]
Sean a,b,c,p: nat. Suponga que p es primo. Determine si las siguientes afirmaciones son ciertas
o falsas y explique su respuesta.
3a (5/25) mcd(a,b)=mcd(a,c)  mcm(a,b)=mcm(a,c)

Falso.

MEL 2020-20 P2 S1 Sol 4

 [1/5]

Contraejemplo:
a=1, b=2, c=3:
mcd(1,2) = 1 = mcd(2,3).

Pero:
mcm(1,2) = 2  3 = mcm(1,3)
[4/5]

Para buscar el contraejemplo, si el enunciado fuera cierto, se tendría que

a*b = mcd(a,b)*mcm(a,b) = mcd(a,c)*mcm(a,c) = a*c.

Es decir, a*b=a*c y también (si a0), b=c. O sea, hay que buscar un contraejemplo con a0, bc, y con
mcd(a,b)=mcd(a,c). Es fácil elegir, por ejemplo, a=1 y b,c dos primos diferentes.
3b (10/30) mcd(a,b)=mcd(a,c)  mcd(a,b,c)=mcd(a,b)

Cierto.
[2/10]

Sean d1=mcd(a,b)=mcd(a,c), d2=mcd(a,b,c).

Ahora: d1|a, d1|b y d1|c. Por tanto, d1|d2.

También: d2|a y d2|b. Por tanto, d2|d1.

Es decir: d1=d2.
[8/10]

Variante

Sean
D(a,b) : el conjunto de los divisores comunes de a y b
D(a,c) : el conjunto de los divisores comunes de a y c
D(a,b,c) : el conjunto de los divisores comunes de a, b y c

Sea dD(a,b,c). Entonces d|a, d|b y d|c. Entonces, dD(a,b). Es decir: D(a,b,c)D(a,b)

Sea eD(a,b). Entonces e|mcd(a,b). Por tanto, e|mcd(a,c). Es decir, e|a y e|c. Entonces
eD(a,c). . Es decir: D(a,b)D(a,b,c).

Se concluye que D(a,b)=D(a,b,c). Entonces, el máximo de este conjunto es el máximo común divisor
tanto de a,b como de a,b,c. i.e.,
mcd(a,b) = mcd(a,b,c).
[10/10]

3c (10/30) p|b2  p|b.

Cierto.
[2/10]

Sea r = b mod p.

Entonces b =p r, con 0r<p. Por tanto, b2 =p r2. Y como p|b2, también p|r2.

MEL 2020-20 P2 S1 Sol 5

Para concluir, recuérdese el teorema: si p es primo y p|x*y entonces p|x  p|y.

Ahora, p es un primo que divide al producto de dos factores r*r. Por el teorema: p|r  p|r, o bien, p|r.
Y ya que 0r<p, debe valer que r=0, i.e., p|b.

[8/10]

4 [25/100]
Un experimento biológico involucra colonias de alopias y de blemiros. Cada colonia tiene un ciclo de
reproducción que dura un número fijo de minutos: ma las alopias, mb los blemiros.
Después de cada ciclo hay el doble de alopias de las que empezaron ese ciclo. A su vez, los blemiros
triplican su población en cada ciclo. Sin embargo, cuando los ciclos de alopias y blemiros terminan
simultáneamente, y sólo en ese instante, se exterminan entre sí hasta quedar solo un ejemplar de
cada organismo. Entonces el proceso se reinicia y siguen cumpliéndose las mismas reglas de vida y
muerte. Todo el proceso se conoce como el "gran ciclo ab".

El experimento comienza a las 00:00 del día 0, juntando en un mismo ambiente una alopia y un
blemiro.

4a (5/25) Si se conocen los valores de ma y mb, ¿cuántos minutos dura el gran ciclo ab?.

Los ciclos coinciden por primera vez en el primer múltiplo común de la duración de cada ciclo.

Es decir, el gran ciclo ab dura mcm(ma,mb) minutos.

[5/5]

4b (20/25) Si ma = 7469 y mb = 2464:

4b1 (8/20)¿Cuántas alopias y cuántos blemiros llegaron a existir? (¡deje indicado!)

El número de ciclos de alopias al momento de la extinción es Ca = mcm(ma,mb)/ma. Así que llegaron a

existir 2Ca alopias.

El número de ciclos de blemiros al momento de la extinción es Cb = mcm(ma,mb)/mb. Así que llegaron a

existir 3Cb blemiros.

Concretamente:
mcd(ma,mb)
=  ma=7469, mb=2464 
mcd(7469,2464)
=  Alg de Euclides, por ejemplo 
77
  mcm(x,y) = (x*y)/mcd(x,y) 
mcm(ma,mb) = 239008.
Así:
Ca = 239008/7469 = 32. Llegaron a existir 232 alopias.
Cb = 239008/2464 = 97. Llegaron a existir 397 blemiros.

[8/8]

4b2 (6/20) ¿Cuántos días enteros transcurren desde el día 0 hasta el final del primer gran ciclo
ab?

MEL 2020-20 P2 S1 Sol 6

Como un día tiene 60*24=1440 minutos, transcurren mcm(ma,mb)1440.

Es decir, en este caso transcurren 2390081440 = 165 días.

[6/6]

4b3 (6/20) ¿A qué hora del día finaliza el primer gran ciclo ab?

El experimento termina en el minuto mf = mcm(ma,mb) mod 1440 del día final. La hora de terminación
es mf24 horas, mf mod 24 minutos.

En este caso, termina en el minuto mf = 239008 mod 1440 = 1408.

Es decir, el gran ciclo ab termina a las (140824):(1408 mod 24), o bien, a las 23:28.

[6/6]

MEL 2020-20 P2 S1 Sol 7