jueves, 10 de marzo de 2011

PARTE 2


7)      ¬¬(¬p ˄¬q)v(p ˄¬q)

p
q
¬p
¬q
(¬p˄¬q)
(p˄¬q)
(¬p˄¬q)v(p˄¬q)
¬(¬p˄¬q)v(p˄¬q)
¬¬(¬p ˄¬q)v(p ˄¬q)
0
0
1
1
1
0
1
0
1
0
1
1
0
0
0
0
1
0
1
0
0
1
0
1
1
0
1
1
1
0
0
0
0
0
1
0


8)      P v q ˄r

p
q
P v q
r
P vq˄r
0
0
0
0
0
0
0
0
1
0
0
1
1
0
0
0
1
1
1
1
1
0
1
0
0
1
0
1
1
1
1
1
1
0
0
1
1
1
1
1



9)      ¬(¬p˄¬q)˄(¬p˄¬q)

p
q
¬p
¬q
(¬p˄¬q)
¬(¬p˄¬q)
¬(¬p˄¬q)˄(¬p˄¬q)

0
0
1
1
1
0
0
0
1
1
0
0
1
0
1
0
0
1
0
1
0
1
1
0
0
0
1
0


10)      P v q ˄ ¬r

p
q
r
P v q
¬r
Pvq˄¬r
0
0
0
0
1
0
0
0
1
0
0
0
0
1
0
1
1
1
0
1
1
1
0
0
1
0
0
1
1
1
1
0
1
1
0
0
1
1
0
1
1
1
1
1
1
1
0
0


11)      P ˄ qàr

p
q
P˄q
r
P˄qàr
0
0
0
0
1
0
0
0
1
1
0
1
0
0
1
0
1
0
1
1
1
0
0
0
1
1
0
0
1
1
1
1
1
0
0
1
1
1
1
1

No hay comentarios:

Publicar un comentario