Rule of Implication/Explanation
Jump to navigation
Jump to search
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$.