4.3 Eliminación de la conjunción

Esto es justo la operación contraria a la anterior. Tiene dos partes. La primera:

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

Y la segunda, por si quieres sacar $B$:

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

O sea, que puedes separar en varias líneas los conjuntandos de una conjunción (sí, se usa esa palabreja). Por eso se le llama eliminación de la conjunción, porque de una línea que contiene símbolos de conjunción ($\wedge$) sacas varias que ya no lo tienen, supuestamente en un intento por acercarte a lo quieres demostrar.