(logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
Herbrand's theorem
論理学のゼミでは、一階述語論理を命題論理に還元する基本的な結果を用いて、複雑な一階式を自動検査用の命題形式に変換しました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
