61.

07 Matemtica Discreta

14 de octubre de 2011
1.

ndice
1. Lgica y teora de conjuntos

2. Induccin matemtica

3. Relaciones de recurrencia

4. Relaciones

5. lgebras de Boole

6. Teora de grafos

Lgica y teora de conjuntos

1.
a ) Si.
b ) Si.
c ) No.
d ) No.
e ) Si.
f ) No.
g ) Si.
h ) Si.
i ) Si.
j ) Si.

2.
a)

1) Verdadero.
2) Falso.
3) Verdadero.
4) Falso.
5) Falso.
6) Verdadero.
7) Verdadero.
b)

1) Verdadero.
2) Falso.
3) Falso.
4) Verdadero.
5) Falso.
6) Verdadero.
7) Verdadero.
8) Verdadero.
3.
a ) p=aprobar el examen

q=ser aplazado

pq
b ) p=aprobar el examen

q=ser aplazado

pYq
1

LGICA Y TEORA DE CONJUNTOS

c ) p=aprobar el examen

6.

q=estudia mucho

a)

p q

1) La informacin es suciente.

d ) p=ir al mdico

2) La informacin es suciente.

q=me siento bien

3) La informacin es insuciente.

qp

b)

v(p) = F, v(r) = F, v(s) = F

e ) p=cometi el crimen

q=pudo comprar un revolver

7. (Demostrar)

q p

8.

f ) p=viajar a Jujuy

a ) Contradiccin.

q=viajar a Salta

b ) Tautologa.

pYq

c ) Tautologa.

g ) p=t cantas

d) -

q=me duelen los odos

e ) Contingencia.

pq

f ) Tautologa.

h ) p=me llamas

g ) Tautologa.

q=ir

p q

9.

i ) p=vino

a)

q=llam

b) -

p q

c)

j ) p=con el dinero me comprar un televisor

q=con el dinero me comprar una heladera

(p q) (p q)
p q

10.

pYq

a)

k ) p=vendr maana

1) Son ambiguas.

q=hay paro de trenes

2) No son ambiguas.

q p

b ) No, no es posible.

l ) p=vienes

c ) Es contingencia.

q=te enterars de lo ocurrido

qp

11.
(p

q)

r)

q=los animales son seres vivos

pq

m ) p=las plantas son seres vivos

n ) p=esta planta orecer

a)

q=hace calor
r=riegues

(q r) ( p)
4. Rodrigo y Fernando.

b) -

5.
12.
a ) Antecedente: si te acompa. Consecuente: vin-

iste a buscarme.

a)

b ) Antecedente: vens a buscarme. Consecuente: te

acompaar.
c ) Antecedente: estudias. Consecuente: aprobars el

examen.
d ) Antecedente: te comprs un auto. Consecuente:

tens dinero.
e ) Antecedente: te sents mal. Consecuente: no vas

a trabajar.
f ) Antecedente: cants. Consecuente: sers feliz.

1) -

V
I

LGICA Y TEORA DE CONJUNTOS

2) b) -

13.
a ) p(x)=x

es

un

mamfero,

b)

x(q(x) r(x)) s(x)

c)

x(q(x) s(x))

d)

x(s(x) r(x))

e)

x(t(x) q(x) r(x))

dom(p)=animales,

a=ballena.

16. (Demostrar).

p(a)

17.

b ) p(x)=x sabe volar, dom(p)=aves.

a ) Verdadero.

x( p(x))

b ) Falso.

c ) p(x)=x puede hacer eso, dom(p)=personas.

c ) Verdadero.

x(p(x))

d ) Falso.

d ) p(x)=x es callada, dom(p)=personas.

e ) Falso.

x( p(x)) x(p(x))

f ) Falso.

e ) p(x,y)=x es mayor que y, dom(p)=enteros.

x y p(x, y)
f ) p(x)=x

slo

g ) Falso.

vuela

de

da,

h ) Verdadero.

dom(p)=animales,

a=mariposa.
18.

p(a)
g ) p(x)=x

estudia

matemtica,

dom(p)=nietos

de

Mara.

x(p(x))
h ) p(x)=x llega a Buenos Aires, q(x)=x viene de Mx-

