Concept information
Terme préférentiel
quantificateur
Définition
-
En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs).
(Wikipedia, L'Encylopédie Libre, https://fr.wikipedia.org/wiki/Quantification_(logique))
Concept générique
Traductions
-
anglais
URI
http://data.loterre.fr/ark:/67375/PSR-D5C3Z49W-5
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}