4.5 Elimplikaciigo

Pli simpla ol la lasta ĉar ĝi ne temas pri supozoj sed pri faktoj:

$$\begin{fitch*} \par m & A \Rightarrow B \\ \par n & A \\ \par \hline \par & B & E$\Rightarrow$\ m,n \par \end{fitch*}$$

Simple, se oni estas dirita ke kiam okazas $A$ ankaŭ okazas $B$ (tio estas la signifo de $A\Rightarrow B$), kaj oni ankaŭ scias ke $A$, do oni povas aserti ke $B$.

Tiu regulo estas ankaŭ nomata modus ponens.