-
English
-
Russian
-
German
-
English
-
Russian
-
German
Prenex
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
Translation of "prenex" into Russian
prenex
Noun
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
prenex
prenexes pl
пренекс
The prenex form is often used in logic to simplify expressions.
Пренексная форма часто используется в логике для упрощения выражений.
prenex
Adjective
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
prenex
пренексный
The formula is in prenex normal form.
Формула находится в пренексной нормальной форме.
Definitions
prenex
Noun
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.
prenex
Adjective
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.
Idioms and phrases
prenex form
The formula can be rewritten in prenex form.
пренексная форма
Формула может быть переписана в пренексной форме.
prenex normal form
Every first-order logic formula can be converted to prenex normal form.
пренексная нормальная форма
Любую формулу первого порядка можно преобразовать в пренексную нормальную форму.
convert to prenex
It is sometimes necessary to convert to prenex before applying certain proof techniques.
преобразовать в пренексную (форму)
Иногда перед применением определённых методов доказательства требуется преобразовать в пренексную форму.
prenex transformation
Prenex transformation can simplify quantifier manipulation.
преобразование к пренексной форме
Преобразование к пренексной форме может упростить работу с кванторами.
in the prenex
All quantifiers are grouped in the prenex.
в пренексной (форме)
Все кванторы сгруппированы в пренексной форме.