1.

() ()
2. ( ) ( )

[ ( ) ( ) ]

3. ( ) ( )
4. ( )

Simp 2

5.( )

Morg 4

6. ( )

Simp 2

7.

Simp 5

8.

d.n. 6

9. ( )

Simp 2 (no era necesario)

10.

Silogismo disyuntivo excluyente 9, 8

11.

Adicin 10

12.

Dilema destructivo 11, 1

13. ( )

Morgan 12

14. ( )

Mpp 3, 13

15. ( )

Equivalencia Excluyente

16. [ ( ) ( ) ]

Equivalencia Material 15

1. () ) ( ) )
2. ( )

14

3. ( )
4. ( )

Simp 2

5.

Morgan 4

6.

d.n. 5

7.

Imp mat. 6

8. ( ) ( )

Adicin 7

9.

Dilema constructivo 1,8

10.

Silogismo disyuntivo excluyente 9,3

11.

Simp. 2

12.

Conj. 10, 11

13.

d.n. 12

14. ( )

Morgan. 13

15. ( )

Conmutacin. 14

16. ( )

Implicacin material 15

17. ( ) ( )

Adicin 16

18. [ ( ) ( ) ]

Morgan 17

19. ( )

Equivalencia material 18

20.

Equivalencia excluyente 19