continua,

b)

x (x > x).

c)

x (x 1 x > 0).

e)

x(p(x)) x(q(x))
es

x (x2 > x).

d)

ico, dom(p)=dom(q)=aviones.

i ) p(x)=x

a)

q(x)=x

tiene

f)

derivada,

dom(p)=dom(q)=funciones

Falso.
Verdadero.
Verdadero.

x y (x < y x < y 2 ).
2

x y (x < y x < y ).

Falso.
Falso.

Verdadero.

Verdadero.

x y (x y ).

g)

x y (x y ).

a)

x y (q(x) p(x, y) q(y))

b)

x y ( q(x) p(x, y))

c)

x y (p(x, y) q(x))

x (p(x) q(x))
j ) p(x,y)=x es ms pesado que y, dom(p)=animales,

19.

a=elefantes, b=ratones

p(a, b)
k ) p(x)=a Mara le gusta x, dom(p)=animales

x (p(x)) p(reptiles)
l ) p(x)=x

tiene

abuelo,

q(x)=x

es

abuelo,

dom(p)=dom(q)=personas

20. 21.

x(p(x)) x(q(x))
a ) (Demostrar).

m ) p(x,y)=x es ms juguetn que y, dom(p)=animales

b ) El universo es distinto.

p(perros, gatos) x(p(x, gatos))

c ) i no es la negacin de j. j es la negacin de l.

n ) p(x)=x slo tiene ores en primavera y en verano,

dom(p)=plantas

d)

x(p(x))

1)

) p(x)=x slo se conseguir em 2020, dom(p)=libros

2)

x(p(x))

3)
4)

14.

5)
a ) Verdadero.
b ) Verdadaero.

6)

22.

c ) Falso.
d ) Verdadero.

a ) a=5,10,15,20,25
b ) a=5,7,11,15,23

15.

c ) a={a,b},{a,c},{a,d},{e,b},{b}
a)

x(q(x)) p(x)

d ) No existe

tal que

a A.

RELACIONES DE RECURRENCIA

3.

e ) a={1,2,4,6,10}

1 1 1 1 1
f ) a={ , , , ,
2 4 6 8 10 }

1.

23.

Relaciones de recurrencia

An = A0 1, 13n

2.
a ) Verdadero.
b ) Verdadero.
c ) Falso.
d ) Verdadero.

24.

a)

Pn = n!

donde

P0 = 1, P1 = 1.

b)

donde

S0 = 1, S1 = 2.

Sn = 2

3.

dn = dn1 + n 2

4.

Cn = Cn1 + Cn2

n 4,

con

con

donde

n 1,

d4 = 2, d5 = 5.

donde

C1 = 1, C2 = 2.

5.
a)

S0 = 1
S1 = 3
S2 = 8

b)

Sn = 2 Sn1 + 2 Sn2

f ) Falso.

a)

Sn = (2)n

g ) Verdadero.

b)

Sn = 12 (2)n

c)

Sn =

d)

an =

e)

an = n 3

a ) Falso.
b ) Verdadero.
c ) Verdadero.
d ) Verdadero.

6.

e ) Falso.

25. (Demostrar).
26. (Demostrar).

1
n
2 3
1 n
42

1
2

(3)n

f) -

27.

g) -

a ) Falso.

h)

b) c ) Verdadero.

an =

r


1+ 2
3

2n +


2 2
3

8.

e ) Falso.

dn =

1
2

n2

3
2

9. -

f) -

10.

28. (Demostrar).

Induccin matemtica

1. (Demostrar).
2. (Demostrar).
3. (Demostrar).
4.
a)

n4

b)

n6

a)

an = 6 2n 5

b)

an =

c)

an = 3 + n 2n2 + n

d)

an = 2n + n 2n1

e)

an =

f)
g)

an = (2)n + (2)n3 (5n2 11n)

an = 45 14 (1)n 21 sin 2 n

h)

5
n 43 )
sn = k1 + k2 n + k3 n2 + n3 ( 24

i)

an = 3n (2 +

j)

5. (Demostrar).

l)

3
4

3
4

1
4
3

5n + n2 + 2n

