TERMIUM Plus®

La banque de données terminologiques et linguistiques du gouvernement du Canada.

universal quantifier [1 fiche]

Fiche 1 1989-12-11

Anglais

Subject field(s)
  • Artificial Intelligence
DEF

A logical quantifier that asserts all values of a given variable in a formula.

Français

Domaine(s)
  • Intelligence artificielle
DEF

Quantificateur [représenté par un A inversé signifiant "quel que soit x"] qui permet de préciser la portée de toute assertion comme s'appliquant à n'importe quelle valeur de x.

OBS

D'autres quantificateurs universels opèrent en logique non classique: pour presque tout x, pour exactement un x, pour au plus un x, etc.

Espagnol

Conserver la fiche 1

Avis de droit d’auteur pour la banque de données TERMIUM Plus®

© Services publics et Approvisionnement Canada, 2024
TERMIUM Plus®, la banque de données terminologiques et linguistiques du gouvernement du Canada
Un produit du Bureau de la traduction

En vedette

Portail linguistique du Canada

Accédez à une collection de ressources canadiennes sur tous les aspects du français et de l'anglais, y compris des jeux.

Outils d'aide à la rédaction

Les outils d’aide à la rédaction du Portail linguistique ont fait peau neuve! Faciles à consulter, ils vous donnent accès à une foule de renseignements utiles pour mieux écrire en français et en anglais.

Lexiques et vocabulaires

Accédez aux lexiques et vocabulaires du Bureau de la traduction.

Date de modification :