skolemization

Fetched 2026-10-26 (cache).

Synonyms: skolemisation, solemnization, solmization

Antonyms: skolemisation, solemnization, solmization

Related words from Datamuse; suggestions, not definitions.

Noun

1. {{lb|en|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 an [[existential quantifier]] which lies in the scope of an even number of logical negations with a [[Skolem function]], and (3) replace any variable bound by a [[universal quantifier]] which lies in the scope of an odd number of negations with a Skolem function.

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