4.4 Kunimplikaciigo

Tiu estas pli interesa, ĉar ĝi eblas uzi utile hipotezojn (tiujn subderivojn kiuj havas vertikalan linion maldekstre). Jen ĝi estas:

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

Kion ĝi signifas estas ke se oni skribis ion (ĝin nomiĝu $A$), kaj poste eltrovis (per la derivreguloj) ke supozinte $A$ certigas $B$ (io ajn), tiam oni povas klare aldiri ion: ne eblas aserti ke $B$ estas ĉiam prava, sed jes ke $A$ entenas $B$, kio estas skribita $A\Rightarrow B$.

Tio ebligas nin finigi subderivon kaj daŭrigi nian lastan taskon. Memoru ke natura dedukto ne devas esti haltita ĉe subderivo.