Está en la página 1de 3

Lista 1 de Matematicas Discretas

Ivan Giovanny Mosso Garca


IPN-ESCOM

Instrucciones.- Entregar las soluciones a todos los problemas a mas tardar el miercoles 31 de agosto
antes de comenzar la clase. Entregar en equipos de 4, 5, 6 o 7 personas. Utilizar hojas de reciclaje o
escribir por ambos lados. Puede ser entregada a mano o en pdf generado con LATEXColocar los nombres
de todos los integrantes en la mitad superior de la primera hoja.

1. Escriba la representacion simbolica en logica proposicional de los siguientes enunciados definiendo


a las proposiciones atomicas componentes

a) Te dan miedo las motanas rusas y el carrusel.


b) Seguro paso Matematicas Discretas o Calculo.
c) Siempre que llueve me quedo en casa.
d ) Para vencer la ingnorancia necesito tener conocimiento.
e) Es sufiente laverse los dientes tres veces al da para no tener caries.
f ) Quiero escuchar a Grimes pero no podre ir al Corona Capital.
g) Te acompano al cine si y solo si no vemos una comedia romantica.
h) Si no publica tonterias en facebook, publica fotos ridiculas en snapchat.
i ) La app no es gratuita, a menos que sea Android.

2. Sean p, q, r proposiciones. Dibuje la tabla de verdad de las siguientes proposiciones compuestas.


a) (p q) r.
b) (q p) [p (p q)].
c) [(q r) p] [p (r q)].

3. Sean p, q, r proposiciones. De un contraejemplo que refute las siguientes proposiciones.


a) Si p r q r, entonces p q.
b) Si p r q r, entonces p q.
4. Sean p, q, r proposiciones, T una tautologa y F una contradiccion. Complete las siguientes demos-
traciones.
a) Si p q, entonces p q.
Demostracion.- Supongamos que .
Tenemos que p q. 
b) Si p r q r y p r q r, entonces p q.
Demostracion.- Supongamos que y que .
Tenemos que p p (r r) (q r) (p r)
T (pr)
(q p) (q r) [q ] q (q p) .


1
2

5. Formule una expresion en lenguajen de proposiciones del siguiente problema y use algebra de pro-
posiciones para reducir la expresion lo mas que pueda.
Suponga que es consultor de sistemas y uno de sus clientes quiere que en su sitio de internet cree
un club virtual para los usuarios registrados. El sitio conoce de los usuarios su edad, su genero y su
domicilio, entre otros datos.
El usuario le da una carta especificando a quienes de los usuarios se les permitira el acceso a la club
virtual pero lo redacta de la siguiente forma.
Se les permitira el acceso al los usuarios que cumplan con al menos una de las dos primeras y sin
excepcion la tercera de las siguientes condiciones:
a) Es hombre o mayor de edad.
b) No vive en la Ciudad de Mexico y es mayor de edad.
c) No es hombre menor de edad.
Utilice las proposiciones p =El usuario es hombre, q =El usuario vive en la Ciudad de Mexico,
r =El usuario es mayor de edad y r =El usuario es menor de edad.

6. Sean p y q proposiciones. Llamamos disyuncion exclusiva de p con q a la proposicion que es verdadera


cuando solo una de ellas es verdadera y la denotamos por p Y q. Entonces tenemos la siguiente tabla
de verdad:
p q pYq
V V F
V F V
F V V
F F F

a) Pruebe, por definicion, que p Y q (p q) (p q). A esta equivalencia le llamaremos


equivalencia de la disyuncion exclusiva.
b) Sea r una proposicion. Pruebe, utilizando equivalencias conocidas y el inciso anterior, que
tenemos la propiedad conmutativa p Y q q Y p.

7. Sean p, q, r proposiciones y T una tautologa. Demuestre las siguientes equivalencias. No utilice


tablas de verdad, use las equivalencias ya demostradas en clase y/o las del punto 5 esta lista.
a) p q (p q)
b) p q (p q) (p q)
c) (p q) r (p r) (q r)
d ) p Y q (p q)
e) p (q r) (p q) (p r)
f ) r [(p q) (p q)] T
g) (p q r) (p q r) (p q r) (p q r) r
h) (p q r) (p q r) (p q r) (p q r) (p r) (q r)
8. Sean p, q, r, s, t proposiciones. Para cada una de las siguientes proposiciones, determine las asigna-
ciones de valores de las proposiciones atomicas que muestre que la proposicion compuesta puede
ser verdadera. Evite calcular toda la tabla de verdad.

a) (p (p q))
b) (p q) [p (q p)]
c) {[(p p) (q q)] [q (r r)]} h(s t) {[t (s s)] t}i

IPN-ESCOM IGMG
3

9. Sean p, q, r, s proposiciones. Para cada una de las siguientes proposiciones, determine las asignaciones
de valores de las proposiciones atomicas que muestre que la proposicion compuesta puede ser falsa.
Evite calcular toda la tabla de verdad.
a) (p p) (p q)
b) [p Y (p q)] (p q)
c) {[p (q r)] [r (q s)]} h{[(q s) (q s)] r} pi
10. Determine para cada uno de los sigueintes enunciados, si son equivalentes al enunciado Lloro si y
solo si ro. Justifique cada respuesta.
a) Si no ro entonces no lloro, y, si no lloro entonces no ro.
b) Lloro y ro, o, no lloro y no ro.
c) No ro y no lloro, o lloro o ro.
d ) No lloro o ro, y, lloro o no ro.
e) No es el caso que: lloro y no ro; y no es el caso que: ro y no lloro.

11. Escriba los enunciados que corresponden a la contrapositiva, la recproca y la inversa de las siguientes
implicaciones.
a) Si no hay senal, entonces no puedo hacer llamadas.
b) Me quedo en tu fiesta, solo si pones la del Piki.
c) Consigo nuevos pokemones, siempre que voy a la friky plaza.
d ) Es necesario aplicarle un filtro a mi selfie, para no se noten ni mis barritos, ni mis cicatrices.
e) Siempre que como con los compaches o con los gueros, termino satisfecho.

IPN-ESCOM IGMG