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 c: -s ^ -m
2 -q  r
3 - m ^ -r
------------
4 -r simplifi. 3
5 -q M.T.T 2,4
6 –s M.T.P 1,5
7 –m simplifi. 6
8 -s ^ -m Conj. 6,7

1 -p  q c: (q ^ m) v t
2 -p ^ m
------------
3 -p simplifi. 2
4q M.P.P 1,3
5m simplifi. 2
6q^ m Conj. 4,5
7 (q ^ m) v t Adicion 6
Demostrar

1 (s v q)  -r c: (n ^ t) v m
2 - (-s v –q)
3 r v –p
4 –p  -(-t v –n)
------------------------------

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

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