-
English
-
Russian
-
English
-
Russian
Skolemise
UK
/ˈskəʊləmaɪz/
US
/ˈskoʊləmaɪz/
Translation skolemise into russian
skolemise
Verb
UK
/ˈskəʊləmaɪz/
US
/ˈskoʊləmaɪz/
The mathematician decided to skolemise the formula to simplify the proof.
Математик решил сколемизировать формулу, чтобы упростить доказательство.
Definitions
skolemise
Verb
UK
/ˈskəʊləmaɪz/
US
/ˈskoʊləmaɪz/
To transform a logical formula into a form where all existential quantifiers are replaced by Skolem functions, typically in the context of first-order logic.
The mathematician needed to skolemise the formula to simplify the proof process.