最終更新日：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.)
音声機能が動作しない場合はこちらをご確認ください
正解を見る
Herbrand universe
編集履歴（0）
元となった辞書の項目
Herbrand universe
名詞
日本語の意味
論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて（再帰的にも構成可能な）全ての地の項（ground term）の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。
意味（1）
（ plural ）
