English Dictionary

Herbrand's theorem

固有名詞

(logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.

日本語の意味

数学論理学における基本的な定理であり、第一階述語論理の式を命題論理の形式に還元するための方法論的基盤となる結果を示す。

In our logic seminar, we used Herbrand's theorem to transform a complex first-order formula into a propositional form for automated checking.

論理学のゼミでは、一階述語論理を命題論理に還元する基本的な結果を用いて、複雑な一階式を自動検査用の命題形式に変換しました。

意味（1）

(logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.