- Quantificateur universel
-
Quantificateur (logique)
Pour les articles homonymes, voir Quantificateur.
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 et le symbole qui les représente en langage formel est appelé un quantificateur.Quantification universelle
La quantification universelle est représentée en notations mathématiques par un A à l'envers (∀) ; elle exprime "pour tout" ou "quel que soit".
Par exemple, l'assertion, exprimée en langue naturelle,
-
- pour tout x, x satisfait la propriété P
s'énonce formellement :
-
- ∀x P(x)
La notation ∀ vient de l'allemand Alle (qui signifie « tous » en français).
Quantification existentielle
La quantification existentielle est représentée par un E retourné (∃) ; elle exprime « il existe un ». Cette notation peut être suivie d'un ! Ce qui indique l'unicité de l'élément qui suit, la signification devient alors « il existe un unique ». Par exemple, l'assertion, exprimée en langue naturelle,
-
- il existe un x qui satisfait la propriété P
s'énonce formellement :
-
- ∃x, P(x)
tandis que
-
- il existe un unique n, (suivi d'un prédicat)
s'énonce formellement :
-
- ∃! n, suivi du prédicat
La notation ∃ vient de l'allemand Existieren.
Voir aussi
- Théorie de la description définie de Bertrand Russell
- Théorie des mondes possibles
Catégories : Logique | Logique mathématique -
Wikimedia Foundation. 2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Quantificateur universel de Wikipédia en français (auteurs)
См. также в других словарях:
Quantificateur universel — ● Quantificateur universel symbole noté ∀ (qui s énonce pour tout) et exprimant qu une certaine propriété appartient à tous les éléments d un ensemble … Encyclopédie Universelle
universel — universel, elle [ ynivɛrsɛl ] adj. et n. m. • v. 1265; var. universal; lat. universalis « relatif au tout » → univers 1 ♦ Log. Qui concerne la totalité des individus d une classe (proposition universelle), qui est pris dans toute son extension… … Encyclopédie Universelle
quantificateur — [ kɑ̃tifikatɶr ] n. m. • 1929 ling.; de quantifier ♦ Log. Symbole qui lie une ou plusieurs variables à une quantité. Quantificateur universel (∀ = « pour tout »). Quantificateur existentiel (∃ = « il existe au moins un »). ● quantificateur ou… … Encyclopédie Universelle
Quantificateur — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sur les autres projets Wikimedia : « Quantificateur », sur le Wiktionnaire (dictionnaire universel) En grammaire, un quantificateur est une … Wikipédia en Français
quantifieur — ● quantificateur ou quantifieur nom masculin Déterminant exprimant une idée de quantité (par exemple tout, deux, chaque). Symbole spécifique d un langage formel, dont l emploi syntaxique est régi par des règles de formation et d inférence et dont … Encyclopédie Universelle
universelle — ● universel, universelle adjectif (bas latin universalis) Qui concerne l Univers, le cosmos : Gravitation universelle. Qui s étend sur toute la surface de la terre : Domination universelle d une superpuissance. Qui a des connaissances en tout :… … Encyclopédie Universelle
Logique intuitionniste — L intuitionnisme est une position philosophique vis à vis des mathématiques proposée par le mathématicien hollandais Luitzen Egbertus Jan Brouwer comme une alternative à l approche dite classique. Elle a été ensuite formalisée, sous le nom de… … Wikipédia en Français
Style de Fitch pour la deduction naturelle — Style de Fitch pour la déduction naturelle Le logicien Fitch a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1… … Wikipédia en Français
Style de Fitch pour la déduction naturelle — Le logicien Frederic Brenton Fitch (en) a proposé une variante de la déduction naturelle où les démonstrations sont présentées de façon linéaire, renonçant à la structure arborescente proposée par Gentzen. Sommaire 1 Introduction … Wikipédia en Français
NOTATION MATHÉMATIQUE — Pour connaître une langue naturelle, il n’est pas nécessaire d’en apprendre l’histoire ni, pour comprendre sa littérature, de faire l’étude historique de la grammaire et du vocabulaire. À cet égard, le langage mathématique, en raison de son… … Encyclopédie Universelle
