. Na lógica clássica bivalente, toda proposição (P) é ou verdadeira ou falsa. O operador de negação (~) inverte esse valor-verdade (se P é V, ~P é F; se P é F, ~P é V). Um princípio fundamental derivado disso é a Lei da Dupla Negação, que afirma que negar uma proposição que já foi negada (~~P) é logicamente equivalente a afirmar a proposição original (P) (Salmon, 2009). Um estudante de lógica afirma: "É perfeitamente possível fazer uma asserção afirmativa sobre o mundo sem usar palavras diretamente afirmativas, mas sim usando apenas o poder da negação". Qual das alternativas justifica corretamente esse aparente paradoxo?