Herbrandization love

Herbrandization

Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. 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 function of the remaining bound variables whose scope contain the given variable), and (3) replace any variable bound by an existential quantifier which lies in the scope of an odd number of negations (with a function of the remaining bound variables whose scope contain the given variable).

Etymologies

Sorry, no etymologies found.

Examples

    Sorry, no example sentences found.

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.