Prctico Deduccin Natural

Primera parte
1. {( p1 p 2 ) , ( p3 p 4 ) , ( p1 p3 )} ( p 2 p 4 )
2. {( p1 p 2 ) , p1 , ( p 2 p3 )} ( p3 p5 )

3. {( p1 p 2 ) , ( ( p1 p3 ) p8 )} ( p1 p8 )
4.

{( p (( p p ) p )) , ( p p )} p
1

5. {p1} ( p 2 ( ( p 2 p1 ) p3 ) )
6. {( p1 p 2 ) , ( p 2 p3 )} ( p1 p3 )
7.
8.

{( ( p p ) p ) , ( p
{( p p ) , ( p ( p
1

} (
p ) )} ( p

p 2 ) p1 ( ( p1 p 2 ) p3 )
3

p3 )

9. {( p1 p 2 ) , ( p3 p 4 ) , ( p1 p3 )} ( ( p1 p 2 ) ( p3 p 4 ) )
10. {( p1 p 2 ) , ( p1 p 4 ) , ( p 2 p5 )} ( p 4 p5 )

11. {( p1 ( p 2 p3 ) ) , ( p1 p 4 ) , ( p 2 ( p 4 p6 ) ) , ( ( p3 p 4 ) p6 )} ( p5 p6 )

12. {( p1 p 2 ) , ( p3 p1 ) , ( p 4 p3 ) , ( p5 p 4 ) , ( p3 p 2 )} p5
13. {( p 4 ( p3 p 2 ) ) , p 4 , ( p3 p 2 )} p3

14. {( p1 p 2 ) , ( p3 ( p1 p 2 ) ) , p3 } p1

15. {( p1 p 2 ) , ( ( p 2 p3 ) p 4 ) , ( p1 p 4 )} p1
16. {( p1 ( p 2 p3 ) ) , ( p1 p5 ) , ( p5 p 2 ) , ( p7 p3 ) , ( p7 p5 )} p1
17. {( ( p1 p 2 ) ( p3 p 4 ) ) , ( ( p3 p 4 ) ( p5 p6 ) ) , p1} p5
18. {( p1 p 2 ) , ( p 4 p 2 ) , ( p3 p1 )} ( p3 p 4 )

19. {( p1 ( p 2 p3 ) ) , ( p1 p3 )} ( p1 p 2 )