Last Updated :2025/11/29

Herbrand universe

Noun
Japanese Meaning
論理学において、『Herbrand universe』は、与えられた論理式集合に現れる定数や関数記号を用いて(再帰的にも構成可能な)全ての地の項(ground term)の集合を指します。なお、もしその論理式集合に定数が存在しない場合には、目的のためにひとつの既定の定数を採用することが規定されています。
What is this buttons?

充足可能性を証明するために、研究者は節に出現する定数と関数記号を用いて(再帰的に)作ることのできるすべての地の項の集合を列挙し、その地のインスタンスの中からモデルを探索した。

plural

Quizzes for review

(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

To prove satisfiability, the researcher enumerated the Herbrand universe generated by the clauses and then searched for a model among its ground instances.

See correct answer

To prove satisfiability, the researcher enumerated the Herbrand universe generated by the clauses and then searched for a model among its ground instances.

音声機能が動作しない場合はこちらをご確認ください

English - English

Word Edit Setting
  • Users who have edit permission for words - All Users
  • Screen new word creation
  • Screen word edits
  • Screen word deletion
  • Screen the creation of new headword that may be duplicates
  • Screen changing entry name
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Sentence Edit Setting
  • Users who have edit permission for sentences - All Users
  • Screen sentence deletion
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Quiz Edit Setting
  • Users who have edit permission for quizzes - All Users
  • Users authorized to vote on judging - Editor
  • Number of votes required for decision - 1
Editing Guideline

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★