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