モーダス・ポーネンス (MP)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:10 UTC 版)
「一階述語論理」の記事における「モーダス・ポーネンス (MP)」の解説
モーダス・ポーネンスとは、φ と (φ → ψ) から ψ を導出してよいという規則である。これは、論理式全体の集合の上の関係としては次のように定義することができる： MP = { (φ, (φ → ψ), ψ) | φ と ψ は論理式 } 。 (φ1, φ2, φ3) ∈ MP であるとき、φ3 は φ1, φ2 からのモーダス・ポーネンスによる導出であるという。
※この「モーダス・ポーネンス (MP)」の解説は、「一階述語論理」の解説の一部です。
「モーダス・ポーネンス (MP)」を含む「一階述語論理」の記事については、「一階述語論理」の概要を参照ください。
ウィキペディア小見出し辞書の「モーダス・ポーネンス」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ。
- モーダス・ポーネンスのページへのリンク
