4.9 Elnegigo

Tiu estas tre simpla, sed ĝin oni devas ankaŭ koni:

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

Do, kiam oni vidas la negon de la nego de io, ni rajtas forigi tiujn du sinsekvajn negaciojn.

Memoru ke la negacio de ``ĉi tio estas blanka'' ne estas ``ĉi tio estas nigra'' sed ``ĉi tio ne estas blanka''.