-
Английский
-
Русский
-
Английский
-
Русский
Prenex
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
Перевод prenex на русский язык
prenex
Прилагательное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
The formula is in prenex normal form.
Формула находится в пренексной нормальной форме.
prenex
Существительное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
The prenex form is often used in logic to simplify expressions.
Пренексная форма часто используется в логике для упрощения выражений.
Опеределения
prenex
Прилагательное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
In logic, relating to a normal form of a logical formula where all the quantifiers are at the beginning.
The formula was converted into prenex form to simplify the proof.
prenex
Существительное
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
In logic, a prenex is a form of a logical formula where all the quantifiers are placed at the beginning of the formula.
The formula was converted into prenex form to simplify the logical analysis.