What exactly is Modus Ponens is Propositional Logic? When my professor explained the rule to me, he said, "When we are using Modus Ponens, we are talking in meta-language." But what exactly is this Modus Ponens? Is it a meta-lingual symbol? a meta-lingual function? a meta-lingual predicate? or something else? What do you think @user21820?