-
Английский
-
Русский
-
Английский
-
Русский
Skolemise
UK
/ˈskəʊləmaɪz/
US
/ˈskoʊləmaɪz/
Перевод skolemise на русский язык
skolemise
Глагол
UK
/ˈskəʊləmaɪz/
US
/ˈskoʊləmaɪz/
The mathematician decided to skolemise the formula to simplify the proof.
Математик решил сколемизировать формулу, чтобы упростить доказательство.
Опеределения
skolemise
Глагол
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.