A dupla negação de uma proposição simples resulta em uma proposição logicamente equivalente à proposição original, mantendo o mesmo valor lógico.