Last Updated：2025/12/07
(logic) A fundamental result of mathematical logic, essentially allowing a certain kind of reduction of first-order logic to propositional logic.
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Herbrand's theorem
Edit Histories（0）
Source Word
Herbrand's theorem
Proper noun
Japanese Meaning
数学論理学における基本的な定理であり、第一階述語論理の式を命題論理の形式に還元するための方法論的基盤となる結果を示す。
