Ejercicios de Reduccin al absurdo mediante tablas

de verdad reducidas:
1. ((p q) (p q) (p q))
2. (p q) (q p)
3. (p (q r)) (p (q s))
4. (p r) (q p)
5. ((p q) (r s)) ((p q) (r s))
6. ((p q) r) ((p q) (r s))
7. (p s) (s p)
8. ((p p) p) (p (p p))
9. ((r s) q) p
10.(p (r s)) (s (r p))
11.((r s) p) (q (s r))
12.(p q) (((p r) (q r)) ((p q) r))
13.(p (q p)) ((p q) (p p))
14.(s (r p)) (((r p) q) (s q))
15.((p q) (r s)) ((r s) (p q))
16.((p q r) (p s)) ((s r) (q p))
17. ((p q) r) ((r s) ((p q) s))
18.(p q) ((p r) (q r))
19.(p q) ((p q) p)
20.((p q) (r p) (s q)) (r s)
21.( p q ) q q
22.( p q ) ( p v r) q
23.( p q ) ( q v r ) q ( r p )
24.( p q ) ( q v r ) q
25.[ ( p q ) v r] [ r ( p q) ]
26.[ ( p q ) ( q r ) ] ( p r )
27.( p r ) ( q s ) ( p q r s )
28.[ p ( q v r ) ] ( q r ) ( p r )
29.[ p ( r p) ] [ r v s t] ( t r) p
30.[ p ( q r ) ] ( r s t ) ( s t ) p
31.{ [ ( p q r ) ( r s ) ] ( r s ) } ( p q r
)