7.2.5 Eliminació de l'universal

Una altra fàcil d'entendre:

$$\begin{fitch*} \par n & \forall x A \\ \par \hline \par & A\{t/x\} & E$\forall$\ n,t \par \end{fitch*}$$

Si sabem que $A$ es compleix per qualsevol element, llavors podem escollir un element qualsevol i sabem que es complirà $A$ en aquell element.