4.3 Eliminació de la conjunció

Això és justament l'operació contrària a l'anterior. Té dues parts. La primera:


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

I la segona, per si vols extreure $B$:


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

O sigui, que pots separar en vàries línies els conjuntands d'una conjunció (sí, s'utilitza aquesta paraulota). Per això la regla s'anomena eliminació de la conjunció, perquè d'una línia que conté símbols de conjunció ($\wedge$) treus altres que ja no ho tenen, suposadament en un intent per apropar-te a allò que vols demostrar.



Daniel Clemente Laboreo 2005-05-17