Matemtica Discreta

Solucin Primer Parcial

Licenciatura en Informtica
Ingeniera en Informtica
Fecha: 02/06/2012
Total: 100 puntos - Mnimo de aprobacin: 40 puntos
Duracin: 3 horas - sin material de consulta

Ejercicio 1 (26 puntos)

Dado el conjunto universal U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, se definen los siguientes conjuntos:
A = { xU | (x es par) y (x 4) }
a)

B = { xU | (x es par) y (x 4) }

Calcule cada uno de los siguientes conjuntos, expresando el resultado tanto por extensin
como por comprensin: (A B), (A B), (A B), (A B).

Solucin:
A B = { 0, 2, 4, 6, 8, 10 } = { xU | x es par }
A B = { 4 } = { xU | x = 4 }
A B = { 0, 2 } = { xU | (x = 0) o (x = 2) }
A B = { 0, 2, 6, 8, 10 } = { xU | (x es par) y (x 4) }
b)

Dadas las siguientes funciones: f : P(A) U / f (c) = | c |, g : A x A U / g (x,y) = x + y, exprese

cada una de ellas en forma de conjunto definido por extensin y tambin en forma de conjunto
definido por comprensin.

Solucin:
f = { (, 0), ({0}, 1), ({2}, 1), ({4}, 1), ({0,2}, 2), ({0,4}, 2), ({2,4}, 2), ({0,2,4}, 3) }
f = { (c,n) P(A) x U | n = | c | }
g = { (0,0,0), (0,2,2), (0,4,4), (2,0,2), (2,2,4), (2,4,6), (4,0,4), (4,2,6), (4,4,8) }
g = { (x,y,z) U x U x U | z = x + y }
c)

Indique si las funciones f y g cumplen o no cada una de las siguientes propiedades: total,
inyectiva, sobreyectiva. Justifique adecuadamente cada una de sus respuestas.

Solucin:
Propiedades de la funcin f:
f es total ya que sus ocho elementos (los conjuntos que forman P(A)) tienen imagen.
f no es inyectiva ya que hay al menos dos elementos con la misma imagen. Por ejemplo:
f ({0}) = 1 y f ({2}) = 1.
f no es sobrectiva ya que hay al menos un elemento del codominio (U) sin preimagen en f.
Por ejemplo: 5 U, pero no tiene preimagen en f.
Propiedades de la funcin g:
g es total ya que sus nueve elementos (los pares ordenados que forman AxA) tienen imagen.
g no es inyectiva ya que hay al menos dos elementos con la misma imagen. Por ejemplo:
g (0,4) = 4 y g (2,2) = 4.
g no es sobrectiva ya que hay al menos un elemento del codominio (U) sin preimagen en
g. Por ejemplo: 10 U, pero no tiene preimagen en g.

Este material es de uso exclusivo para los cursos impartidos por Universidad de la Empresa

Matemtica Discreta Solucin Primer Parcial 2012

Ejercicio 2 (32 puntos)

Dada la siguiente relacin: R = { (x,y) N x N | y = 2x 3 }
a)

Cuntos elementos tiene R? Escriba cinco de los elementos pertenecientes a la relacin.

Solucin:
R tiene una cantidad infinita de elementos. Por ejemplo: (2,1), (3,3), (4,5), (5,7), (6,9)
b)

Indique si la relacin R cumple o no cada una de las siguientes propiedades: reflexiva,

simtrica, antisimtrica, transitiva. En caso afirmativo, demustrela. En caso negativo,
proponga un contraejemplo concreto y justifique.

Solucin:
R no es reflexiva.
Contraejemplo: (0,0) R, ya que 0 2x0 3.
R no es simtrica.
Contraejemplo: (4,5) R, ya que 5 = 2x4 3. Sin embargo, (5,4) R, ya que 4 2x5 3.
R es antisimtrica.
Hiptesis: (x,y) R, (y,x) R

Tesis: x = y

Demostracin:
Por hiptesis, sabemos que (x,y) R y = 2x 3 (por definicin de R) y 2x = -3.

(1)

Por hiptesis, sabemos que (y,x) R x = 2y 3 (por definicin de R) x 2y = -3.

(2)

Igualando (1) con (2) tenemos que x 2y = y 2x x + 2x = y + 2y x = y.

R no es transitiva.
Contraejemplo: (4,5) R, ya que 5 = 2x4 3. (5,7) R, ya que 7 = 2x5 3.
Sin embargo, (4,7) R, ya que 7 2x4 3.
c)

Pruebe que R es una funcin y escrbala en notacin prefija. Indique cul es su dominio,
codominio, preimagen, imagen.

Solucin:
R es una funcin. Cada natural tiene un nico doble. Si le restamos 3 al doble, el resultado
sigue siendo nico. Es decir que dado xN, existe un nico y tal que y = 2x 3.
En notacin prefija queda: R : N N / R(x) = 2x 3.

d)

Dominio (R) = N

Preimagen (R) = { xN | x 2 }

Codominio (R) = N

Imagen (R) = { yN | y es impar }

Indique si la funcin R cumple o no cada una de las siguientes propiedades: total, inyectiva,
sobreyectiva. En caso afirmativo, demustrela. En caso negativo, proponga un contraejemplo
concreto y justifique.

Solucin:
R no es total.
Contraejemplo: 1 Preimagen (R), ya que 2x1 3 = -1 N.
Este material es de uso exclusivo para los cursos impartidos por Universidad de la Empresa

