モーダスポネンス
モーダスポネンスの拡張として multiple modus ponens(mmp)があり、以下のような形式である。
P ならば、Q である。
Q ならば、R である。
P である。
従って、R である。
論理演算の記法で表すと次のようになる。
P → Q
Q → R
P
├ R