modus ponendo ponens

a possible rule of inference, excursus A ¶5.