Last Updated：2025/11/29
(logic) The set of all ground terms that may be formed (even recursively) using any of the constants and functions which appear in a given set of formulae. (If there is no constant in that given set of formulae, then designate one default constant as being usable for the aforementioned purpose.)
音声機能が動作しない場合はこちらをご確認ください
See correct answer
Herbrand universe
Edit Histories（0）
Source Word
Herbrand universe
Noun
Japanese Meaning
論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて（再帰的にも構成可能な）全ての地の項（ground term）の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。
Sense（1）
（ plural ）
