7.2.5 Eliminación del universal

Otra fácil de entender:


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

Si sabemos que $A$ se cumple para cualquier elemento, entonces podemos elegir un elemento cualquiera y sabemos que se cumple $A$ en ese elemento.



Daniel Clemente Laboreo 2005-05-17