Rule of Implication/Also known as

Proof Rule
The Rule of Implication is sometimes known as:


 * The rule of implies-introduction
 * The rule of conditional proof (abbreviated $\text{CP}$).