Quantification (logique)
symboles mathématiques, précisant comment une propriété est vérifiée par un objet
Quantification (logique)
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).
Lire sur Wikipédia · Image TealComet, CC0
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement