4.4 Introducció de la implicació

Aquesta és més interessant, perquè permet fer quelcom útil amb les hipòtesis (aquelles subdemostracions que porten una barra vertical a l'esquerra). És:

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

I el que vol dir és que si hem suposat alguna cosa (diguem-li $A$), i hem descobert (mitjançant les regles) que suposar $A$ fa cert a $B$ (el que sigui), llavors tenim una cosa clara: no podem assegurar que $B$ sigui sempre cert, però sí que $A$ implica $B$, que s'escriu $A\Rightarrow B$.

Això ens permet sortir de la subdemostració i continuar amb allò que estiguéssim fent. Recorda que no es pot acabar la deducció natural ficats a dins d'una subdemostració.