Modus Ponendo Ponens/Also known as

Proof Rule
Modus Ponendo Ponens is also known as:


 * Modus ponens
 * The rule of implies-elimination
 * The rule of arrow-elimination
 * The rule of (material) detachment.