4.3 Elkajigo

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

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

Kaj la dua, por akiri $B$:

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

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