TERMIUM Plus®

The Government of Canada’s terminology and linguistic data bank.

Prenex normal form [2 records]

Record 1 2013-12-09

English

Subject field(s)
  • Mathematics
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)

French

Domaine(s)
  • Mathématiques
DEF

Forme réduite dans laquelle les quantificateurs sont groupés en tête de l'expression.

Spanish

Save record 1

Record 2 1989-12-06

English

Subject field(s)
  • Artificial Intelligence

French

Domaine(s)
  • Intelligence artificielle
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.

Spanish

Save record 2

Copyright notice for the TERMIUM Plus® data bank

© Public Services and Procurement Canada, 2024
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: