一階述語論理の定理証明
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/05/28 07:09 UTC 版)
「自動定理証明」の記事における「一階述語論理の定理証明」の解説
一階述語論理の定理証明は自動定理証明の中でも最も研究が進んでいる。この論理は適度に自然で直感的な方法で様々な問題を記述できる程度に表現豊かである。一方、半決定的で健全で完全な計算方法が開発されており、完全自動システムを構築することが可能である。さらに表現力のある論理（高階述語論理や様相論理）は、さらに様々な問題を記述可能だが、それらの定理証明は一階述語論理ほど開発が進んでいない。
※この「一階述語論理の定理証明」の解説は、「自動定理証明」の解説の一部です。
「一階述語論理の定理証明」を含む「自動定理証明」の記事については、「自動定理証明」の概要を参照ください。
ウィキペディア小見出し辞書の「一階述語論理の定理証明」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 一階述語論理の定理証明のページへのリンク
