Documente Academic
Documente Profesional
Documente Cultură
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
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