Perhaps using abstract names A, B, and C was unclear. The following is the rule that is commonly referred to as modus ponens: A → B A -----------

Perhaps using abstract names A, B, and C was unclear. The following is the rule that is commonly referred to as modus ponens: A → B A ----------- B However, modus ponens is just one of the names for this. I could also call it function elimination. I could call it →e. Or I could not bother giving it a name and just say that this is a rule in my logic call it whatever you want in your head if you so desire. Things can get complicated, but they aren't always complicated so naming rules isn't strictly necessary.