7.2.5 Forigo de universala kvantoro

Ankaŭ facile komprenebla:

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

Se oni scias ke $A$ certas por ĉiuj elementoj, tiam oni povas elekti iun ajn elementon kaj scios ke $A$ certas en tiu elemento.