TERMIUM Plus®
The Government of Canada’s terminology and linguistic data bank.
PRENEX NORMAL FORM [3 records]
Record 1 - internal organization data 2013-12-09
Record 1, English
Record 1, Subject field(s)
- Mathematics
Record 1, Main entry term, English
- prenex normal form 1, record 1, English, prenex%20normal%20form
Record 1, Abbreviations, English
Record 1, Synonyms, English
Record 1, Textual support, English
Record number: 1, Textual support number: 1 DEF
A normal form of an expression in the functional calculus in which all the quantifiers are grouped without negations or other connectives before the matrix so that the scope of each quantifier extends to the end of the formula. (WEBIN) 1, record 1, English, - prenex%20normal%20form
Record 1, French
Record 1, Domaine(s)
- Mathématiques
Record 1, Main entry term, French
- forme prénexe
1, record 1, French, forme%20pr%C3%A9nexe
feminine noun
Record 1, Abbreviations, French
Record 1, Synonyms, French
Record 1, Textual support, French
Record number: 1, Textual support number: 1 DEF
Forme réduite dans laquelle les quantificateurs sont groupés en tête de l'expression. 1, record 1, French, - forme%20pr%C3%A9nexe
Record 1, Spanish
Record 1, Textual support, Spanish
Record 2 - internal organization data 1989-12-06
Record 2, English
Record 2, Subject field(s)
- Artificial Intelligence
Record 2, Main entry term, English
- prenex normal form
1, record 2, English, prenex%20normal%20form
correct
Record 2, Abbreviations, English
Record 2, Synonyms, English
Record 2, Textual support, English
Record 2, French
Record 2, Domaine(s)
- Intelligence artificielle
Record 2, Main entry term, French
- forme normale prénexe
1, record 2, French, forme%20normale%20pr%C3%A9nexe
correct, feminine noun
Record 2, Abbreviations, French
Record 2, Synonyms, French
Record 2, Textual support, French
Record number: 2, Textual support number: 1 DEF
Formule dérivée d'une formule bien formée en opérant des transformations sur des connecteurs, des atomes, des variables et des quantificateurs. 1, record 2, French, - forme%20normale%20pr%C3%A9nexe
Record 2, Spanish
Record 2, Textual support, Spanish
Record 3 - internal organization data 1976-06-19
Record 3, English
Record 3, Subject field(s)
- Mathematics
Record 3, Main entry term, English
- reduced form 1, record 3, English, reduced%20form
Record 3, Abbreviations, English
Record 3, Synonyms, English
Record 3, Textual support, English
Record number: 3, Textual support number: 1 OBS
according to "reduction to prenex normal form" in Encyclopaedia Britannica, vol. 14, p. 215. 1, record 3, English, - reduced%20form
Record 3, French
Record 3, Domaine(s)
- Mathématiques
Record 3, Main entry term, French
- forme réduite
1, record 3, French, forme%20r%C3%A9duite
feminine noun
Record 3, Abbreviations, French
Record 3, Synonyms, French
Record 3, Textual support, French
Record number: 3, Textual support number: 1 DEF
Formule dans laquelle ne figurent que les opérateurs, et dans laquelle le signe de négation ne concerne que des prédicats ou des propositions élémentaires. 2, record 3, French, - forme%20r%C3%A9duite
Record 3, Spanish
Record 3, Textual support, Spanish
Copyright notice for the TERMIUM Plus® data bank
© Public Services and Procurement Canada, 2025
TERMIUM Plus®, the Government of Canada's terminology and linguistic data bank
A product of the Translation Bureau
Features
Language Portal of Canada
Access a collection of Canadian resources on all aspects of English and French, including quizzes.
Writing tools
The Language Portal’s writing tools have a new look! Easy to consult, they give you access to a wealth of information that will help you write better in English and French.
Glossaries and vocabularies
Access Translation Bureau glossaries and vocabularies.
- Date Modified: