Herbrand function

English

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

Herbrand function (plural Herbrand functions)

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

单词	Herbrand function
释义	Herbrand function English Etymology Named after Jacques Herbrand (1908–1931), French mathematician. Noun Herbrand function (plural Herbrand functions) (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). Related terms Herbrandization
随便看	اماں امب امبات امبار امبارح امبن امبو امبون امبين امبڠ امت امتاز امتازت امتازوا امتازي امتثال امتثل امتثلت امتثلتم امتثلتن امتثلن امتثلنا امتثلوا امتثلي امتحان