dictionary · eo1.org

herbrand function

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

  1. {{lb|en|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).

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.