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}$).