A negação de uma negação, na lógica proposicional, é equivalente a:
Uma verdade
Uma afirmação
Uma negação
Uma negação duas vezes mais forte