skolemization

Questions

What does skolemization mean?

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.

Where does skolemization come from?

Named after Thoralf Skolem (1887–1963), Norwegian mathematician.

How to pronounce skolemization

1. Open the pronunciation page — Open the Speakur entry for “skolemization”.
2. Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
3. Play the audio — Click Play to hear reference audio for “skolemization”.
4. Repeat and practice — Say “skolemization” aloud, matching stress and vowels until it feels natural.