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

Sign up to vote on this title
UsefulNot useful