4.9 Eliminació de la negació

Aquesta és molt senzilla, però cal dir-la:

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

O sigui, que quan veiem la negació de la negació d'alguna cosa, podem treure aquestes dues negacions seguides.

Recorda que la negació de ``això és blanc'' no és pas ``això és negre'' sinó ``això no és blanc''.