Rule of Implication/Explanation

Proof Rule
The Rule of Implication can be expressed in natural language as:


 * If by making an assumption $\phi$ we can deduce $\psi$, then we can encapsulate this deduction into the compound statement $\phi \implies \psi$.