4.4 Introducción de la implicación

Ésta es más interesante, porque permite hacer algo útil con las hipótesis (esas subdemostraciones que llevan una barra vertical a la izquierda). Es:

$$\begin{fitch*} \par m & \fh A & H \\ \par n & \fa B \\ \par... ...\par & A \Rightarrow B & I$\Rightarrow$\ m,n \par \end{fitch*}$$

Y lo que quiere decir es que si hemos supuesto algo (llamémosle $A$), y hemos descubierto (mediante las reglas) que suponer $A$ hace cierto a $B$ (lo que sea), entonces tenemos una cosa clara: no podemos asegurar que $B$ siempre se cumple, pero sí que $A$ implica $B$, que se escribe $A\Rightarrow B$.

Eso nos permite salir de la subdemostración y continuar con lo que estuviéramos haciendo. Recuerda que no puedes acabar la deducción natural dento de una subdemostración.