User:Lord Farin/Tableau Proof Rules/Modus Ponens

Modus Ponendo Ponens

Given statements $p$ and $p \implies q$, we also have $q$.

Line		Pool	Formula	Rule	Depends upon	Notes
$i$		$I$	$p$	?	?
$j$		$J$	$p \implies q$	?	?
$k$		$I,J$	$q$	Modus Ponendo Ponens: $\implies \mathcal E$	$i,j$

Wiki code

|-
| align="right" | $k$ ||
| align="right" | $I,J$
| $q$
| [[Modus Ponendo Ponens|Modus Ponendo Ponens: $\implies \mathcal E$]]
| $i,j$