Herbrand function

noun

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).

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounHerbrand function (plural Herbrand functions)

plural Herbrand functions

  1. human sciencesA 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).

Origin

Named after Jacques Herbrand (1908–1931), French mathematician.

Full word history & related roots →
Cite this entry
APA

Herbrand function. (n.d.). In WatkinsX Dictionary. Retrieved November 2, 2026, from https://dictionary.watkinsx.com/word/Herbrand%20function

MLA

“Herbrand function.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Herbrand%20function. Accessed November 2, 2026.

Chicago

WatkinsX Dictionary, s.v. “Herbrand function,” accessed November 2, 2026, https://dictionary.watkinsx.com/word/Herbrand%20function.

Source: Herbrand function on Wiktionary, CC BY-SA 4.0.