7.2.4 Enigo de universala kvantoro

Tiu ja estas facila:

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

Do, se $A$ ĉiam certas, tiam certas por ajna valoro de $x$. Neniu libera $x$ aperu en atingebla hipotezo (pardonu tiajn ``kriptajn'' frazojn, sed ili estas parto de teorio).