Mais lógica de proposições para refrescar

1) p|-~~p
1 (1) p A
2 (2) ~p A
1 (3) ~~p 1,2RAA(2)

2) ~~p|-p
1 (1) ~~p A
2 (2) ~p A
1 (3) p 1,2RAA(2)

3) p->q,~q|-~p
1 (1) p->q A
2 (2) ~q A
3 (3) p A
1,3 (4) q 1,3->E
1,2 (5) ~p 2,4RAA(3)

4) p->~q,q|-~p
1 (1) p->~q A
2 (2) q A
3 (3) p A
1,3 (4) ~q 1,3->E
1,2 (5) ~p 2,4RAA(3)

5) ~p->q,~q|-p
1 (1) ~p->q A
2 (2) ~q A
3 (3) ~p A
1,3 (4) q 1,3->E
1,2 (5) p 2,4RAA(3)