EJERCICIOS DE DEDUCCIN

1.
-1 (p q)
-2 (q s) t
p (t s)

2.

3.

-1 Pt

-1 (q t) r

-2 (p q)

-2 (p (w r)

-3 s t

-3 p w

s q

-1 (Pt) w
-2 w s
-3 t q
q q

-1 [p(st)]q

6
q
-1 P(st)

-2 q p

-2 (st) (sq)

-3 w t

-3 pt

w s

qt

-1 p (tr)

-1 wt

-2 (sw)t

-2 tq

p(ts)

w q

9
-1 pq
-2 rs
-3 pq
qs

10

11

-1 pq

-1 [p(ts)]r

12

-2 pr

-2 ws

-1 [(pr)[w(pu)](rs)

-3 qr

-3 r

-2 r

-4 (pu)w

wr

13

14

-1 r p

-1 (qs)t

-2 s q

-2 qr

-3(pq)t

-3p s

(rs)t

-4 t s
p r

16
-1 (pq)r
-2 (qr)s
-3p q
sr

15
-1 [(pq)r]s
-2 tw
-3(st)u
-4 p(uw)
(pr)q

17

18

-1 [q(tu)]p

-1 rs

-2 p

-2 qr

-3qr

-3pq

-4 r t

-4 s(wu)

-5 u r

p(tu)

r s
sr
19

20

21

-1 tw

-1 [p(r t)](w u)

-1 [p(st)]q

-2 (su)t

-2 (w u)s

-2 ps

-3(r u)u

-3s (qt)

-3 s(tw)

w(sr)

q t

-4 p(qw)
s