-
English
-
Russian
-
German
-
English
-
Russian
-
German
Prenex
UK
/ˈpriːnɛks/
US
/ˈpriːnɛks/
Translation 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.