Beruflich Dokumente
Kultur Dokumente
Matematica Discreta
13 Jul, 2013
Indice
1. Ma
nana
1.1. Tema 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Tema 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2
2
7
2. Tarde
12
2.1. Tema 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2. Tema 4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.
1.1.
Ma
nana
Tema 1
(c) Probar, sin usar tablas de verdad la validez del siguiente razonamiento: Si Hugo se casa,
entonces Alicia se suicida. Alicia se suicida siempre y cuando Hugo no se
haga cura. Por lo tanto si Hugo se casa no se har
a cura.
Respuesta:
pq
q r
p r
p q (1)
q r(2)
r q
p r
Por (1) y (2) se llega a la conclusi
on Razonamiento V
alido
Soluci
on en WolframAlphaTM .
1
0
0
Matriz de la relacion :
0
0
1
0
1
0
0
1
0
0
1
0
0
0
0
1
0
0
1
0
0
1
0
1
0
0
1
0
0
1
0
0
1
0
1
0
0
1
0
0
1
0
0
0
0
1
0
0
1
0
0
1
0
1
0
0
1
0
0
1
0
0
1
0
1
0
0
1
0
0
1
0
0
0
0
1
0
0
1
0
0
1
0
1
0
0
1
Clase generica :
Cl(x) = y A; k Z/y = x 3k
Conjunto cociente :
A/R = {0, 1, 2}
(b) Considerar el conjunto B = {{a}, {b}, {c}, {a, b}, {b, c}}, ordenado por la inclusion. Hacer
el diagrama de Hasse e indicar los maximales y/o minimales
Respuesta:
{a, b}
{a}
Maximales: {{a, b}, {b, c}}
Minimales: {{a}, {b}, {c}}
{b, c}
{b}
{c}
4. Justificar al resolver. Dada la siguiente relacion de recurencia, an+1 = 4an + 5an1 . Se pide
hallar la soluci
on general y la solucion particular para a1 = 1; a2 = 2. Probar que la sucesi
on
hallada es la correcta usando induccion matematica.
Respuesta:
Soluci
on general :
Suponemos solucion de an : xn
xn+1 = 4xn + 5xn1
0 = x2 + 4x + 5
x1 = 1 ; x2 = 5
an = k1 (1)n + k2 5n
Soluci
on particular :
a1 = 1 = k1 (1) + k2 5
a2 = 2 = k1 (1)2 + k2 52
7
1
k1 = ; k2 =
6
30
Soluci
on :
1
7
an = (1)n + 5n
6
30
Prueba por inducci
on :
Paso base (3) :
7
1
a3 = (1)3 + 53 = 3 = 4 2 + 5 (1) X
6
30
Prueba por inducci
on :
Hipotesis Inductiva :
1
7
ah1 = (1)h1 + 5h1
6
30
7
1
ah = (1)h +
5h
6
30
Tesis Inductiva :
ah+1 = 4ah + 5ah1
7
1
7
1
5h ] + 5[ (1)h1 +
5h1 ]
= 4[ (1)h +
6
30
6
30
7
1
7
1
= 4 (1)h + 4 5h + 5 (1)h1 + 5
5h1
6
30
6
30
7
1
5
= 4 (1)h (1) (1) + 4
5h +
6
30
5
7
1
52
+ 5 (1)h1 (1) (1) + 5
5h1 2
6
30
5
1
h+1
4
5
5 1 5h+1
7
7
30
= 4 (1)h+1 +
+ 5 (1)h+1 + 30 2
6
5
6
5
7
1
h+1
h+1
ah+1 = (1)
+
5
X
6
30
Soluci
on en WolframAlphaTM .
1.2.
Tema 2
(c) Analizar, sin usar tablas de verdad la validez del siguiente razonamiento: Si las manos
del mayordomo est
an manchadas de sangre, entonces el mayordomo es culpable.
El mayordomo est
a impecablemente limpio.
Por lo tanto el mayordomo es inocente.
Respuesta:
pq
p
q
[(p q) (p)] q
[(p q) (p)] q
(p) q
p q
No se llega a una tautologia Razonamiento Invalido
Soluci
on en WolframAlphaTM .
2. (a) En el conjunto A = {0, 2, 4, 6, 8, 10, 12, 14} se define la relacion aRb ab = 3k, k Z.
Dar la matriz de la relaci
on. Probar que es de equivalencia, dar las clases y el conjunto
cociente
Respuesta:
1
0
1
Matriz de la relacion :
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
1
Clase generica :
Cl(x) = y A; k Z/y = x 3k
Conjunto cociente :
A/R = {0, 2, 4}
(b) Considerar el conjunto A del punto anterior, como subconjunto de N {0} ordenado por
la divisibilidad. Hacer el diagrama de Hasse e indicar los maximales y/o minimales.
Respuesta:
8
12
10
2
0
Maximales: {8, 12, 10, 14}
Minimales: {0} (Como es unico, tambien es mnimo)
14
Soluci
on general :
Suponemos solucion de an : xn
xn = 4xn1 + 5xn2
0 = x2 + 4x + 5
x1 = 1 ; x2 = 5
an = k1 (1)n + k2 5n
Soluci
on particular :
a1 = 2 = k1 (1) + k2 5
a2 = 1 = k1 (1)2 + k2 52
11
1
k1 =
; k2 =
6
30
Soluci
on :
1
11
(1)n
5n
an =
6
30
Prueba por inducci
on :
Paso base (3) :
11
1
a3 =
(1)3
53 = 6 = 4 (2) + 5 1 X
6
30
Prueba por inducci
on :
Hipotesis Inductiva :
1
11
(1)h1
5h1
ah1 =
6
30
11
1
ah =
(1)h
5h
6
30
Tesis Inductiva :
ah+1 = 4ah + 5ah1
11
1
11
1
5h ] + 5[ (1)h1
5h1 ]
= 4[ (1)h
6
30
6
30
11
1
11
1
=4
(1)h 4
5h + 5
(1)h1 5
5h1
6
30
6
30
11
1
5
= 4 (1)h (1) (1) 4
5h +
6
30
5
11
1
52
+5
(1)h1 (1) (1) 5
5h1 2
6
30
5
1
1
h+1
4
5
5 30
5h+1
11
7
30
= 4
(1)h+1
5 (1)h+1 +
6
5
6
52
11
1
ah+1 =
(1)h+1
5h+1 X
6
30
Soluci
on en WolframAlphaTM .
(c) El n
umero de subconjuntos de {, {1, }, {}} es 6
Respuesta:
Falso
#{, {1, }, {}} =3
#P =23 = 8 6= 6
2.
2.1.
Tarde
Tema 3
(b) Probar, sin usar tablas de verdad la validez del siguiente razonamiento: El n
umero x no
es m
ultiplo de 2. Si un n
umero es par, entonces es divisible por 2. Si un n
umero
es divisible por 2, entonces es m
ultiplo de 2. Por lo tanto el n
umero x no es
par.
Respuesta:
p
qr
rp
p
Una de las premisas es exactamente la generico Razonamiento V
alido
Soluci
on en WolframAlphaTM .
(b) Dar el diagrama de Hasse para la relacion S, definida en el conjunto A del tem anterior.
Se sabe que la matriz de adyacencia es M. tiene mnimo y/o maximo? Esta totalmente
ordenado?
1 0 1 1 1
0 1 1 1 1
0
0
1
1
1
M=
0 0 0 1 0
0 0 0 0 1
Respuesta:
4
5
3
No tiene mi mnimo ni m
aximo. No esta totalmente ordenado.
Soluci
on general :
0 = x2 + 4x + 3
x1 = 3 ; x2 = 1
an = k1 (3)n + k2 (1)n
Soluci
on particular :
a1 = 2 = k1 (3) + k2 (1)
a2 = 1 = k1 (3)2 + k2 (1)2
7
1
k1 = ; k2 =
2
2
Soluci
on :
1
7
an = (3)n (1)n
2
2
Prueba por inducci
on :
Paso base (3) :
7
1
a3 = (3)3 (1)3 = 10 = 4 (1) 3 2 X
2
2
Prueba por inducci
on :
Hipotesis Inductiva :
1
7
ah1 = (3)h1 (1)h1
2
2
1
7
h
ah = (3) (1)h
2
2
Tesis Inductiva :
ah+1 = 4ah 3ah1
1
7
1
7
= 4[ (3)h (1)h ] 3[ (3)h1 (1)h1 ]
2
2
2
2
1
7
1
7
h
h
h1
= 4 (3) + 4 (1) 3 (3)
+ 3 (1)h1
2
2
2
2
(3) (4) 12 (3)h
7
=
+ 4 (1)h (1) (1)+
3
2
1
h1
(3) (3) 2 (3)
7
+
+ 3 (1)h1 (1) (1)
3
2
1
1
4 30
5h+1
5 30
5h+1
11
7
= 4
(1)h+1
5 (1)h+1 +
6
5
6
52
4 1
7
1 1
7
=
(3)h+1 4 (1)h+1 +
(3)h+1 + 3 (1)h+1
3 2
2
3 2
2
1
7
ah+1 = (3)h+1 (1)h+1 X
2
2
Soluci
on en WolframAlphaTM .
2.2.
Tema 4
(b) Probar, sin usar tablas de verdad la validez del siguiente razonamiento: El n
umero x no
es m
ultiplo de 2. Si un n
umero no es divisible por 2, entonces no es par. Si
un n
umero no es m
ultiplo de 2 entonces no es par. Por lo tanto el n
umero x no
es par.
Respuesta:
p(1)
qr
p r(2)
r
Para que el v(p r) = V, sabiendo que v(p) = V (por 1), el v(r) = V Razonamiento
V
alido
Soluci
on en WolframAlphaTM .
2. (a) Sea A = {2, 4, 6, 8, 10} en AxA se define (x; y)R(z; t) x + t = y + z. Probar que es
de equivalencia, dar las clases y el conjunto cociente
Respuesta:
Reflexiva:
(x; y)R(x; y) x + y = x + y X
Simetrica:
(x; y)R(z; t)
x+t=y+z
z+y =t+x
(z; t)R(x; y) X
Transitiva:
(x; y)R(z; t) (z; t)R(a; b)
x+t=y+zz+b=t+a
t=z+ba
x + (z + b a) = y + z
x+b=y+a
(x; y)R(a; b) X
Clase generica :
Cl((x; y)) = (a; b) AxA; /x y = a b
Conjunto cociente :
AxA/R = {(2; k), (k; 2)}con k A
(b) Dar el diagrama de Hasse para la relacion S, definida en el conjunto A del tem anterior.
Se sabe que la matriz de adyacencia es M. tiene mnimo y/o maximo?. esta totalmente
ordenado?
1 0 1 1 1
0 1 1 1 1
0
0
1
1
1
M=
0 0 0 1 0
0 0 0 0 1
Respuesta:
8
10
6
No tiene mi mnimo ni m
aximo. No esta totalmente ordenado.
Soluci
on general :
0 = x2 + 4x + 3
x1 = 3 ; x2 = 1
an = k1 (3)n + k2 (1)n
Soluci
on particular :
a1 = 2 = k1 (3) + k2 (1)
a2 = 1 = k1 (3)2 + k2 (1)2
7
1
k1 = ; k2 =
2
2
Soluci
on :
1
7
an = (3)n (1)n
2
2
Prueba por inducci
on :
Paso base (3) :
7
1
a3 = (3)3 (1)3 = 10 = 4 (1) 3 2 X
2
2
Prueba por inducci
on :
Hipotesis Inductiva :
1
7
ah1 = (3)h1 (1)h1
2
2
1
7
h
ah = (3) (1)h
2
2
Tesis Inductiva :
ah+1 = 4ah 3ah1
1
7
1
7
= 4[ (3)h (1)h ] 3[ (3)h1 (1)h1 ]
2
2
2
2
1
7
1
7
h
h
h1
= 4 (3) + 4 (1) 3 (3)
+ 3 (1)h1
2
2
2
2
(3) (4) 12 (3)h
7
=
+ 4 (1)h (1) (1)+
3
2
1
h1
(3) (3) 2 (3)
7
+
+ 3 (1)h1 (1) (1)
3
2
1
1
4 30
5h+1
5 30
5h+1
11
7
= 4
(1)h+1
5 (1)h+1 +
6
5
6
52
4 1
7
1 1
7
=
(3)h+1 4 (1)h+1 +
(3)h+1 + 3 (1)h+1
3 2
2
3 2
2
1
7
ah+1 = (3)h+1 (1)h+1 X
2
2
Soluci
on en WolframAlphaTM .
(c) Hay clases de equivalencia que siendo distintas tiene elementos en com
un
Respuesta:
Falso
Supongo Cl(a) = X; Cl(b) = Y ; Comparten el elemento t, pero X 6= Y
t inX t Y
aRt bRt aRt tRb
aRb.
Si a se relaci
ona con b a X a Y . Como tome un a generico, se cumple para todos
X = Y . Absurdo.