Matemtica Discreta Solucin Primer Parcial 2012

R es inyectiva.
Hiptesis: x1 x2

Tesis: R (x1) R (x2).

Demostracin:
Por absurdo, supongamos que R (x1) = R (x2) 2x1 3 = 2x2 3 (por definicin de R)
2x1 = 2x2 x1 = x2, lo cual es absurdo ya que, por hiptesis, x1 x2.
R no es sobreyectiva.
Contraejemplo: 2 Imagen (R), ya que es un nmero par.
e)

Calcule la funcin (R o R), expresando el resultado tanto en notacin prefija como en forma de
conjunto definido por comprensin.

Solucin:
Por definicin de funcin compuesta, tenemos que (R o R) (x) = R (R (x)) = 2 (2x 3) 3 = 4x 9.
En notacin prefija queda: (R o R) : N N / R(x) = 4x 9.
En forma de conjunto queda: (R o R) = { (x,y) N x N | y = 4x 9 }.

Ejercicio 3 (24 puntos)

Sean PROP y PROP dos proposiciones tales que |= y |= . Para cada una de
las siguientes afirmaciones, indique si es correcta o no. En caso afirmativo, demustrela. En caso
negativo, proponga un contraejemplo concreto y justifique.
a)

|= .

Afirmacin INCORRECTA

Solucin:
Hiptesis: |= y |= .
Tesis: |= .
Contraejemplo:
Tomemos = y

= p. Sea v una valuacin tal que v (p) = 0. Sabemos que v () = 0.

Se verifica |= ya que v ( ) = v ( ) = 1 v () = 1 0 = 1.
Se verifica |= ya que v ( ) = v ( p) = max {1 v (), v (p)} = max {1 0, 0} = 1.
Sin embargo, no se verifica |= ya que v (p) = 0.

b)

|= .

Afirmacin INCORRECTA

Solucin:
Hiptesis: |= y |= .
Tesis: |= .
Contraejemplo:
Tomemos = y

= p. Sea v una valuacin tal que v (p) = 1. Sabemos que v () = 0.

Se verifica |= ya que v ( ) = v ( ) = 1 v () = 1 0 = 1.
Se verifica |= ya que v ( ) = v ( p) = max {1 v (), v (p)} = max {1 0, 1} = 1.
Sin embargo, no se verifica |= ya que v ( p) = 1 v (p) = 1 1 = 0.
Este material es de uso exclusivo para los cursos impartidos por Universidad de la Empresa y asociados

Matemtica Discreta Solucin Primer Parcial 2012

c)

|= .

Afirmacin CORRECTA

Solucin:
Hiptesis: |= y |= .
Tesis: |= .
Demostracin:
Sea v una valuacin cualquiera. Por hiptesis, sabemos que |= . Entonces, por definicin
de tautologa, v ( ) = 1. Por lo tanto, 1 v () = 1 de donde v () = 0. Por lo tanto, no existe
ninguna valuacin v tal que v () = 1 y por definicin de consecuencia lgica se cumple |= .
d)

|= .

Afirmacin INCORRECTA

Solucin:
Hiptesis: |= y |= .
Tesis: |=

Contraejemplo:
Tomemos = y

= p. Sea v una valuacin tal que v (p) = 1. En la parte (b) vimos que se
verifica |= y tambin que |= . Sin embargo, no se verifica |= ya que v (p) = 1, pero
v () = 0 y por lo tanto no se cumple la definicin de consecuencia lgica.

Ejercicio 4 (18 puntos)

La adorable mam de Jaimito le dijo un da a su hijo la siguiente frase: Si te comes los bombones,
entonces tendrs que vrtelas con la chancleta.
a)

Considerando las siguientes letras proposicionales p, q tales que p = comerse los bombones
y q = tener que vrselas con la chancleta, traduzca a PROP la frase de la mam de Jaimito
junto con las siguientes frases:
1. Si no se comi los bombones, entonces no tuvo que vrselas con la chancleta.
2. Si no tuvo que vrselas con la chancleta, entonces no se comi los bombones.

Solucin:
Frase de mam: p q
b)

Frase 1:

p q

Frase 2: q p

Asumiendo que la frase de la mam de Jaimito es verdadera, indique si cada una de las dos
frases de la parte anterior es verdadera o no. Hgalo aplicando la definicin de consecuencia
lgica y justificando adecuadamente.

Solucin:
2

Dado que contamos con dos letras proposicionales (p y q), existen 2 = 4 valuaciones
posibles, por lo que podemos construir la siguiente tabla de verdad:
p

0
0
1
1

0
1
0
1

1
1
0
0

1
0
1
0

pq
1
1
0
1

p q

q p

1
0
1
1

1
1
0
1

Este material es de uso exclusivo para los cursos impartidos por Universidad de la Empresa

Matemtica Discreta Solucin Primer Parcial 2012

La frase 1 no siempre es verdadera cuando la frase de la mam de Jaimito lo es. Observamos

que en la segunda valuacin se cumple que v(p q) = 1, pero v( p q) = 0. Por lo tanto,
no se cumple que (p q) |= ( p q).
La frase 2 siempre es verdadera cuando la frase de la mam de Jaimito lo es. Observamos
que en las tres valuaciones donde v(p q) = 1, tambin se cumple que v( q p) = 1. Por
lo tanto, se cumple que (p q) |= ( q p).

Este material es de uso exclusivo para los cursos impartidos por Universidad de la Empresa y asociados