Material conditional (minimal logic) §

Introduction Rule §

$[A{]}_i$ $⋮$ $\frac{B}{A\to B}i$

Elimination Rule §

$\frac{A\to B}{B}$