(1)n

4
5

17
18

(2)n +

n+

7
18

1
20

an = 5n! 2 n! n 3n!
an =

3n + 2n + 4n + 6

m) -

6.
11.

a ) (Demostrar).

es par,

impar.

p(n)

es impar. Si

es impar,

p(n)

es

a ) (Demostrar).
b)

1
4,

3n

n2 ) + 3 2n

k) -

b ) Si

(1)n

7. -

d) -

2.

A0 = $1000

donde

= 1, f (n) = 4 (2)n

RELACIONES

12.

b = 8, c = 7

6.

13.

a) a)

P
b ) an
c)

b) -

=1
=

61
n

an = 3 +

1
6

7. (Demostrar).

(4)n

14.

c 6= 0 (b = 2 b = 1)

15.

= 4, = 4, aP
n =

1
8

1
6

2n

8.
a ) Es de equivalencia.

n2 2n

b ) No es de equivalencia.

16.

4.

R/ = {0, 1, 2}

c ) No es de equivalencia.
a)

= 5

d ) No es de equivalencia.

b)

an = n2 n + k1 4n + k2

e ) Es de equivalencia.

c)

an = n2 n

1
3

4n +

4
3

R/ = {0, 1, 2}

9. Es de equivalencia.
10. -

Relaciones

11. (Demostrar).
Reexiva

Simtrica

Antisimtrica

Transitiva
12.

Si

b
1.

Si

Si

Si

Si

Si

Si

Simtrica

Antisimtrica

Transitiva

Si

Si

Si

Si

Si

Si

b)

0 = {3, 6, 9, 12, ...}

1 = {2, 5, 8, 11, ...}

c ) No hay ms clases de equivalencia.

Si

Si
Si

Si

14.

Si

Si

Si

a ) (Demostrar).

Si

b) -

3.

15.
a)

Hay innitas clases de equivalencia.

a ) (Demostrar).

Si

a
= {+a, a}.

13.

Si
Reexiva

b)

Si

Si

2.

a ) (Demostrar).

Si

{(1, 1), (1, 2), (3, 2), (2, 2), (3, 3), (2, 1), (2, 3), (1, 3), (3, 1)}

b) -

4.

[a] = {a, 1 a}
Cardinal 1:

{a < : a = 1 a} = { 21 }

Cardinal 2:

{a < : a > 21 }

16. (Demostrar).

= {x Q : z Z : x =

17.

a ) Falsa.
b ) Falsa.

a ) (Demostrar).

c) d ) Verdadero. Con

2
3

b)

es falsa.

e ) Falsa.
f ) Verdadero.

(0,0) = {(a, b) <2 : |2a + b| = 0}

(1,0) = {(a, b) <2 : |2a + b| = |2|}
(2,3) = {(a, b) <2 : |2a + b| = |7|}

c) -

g ) Falsa.
h ) Falsa.

18. Es de equivalencia.
19.

5.

a ) (Demostrar).

a ) (Demostrar).

b) -

b ) (Demostrar).
c ) (Demostrar).

20.

R/ = {0, 1}

2+h
3 }

RELACIONES

a) b ) Orden total.
c ) Orden total.

c)

{(2, 5)}. Supremo: {(2, 5)}. Mximo:

{(2, 5)} Cota inferior: {(1, 1)}. nmo: {(1, 1)}. Mnimo: {(1, 1)}

Cota superior:

24.
a ) (Demostrar).
b ) No.

d ) Orden parcial.

. Supremo: 6 . Mximo: 6 . Cota

{(1, 1)}. nmo: {(1, 1)}. Mnimo: {(1, 1)}

c ) Cota superior:

inferior:
25.

a ) (Demostrar).

21.

R = {(1, 1), (1, 2), (2, 2), (1, 3), (3, 3), (1, 4), (4, 4)}.

Es de

orden parcial.
22.
a ) (Demostrar). Es de orden parcial.

b)

{10, 9}. Minimales: {0, 1}

superior: {8, 10}. Supremo: {8}. Mximo:

1) Maximales:
2) Cota

b)

{8}
3) Cota inferior:

nmo:

6 .

Mnimo:

{1}

a)

