正式な論理では、「MP」という用語は、モーダスポネンの推論ルールを指します。モダスポーネンは、命題pが命題qを暗示する演ductive的な議論形式であり、pは真であると主張されているため、qは真でなければなりません。通常、ポーネンの尺度のルールは、通常「p then q」と「p」、したがって「Q」という形式で表現されます。Modus Ponensルールは、命題論理と述語論理における推論の基本的なルールの1つです。
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.