MPという用語は正式なロジックで何を参照していますか？
正式なロジックでは、MPは「モデスポーネン」を指します。これは、2つの施設と結論を含む一種の論理的議論です。Modus Ponensは、「肯定のモード」に翻訳されるラテン語の用語です。

モーダスポーネは次のように定義できます。Aがbを暗示し、aが真である場合、bも真でなければなりません。たとえば、「雨が降っている場合、地面が濡れている」場合、「雨が降っている」が真実である場合、「地面が濡れている」とも真実でなければならないと結論付けることができます。

シンボリックロジックでは、Modus Ponensはしばしば次のように表されます。

A→B（前提）
A（前提）
したがって、B（結論）
ここで、矢印は論理的な意味を表しています。したがって、A→Bは「Aを暗示する」を意味します。

モダスポーネンは演ductive的推論の基本原則であり、数学、コンピューターサイエンス、哲学で一般的に使用されています。