quantificateur logique

Désignations

français	quantificateur logique (correct,masculine noun) CONT: Parmi les tentatives de donner plus de rigueur aux représentations en réseaux sémantiques, citons (...) l'introduction de la logique du premier ordre, c'est-à-dire principalement la possibilité d'utiliser les quantifieurs logiques dans les réseaux. synonyme : quantifieur logique (correct,masculine noun)
anglais	logical quantifier (correct) synonyme : logical quantizer

Codes : pays ou zone où la désignation a cours (CH, FR, DE, EU = Union européenne, INT = usage international). Une désignation barrée est déconseillée.

Définitions

anglais: A prefix that binds the variables in a logical formula by specifying their quantity. See existential operator, universal quantifier.

Classement

Collections

Électronique et informatique informatics

Domaines

Intelligence artificielle

API

curl -H "Authorization: Token VOTRE_CLE" \
  "https://opendata.altius-group.ch/language/terminology/api/v1/concepts/termium-24d6498fae95802b/"

Données : TERMIUM Plus, Bureau de la traduction, gouvernement du Canada. Licence du gouvernement ouvert – Canada.