Uma afirmação importante em lógica é que a dupla negação de uma proposição é logicamente equivalente à própria proposição. Se considerarmos a proposição 'O sol está brilhando', qual das seguintes opções representa uma proposição logicamente equivalente a 'Não é verdade que o sol não está brilhando'?