P. 1
Ejercicios de Leyes logicas

Ejercicios de Leyes logicas

4.0

|Views: 10.351|Likes:
Publicado porharryarcila

More info:

Published by: harryarcila on Jun 26, 2007
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOC, PDF, TXT or read online from Scribd
See more
See less

08/11/2013

pdf

text

original

Ejercicios de Leyes logicas

Resueltos
1 P  -s c: -s ^ m
2 r  m
3 p ^ r
------------
4 p simplifi. 3
5 -s M.P.P 1,4
6 (r  m) ^ (m  r) bicondicional 2
7 r  m simplifi. 6
8 r simplifi. 3
9 m M.P.P 7,8
10 -s ^ m on!. 5,9
1 -s v -q c: -s ^ -m
2 -q  r
3 - m ^ -r
------------
4 -r simplifi. 3
5 -q M."." 2,4
6 #s M.".P 1,5
7 #m simplifi. 6
8 -s ^ -m on!. 6,7
1 -p  q c: (q ^ m) v t
2 -p ^ m
------------
3 -p simplifi. 2
4 $ M.P.P 1,3
5 m simplifi. 2
6 q ^ m on!. 4,5
7 (q ^ m) v t %dicion 6
Demostrar
1 (s & $)  -r c: (n ^ t) v m
2 - (-s & #$)
3 r & #p
4 #p  -(-t v –n)
------------------------------


1 (' &-p)  s c: s
2 $  -( - t ^ p)
3 ( $ ^ r) & $
------------------------------


1 #(-p) c: q
2 p  (q v t)
3 (-' & $) ^ -'
------------------------------

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->