R = {(1, 1), (2, 2), (3, 3), (4, 4), (1, 4), (2, 4), (3, 4), (1, 3), (2,

b)

R = {(2, 2), (4, 4), (1, 1), (3, 3), (2, 3), (4, 3), (1, 3), (2, 1), (4,

26.

23.
a ) (Demostrar).
b ) No.

c)

27.

LGEBRAS DE BOOLE

5.

lgebras de Boole

1.

a)

a)

a+c

b)

a+c

c)

y(z + x
) + wz + x

d)

d + ac + a
b + a
c

e)

ab(
cc + cn + d) + d

f)

x
+ yz

2.
a ) (Demostrar).

b)

b ) (Demostrar).

28.

c ) (Demostrar).
d ) (Demostrar).

a) b) -

3.

29.

a ) Verdadera.

a)

b)

1
0

M (R) =
0
0
0

1
0

M (R) =
0
0
0

1
1
0
0
0

1
0
1
0
0

1
0
0
1
0

1
0
0
0
1

1
1
0
0
0

1
0
1
0
0

1
1
0
1
0

1
0
1
0
1

b ) Falsa.

c ) Verdadera.

4.
a)

f (x, y, z) = x
z + x
y+x
z + yz

b ) La suma de los minitrminos de una funcin es

equivalente al producto de los maxitrminos que no

aparecen en la SP.
5.

AB + AB

30.

SP
a ) Cota superior: {e,d}

Cota inferior: {a,b,c}

Mxima cota inferior: {c}

6.

Mnima cota superior: {d}

b ) Cota superior: {d,e,f}

Cota inferior: {a,b,c}

Mxima cota inferior: {c}

f (a, b, c) = a + c
f (a, b, c) = a + bc
f (w, x, y, z) = x + y + xyz + wz
f (a, b, cd) = d + ac + a
b + a
c
f (a, b, c, d) = ab(
cc + cn + d) + d
f (x, y, z) = x
+ yz

abc + ab
c
abc + ab
c + abc + ab
c+a
b

7.

Mnima cota superior: {d}

a ) i.

c ) Cota superior: {h,g,i,f}

b) -

Cota inferior: {a,b,c,d,e}

Mxima cota inferior: {c}

8.

Mnima cota superior: {f}

a ) Falso.

d ) Cota superior: {b,d,e,h,g,f,i,j}

Cota inferior:

b ) Falso.

Mxima cota inferior:

c ) Falso.

d ) Verdadero.

Mnima cota superior: {b}

9.

31.
a ) Es simtrica.
b ) Es antisimtrica y transitiva.
c ) Es reexiva y simtrica.

a)

b)

P
f (x, y, w, z) =
m(3, 5, 7, 9, 11, 13, 14, 15) = z(x +
y + w)
P
f (a, b, c, d) = m(0, 3, 6, 9, 12, 15) = a
bcd + abcd +

a
b
cd + ab
cd

TEORA DE GRAFOS

c) -

16. -

d)

17.
1) 2)
3)

a ) (Demostrar).

P
f (A, B, C) = m(0, 1, 2, 3, 4, 5, 6)
f (A, B, C) = c + b + a
bc

b ) (Demostrar).

4) -

c ) (Demostrar).
d ) (Demostrar).

10.

e ) (Demostrar).
a ) No.

f ) (Demostrar).

b ) No.

11.

g ) (Demostrar).

+ a b c d a b c d
a
A
b
B
c
C
d
D

a)

h ) (Demostrar).

18.

a ) Cardinal: 32

b) -

a
Elemento unidad: d
tomos: b, c

c ) (Demostrar).

Elemento neutro:

19. -

2n

20. Pueden denirse

isomorsmos.

b) -

21. (Demostrar).
12.

22.
a ) (Demostrar).

a)

b ) (Demostrar).

f (1) = c

b ) tomos: a,b

c ) (Demostrar).

c) -

d ) (Demostrar).
e ) (Demostrar).

6.

Teora de grafos

13.
1.
a)

(x, y, w, z) = (
z , 0, 1, z)

b)

(x, y, z) = (1, 0, 1)

c)

(x, y, w, z) = (y, y, y, y)

