Rule of Material Implication/Formulation 2/Reverse Implication

Theorem

 * $\vdash \paren {\neg p \lor q} \implies \paren {p \implies q}$