Skolemise

/ˈskəʊləmaɪz/

/ˈskoʊləmaɪz/

Translation of "skolemise" into Russian

skolemise

Verb

/ˈskəʊləmaɪz/

/ˈskoʊləmaɪz/

skolemise

skolemises

skolemised Past Simple / Past Participle

skolemising Gerund

сколемизировать

The mathematician decided to skolemise the formula to simplify the proof.

Математик решил сколемизировать формулу, чтобы упростить доказательство.

Definitions

skolemise

Verb

/ˈskəʊləmaɪz/

/ˈ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.

Idioms and phrases

skolemise a statement

To simplify the proof, we need to skolemise a statement first.

сколемизировать утверждение

Чтобы упростить доказательство, нам нужно сначала сколемизировать утверждение.

skolemise (someone's) formula

Can you skolemise her formula for the logic assignment?

сколемизировать формулу (кого-либо)

Можешь сколемизировать её формулу для задания по логике?

fully skolemise

You should fully skolemise the expressions to proceed with the proof.

полностью сколемизировать

Следует полностью сколемизировать выражения, чтобы продолжить доказательство.

partially skolemise

Sometimes it is useful to partially skolemise a formula.

частично сколемизировать

Иногда бывает полезно частично сколемизировать формулу.

skolemise an existential quantifier

To proceed with resolution, skolemise an existential quantifier in the formula.

сколемизировать существующий квантификатор

Для продолжения вывода сколемизируйте существующий квантификатор в формуле.