Herbrandization

English

Herbrand +‎ -ization, after Jacques Herbrand (1908–1931), French mathematician.

Herbrandization (uncountable)

(logic) The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function.

单词	Herbrandization
释义	Herbrandization English Etymology Herbrand +‎ -ization, after Jacques Herbrand (1908–1931), French mathematician. Noun Herbrandization (uncountable) (logic) The conversion of a formula of first-order logic which involves the following steps: (1) replace free variables with constants, (2) replace any variable bound by a universal quantifier which lies in the scope of an even number of logical negations with a Herbrand function, and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations with a Herbrand function. Coordinate terms Skolemization
随便看	nähert an näherte näherte an näherten näherten an nähertest nähertest an nähertet nähertet an nähertreten Näherung näherungsweise Näherungswert Näherungswerte Näherungswerten Näherungswertes Näherungswerts näherzukommen nähest nähet Nähfaden Nähgarn nähhä nähili nähkää