Está en la página 1de 2

Lista 2 de Matematicas Discretas

Ivan Giovanny Mosso Garca


IPN-ESCOM

Instrucciones.- Entregar las soluciones a todos los problemas a mas tardar el miercoles 14 de sep-
tiembre 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. De cada inciso que puede concluir de las premisas? Si logro concluir algo, mencione la regla de
inferencia que modela su razonamiento.
a) Luis ira a las luchas o al juego. No fue al juego.
b) Si no consigo el primer lugar, me retiro del karate. No me retire del karate.
c) Es necesario llevar el acta de nacimiento para tramitar la crencial de elector. Es necesario
tramitar la credencial de elector para ejercer el voto.
d ) Si no consigues trabajo en esta semana, tendras que empenar tu coleccion del Cruz Azul.
Conseguiste trabajo esta semana.
2. Sean p, q, r, s proposiciones. Demestre las siguientes inferencias manera de directa y de manera
indirecta.
a) [p (p q)] (q r) r
b) [p (q r)] (q p) p r.
c) (p q) (r s) (p r) s q.
d ) (p q) (q r) (r s) (p s) s.
e) (p q) (r s) (r t) (t u) (p v) (s u) v
f ) (p q) (r q) (r r) (p s) u s
3. Sean p, q, r proposiciones. De un cotraejemplo que refute las siguientes proposiciones.
a) Si p q, entonces p r q r
b) Si p r q r, entonces p q.
c) Si p r q r, entonces p q.
4. Sean p, q, r proposiciones. Complete las demostraciones de las siguientes proposiciones.
a) Si p q, entonces q r p r. Demostracion.- Supongamos . Luego q .
Entonces . As pr 
b) p q ssi p q y p q. Demostracion.- Tenemos que ssi y ssi
pq y 
c) Si p q, entonces q r p r. Demostracion.- . Tenemos que , luego
q , finalmente . 

5. Dadas las siguientes premisas Todo el que sabe logica, ha escuchado de Aristoteles y Russell. Todo
el que ha escuchado de Aristoteles y Russell, ha escuchado de Frege. Pepe sabe logica, Luis ha
escuchado de Russell y Marco ha escuchado de Frege Cual de las siguientes conclusiones es la
unica que se sigue?

1
2

Marco sabe logica, Pepe ha escuchado de Frege y Luis no ha escuchado de Frege.


Si Luis ha escuchado de Aristoteles, entonces ha escuchado de Frege; o Marco no ha escuchado
de Frege.
Si Marco no sabe logica, entonces Marco no ha escuchado de Frege; y Luis no ha escuchado
de Russell.
Marco ha escuchado de Aristoteles y Pepe ha escuchado de Russell y Frege.
Luis no ha escuchado de Frege o Pepe no ha escuchado de Russell.
Justifique su respuesta modelando la inferencia y demostrandola.
6. Dada la premisa Si canto y bailo, entonces me canso. Cual premisa debe agregarse para que se
infiera Si bailo entonces me canso?.
Canto o bailo.
No es el caso que: no canto o bailo.
No canto o no bailo.
No es el caso que: canto y bailo.
No canto o bailo.
7. Sea DVx,y,z los numeros naturales 1, 2, 3, 6. Cuales son los valores que hacen verdaderas a las
siguientes proposiciones?
y
a) Si x y, entonces x es entero.
x
b) y 6= 1 o xy < 4.
c) x + y > 3 si y solo si x > 3 y.
d ) Es necesario que x > 3 para que x2 6.
e) x + y + z = 6, x z y y z.
8. Para los siguientes enunciados considere un DV irrestricto, identifique las proposiciones atomicas
y escriba la representacion simbolica mas adecuada. Para cada inciso comienze a nombrar a las
proposiciones a partir de p, a las variables a partir x y a las constantes a partir a.
a) Nada es mas fuerte que el amor, excepto Goku.
b) Cada da algun alumno llega tarde.
c) Arbol que nace torcido jamas su tronco endereza.
d ) Algunos pokemones agua le ganan a todos los pokemones fuego.

9. De cada inciso que puede concluir de las premisas? Si logro concluir algo, mencione las reglas de
inferencia que modelan su razonamiento.
a) Todos los capitalinos han comido tacos de suadero o de carnitas. Yo, que soy capitalino, no he
comido tacos de carnitas.
b) No hay mexicano que no este indignado por la violencia. Carlos es mexicano.
c) Todo pais que es democratico esta en conflicto. Existe un pais que no esta en conflicto.
10. Demuestre las siguientes equivalencias o inferencias
a) x[p(x) yq(x, y)] [xp(x)] [xyq(x, y)]
b) [xp(x)] [x(p(x) q(x))] xp(x)
c) {x[p(x) yq(x, y)]} [xyq(x, y)] xp(x)
d ) {x[p(x) (q(x) r(x))]} {x[p(x) q(x)]} x[r(x) s(x)]

IPN-ESCOM IGMG