Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00051860n
Noun Concept
Categories: Logique mathématique, Symbole mathématique, Concept logique
FR
Quantification  quantificateur  pour tout  quanteur  quantificateur universel
FR
En mathématiques, les expressions « pour tout » et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Wikipedia
French:
logique
Definitions
Relations
Sources
FR
En mathématiques, les expressions « pour tout » et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Wikipedia
Un opérateur reliant une ou plusieurs variables à une quantité. Wikipedia Disambiguation
Type d'expression logique et symbole associés qui expriment l'existence d'un objet vérifiant une propriété ou que tous les objets vérifient une propriété Wikidata
IS A
mot
opération
opérateur
HAS PART
quantification existentielle
quantification universelle
HAS KIND
quantificateur existentiel
EN
counting quantification
EN
bounded quantifier
quantification existentielle
quantification universelle
CATEGORY DOMAIN
logique
HAS QUALITY
EN
quantifier rank
USE
Quantification
USES
Quantification
French (WOLF) Open Multilingual WordNet
FR
quantificateur
Wikipedia
FR
Quantification (logique)
Wikidata
FR
quantification
Wikipedia Redirections
FR
pour tout, quantificateur (logique), quantificateur universel, quantificateurs existentiels, Quantification universelle, ∀
Wikidata Alias
FR
quanteur, quantificateur
WordNet Translations
FR
quantificateur logique

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License