7.2.4 Introducción del universal

Ésta es bastante fácil:

$$\begin{fitch*} \par n & A \\ \par \hline \par & \forall x A & I$\forall$\ n \par \end{fitch*}$$

O sea, que si $A$ se cumple siempre, se cumple para cualquier valor de $x$. No puede haber ninguna $x$ libre en ninguna hipótesis accesible.