A negação da negação é uma afirmação.

Não entendi o motivo do (2) também ser equivalente. Alguém poderia dar um help?rs

Sobre a (2), que o amigo não compreendeu e inicialmente eu também não...

Desejamos saber se a proposição ~p → p e a proposição p são equivalentes. Fazendo as devidas trocas por V ou F teremos:

Se p for V:

~p → p

~V → V

F → V (Verdadeiro)*

*De F → V a proposição é VERDADEIRA, assim como p.

Se p for F:

~p → p

~F → F

V → F (Falso)*

*Na condicional de V→F é FALSO, assim como p.

Logo, são equivalentes!

Boa questão,

A princípio a 1 poderia causar estranheza, mas é só negar 2x que achamos a conclusão de ambas são equivalentes. Geralmente a negação de uma negação é a equivalência da outra.

Abraço e bons estudos.

Comentários do professor, por favor!