4.5 Eliminación de la implicación

Esta regla es más sencilla ya que no tiene que ver con suposiciones sino con hechos:

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

Simplemente, si nos dicen que cuando pasa $A$ también pasa $B$ (que eso es lo que significa $A\Rightarrow B$), y también nos dicen que ahora pasa $A$, entonces podemos asegurar que $B$.

A esta regla también le llaman modus ponens.