Ejercicios de deduccin natural

*(Aclaracin respecto de la notacin: el smbolo representa condicional ( )y

el negacin (~). )

a)
1) ( p q ) r
2) s v r
3) t s

/ (pq)t

b)
1) p q
2) r q
3) p

/r

c)
1)
2)
3)
4)

pt
( p q ) r
rvs
r

/ts

d)
1)
2)
3)
4)

p[q(zp)]
pt
rs
(qt)vr
/ z

e)
1) t ( p s )
2) ( z p ) t
3) ( p s ) ( s r )

/ r