4.9 Eliminación de la negación

Ésta es muy sencilla, pero hay que decirla:

$$\begin{fitch*} \par n & \neg\neg A \\ \par \hline \par & A & E$\neg$\ n \par \end{fitch*}$$

O sea, que cuando veamos la negación de la negación de algo, podemos quitar esas dos negaciones seguidas.

Recuerda que la negación de ``esto es blanco'' no es ``esto es negro'' sino ``esto no es blanco''.