A negação de uma negação, na lógica proposicional, é equivalente a: