What does the term MP refer to in formal logic?
In formal logic, the term "MP" refers to the Modus Ponens rule of inference. Modus Ponens is a deductive argument form in which a proposition P implies a proposition Q, and P is asserted to be true, thereby Q must be true. The Modus Ponens rule is usually expressed in the form "if P then Q" and "P," therefore "Q." The Modus Ponens rule is one of the basic rules of inference in propositional logic and predicate logic.