7.2.2 Introducción del existencial

Si vemos una prueba de su existencia, podemos decir que una propiedad se cumple para algún elemento:

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

Lo de $A\{ t/x\}$ es una sustitución (se lee ``$t$ sobre $x$'' y consiste en cambiar $x$ por $t$).

Esta regla quiere decir que si vemos $At$, donde $t$ es un elemento, podemos decir que $\exists xAx$, porque sabemos que cuando $x$ es $t$ sí que se cumple.