Lógica Matemática
Nancy Paola Acosta A 3021221950
Leidy Jovana Molina N3021222056 1. Represente simbólicamente los enunciados a-j, utilizando los átomos p, q, r y s, con estos
Significados: p: 2 es número primo, q: 2 es número par, r: le entrego el libro, s: usted me entrega la fotografía.
a.2 es número primo, pero es par.
(p^q)
b. 2 es número par; sin embargo, es primo. (q=>p)
c. 2 es número primo no obstante que es par (p=>q)
d. Es falso que 2 no es primo o no es par ¬(¬p^¬q)
e. Es falso que 2 no es primo o es falso que 2 no es par. ((¬p)v(¬q))
f. Le entrego el libro si me entrega la fotografía. (r=>s)
g. Le entrego el libro sólo si me entrega la fotografía. (rs)
h. Si no me entrega la fotografía entonces no …ver más…

a. Si el ratón se come el queso entonces el gato atrapa al ratón. Pero el ratón no se come el queso. Por tanto, el gato no atrapa al ratón.

P=Ratón come queso
Q=Gato atrapa el ratón ((P=>q)(¬p)=> (¬q))

b. Si el ratón se come el queso entonces el gato atrapa al ratón. Pero el el gato no atrapa al ratón. Por tanto, el ratón no se come el queso.

P=Ratón come queso
Q=Gato atrapa el raton

((P=>q)( ¬q)=> (¬p))

c. Si el asalto ocurrió después de las 4 de la mañana, pero antes de las 5, entonces los guardianes se habían quedado dormidos. Si ocurrió a una hora diferente entonces los guardianes son cómplices necesario; en tal circunstancia, hay personas externas involucradas. Por tanto, si los guardias no se quedaron dormidos, el asalto involucra a personas externas.

P= Si el asalto ocurrió después de las 4 de la mañana, pero antes de las 5
Q= los guardianes se habían quedado dormidos
R= hay personas externas involucradas
S= Si ocurrió a una hora diferente entonces los guardianes son cómplices necesario
T= hay personas externas involucradas.

((P=>q)v(s=>t)=> (¬q))=>r

d. Si resuelvo un ejercicio sin quejarme, entonces lo puedo entender. Yo no puedo entender ejercicios de los cuales no tengo un ejemplo resuelto previamente. Los ejercicios que puedo entender no me producen dolor de cabeza. Este ejercicio tiene un ejemplo previamente resuelto. Por lo tanto, resuelvo este ejercicio