Definitions from Wiktionary (Herbrand function)
▸ noun: (logic) A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).
▸ Words similar to herbrand function
▸ Usage examples for herbrand function
▸ Idioms related to herbrand function
▸ Wikipedia articles (New!)
▸ Words that often appear near herbrand function
▸ Rhymes of herbrand function
▸ Invented words related to herbrand function
▸ noun: (logic) A function which replaces a variable bound by a universal quantifier which lies in the scope of an even number of logical negations; such function is a function of the remaining bound variables whose scope contain the given variable (being replaced).
Similar:
Herbrandization,
Herbrand's theorem,
Herbrand universe,
Skolem function,
quantifier,
all-operator,
Boolean function,
switching function,
literal,
valuation function,
more...
▸ Words similar to herbrand function
▸ Usage examples for herbrand function
▸ Idioms related to herbrand function
▸ Wikipedia articles (New!)
▸ Words that often appear near herbrand function
▸ Rhymes of herbrand function
▸ Invented words related to herbrand function