a)

b)

14.
a) -

gr

gr

v1

v2

v3

v4

v5

v1

v2

v3

v4

v5

v6

2.

b ) 0:

1:

1,
0 = 30
=0
30, 1

a)

c ) (Demostrar).

v1

v2

v3

v4

gr+

gr-

d) e) -

b)

f ) tomos: 1,2,3,5

15.

v1

v2

v3

v4

v5

v6

gr+

gr-

3.

a)

a ) Es posible.
b ) No es posible.
c ) Es posible.
d ) Es posible.

b) -

e ) No es posible.

c) -

f ) Es posible.

TEORA DE GRAFOS

g ) No es posible.

c ) No es euleriano porque hay 4 vrtices de grado im-

par.

h ) Es posible.

d ) No es euleriano.

4. No es posible.

e) -

5. -

f ) Circuito de Euler.

6. -

g ) Circuito de Euler.
h ) Camino de Euler.

7. (Demostrar).
15.

8. (Demostrar).

K(n)

tiene un circuito de Euler para

impar.

16.

9.

a ) No contiene circuito de Hamilton.

b ) Circuito de Hamilton.
c ) No contiene circuito de Hamilton.

17.
a)
b)

n1

c)

an = an1 + n 1

d)

an = 21 n(n 1) =

a) b) -

Pn

i=1

c) -

gr(vi )

10.
d)

a)

e)

b)

0
2

MA =
1
0
0

1
1

MI =
0
0
0

0
1

0
MA =
1

1
0

1
0

0
MI =
0

1
0

f) c)

g) h) -

11. -

i) -

12. -

j) -

13.

k) a ) No.

18.

b) a) -

14.

b) a ) Camino de Euler.

c) -

b ) Camino de Euler.

d) -

2
0
2
1
0
1
1
0
0
0

1
2
0
0
1
0
1
1
0
0

0
1
0
0
1
0
1
1
0
0

0
0
1
1
0
0
1
0
0
0

1
0
0
1
0
0
1
1
0
0
0
0

0
0
0
1
0
0
0
1
0
1
0
0

1
1
1
0
0
1
1
0
0
1
0
0

1
0
0
0
0
1
0
0
1
1
0
0

0
0
0
1
1
0
0
0
0
1
0
1

0
0
1
0
1

0
0
0
1
1

1
0
1
1
0

0
0
0
0
1
1

TEORA DE GRAFOS

10

gr(vi )

e) -

e)

f) -

f ) Si.

g) -

26.

h) -

19.
a) b) c) -

20.
a) a)

b) c) -

21. (Demostrar).
22.
a ) Hay 5 caminos.

b)

27.

b)

a)
b) -

23.

24.
28.

25.
a ) Tiene un vrtice aislado.
b)

gr(vi )

c ) No.
d ) Tiene un vrtice aislado.

29. 30.
a)

f (a) = 1
f (b) = 3

TEORA DE GRAFOS

11

De

f (c) = 5

s
a

f (d) = 7

a...

La distancia es...
3

f (e) = 2

f (f ) = 4

e
f

f (g) = 6

g
h

b ) No se puede.

i
j
31.
33.
a) b) -

34.
a) b) c) -

a)

d) -

35. Ruta ms rpida: A-E-C-H-D-I

36.

b)

a)

c)
b)

32.

c ) De A a B: A-E-C-D-B

De B a A: B-F-D-C-E-A
d) -

a ) Camino mnimo: s-b-g-t

De

a...

La distancia es...

12

13

b ) Camino mnimo: s-c-f-e-t

37.

a)

TEORA DE GRAFOS

12

46. Costo: 23 millones de pesos.

b)

47.

38.
39.

V1 = 18
V2 = 36
A2 = 35

40.

a)

V1 = 47

a)

b ) 11 rboles.
c)

a=vc

d ) Siendo

c la cantidad de componentes conexas, c 1.

41.
42. b)

43.

a ) 102 aristas y 69 hojas.

b ) 433 vrtices internos.

44. 45.

a) -

c)

b) c) d) -

48.

TEORA DE GRAFOS

a)

b)
c) -

49. Es una red.

13