next up previous contents
Next: 4.10 Ne plu reguloj Up: 4 La derivreguloj Previous: 4.8 Kunnegigo   Contents

4.9 Elnegigo

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


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

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''.



Daniel Clemente Laboreo 2005-05-17