• Author / Uploaded
• harryarcila

Citation preview

Ejercicios de Leyes logicas Resueltos 1 P  -s c: -s ^ m 2r m 3p^ r -----------4p simplifi. 3 5 -s M.P.P 1,4 6 (r  m) ^ (m  r) bicondicional 2 7r m simplifi. 6 8r simplifi. 3 9m M.P.P 7,8 10 -s ^ m Conj. 5,9

1 -s v -q 2 -q  r 3 - m ^ -r -----------4 -r 5 -q 6 –s 7 –m 8 -s ^ -m

c: -s ^ -m

1 -p  q 2 -p ^ m -----------3 -p 4q 5m 6q^ m 7 (q ^ m) v t

c: (q ^ m) v t

simplifi. 3 M.T.T 2,4 M.T.P 1,5 simplifi. 6 Conj. 6,7

simplifi. 2 M.P.P 1,3 simplifi. 2 Conj. 4,5 Adicion 6

Demostrar 1 (s v q)  -r 2 - (-s v –q) 3 r v –p 4 –p  -(-t v –n) ------------------------------

c: (n ^ t) v m

1 (t v-p)  s 2 q  -( - t ^ p) 3 ( q ^ r) v q ------------------------------

c: s

1 –(-p) 2 p  (q v t) 3 (-t v q) ^ -t ------------------------------

c: q