next up previous contents
Next: 4.4 Kunimplikaciigo Up: 4 La derivreguloj Previous: 4.2 Kunkajigo   Contents

4.3 Elkajigo

Tio estas operacio kontraŭa al la lasta. Ĝi havas du partojn. Unue:


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

Kaj la dua, por akiri $B$:


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

Do, oni povas disigi laŭ pluraj linioj la konjunkcierojn el konjunkcio. Tial, oni nomas tiun regulon forigo de la konjunkcio (aŭ elkajigo): el linio kiu havas kaj-simboloj ($\wedge$) oni atingas aliajn kiuj jam ne havas ilin; kompreneble, penante alproksimiĝi al nia celo (atingi iun formulon).



Daniel Clemente Laboreo 2005-05-17