モーダスポネンス
モーダスポネンス(Modus Ponens、MP)
命題論理の論理式$ φ, ψ があったときに、$ φ→ψ から$ ψ に変換できる どうしてそんなことができるのか?なんでかな...
他の呼び方もある
前提肯定(affirming the antecedent)
分離規則 (the law of detachment)
以下のような導出図で表される推論規則がモーダスポネンス $ \frac{φ→ψ\quad φ}{ψ}
上部分は
$ φ→ψ :$ φ ならば$ ψ である
$ φ : $ φ である
下部分は
$ ψ : したがって、$ ψ である
モーダスポネンスの推論規則を使うと、上部分にある前提を使って含意(→)を消すことができる。 モーダスポネンスの拡張版としてMPPというのもある
確認用
Q. モーダスポネンス
Q. モーダスポネンスの推論規則はどんなものか
参考
関連
調査用
/pogi-log/Wikipedia.icon
/pogi-log/Wikipedia.icon