Concept
Quantification existentielle
Concepts associés (23)
Algèbre cylindrique
En mathématiques, la notion d'algèbre cylindrique, inventée par Alfred Tarski, est survenue naturellement dans l'algébrisation de la logique du premier ordre équationnelle. Une algèbre cylindrique de dimension (où est un nombre ordinal) est une structure algébrique tel que est une algèbre booléenne, un opérateur unaire sur pour tout , et un élément distingué de pour tout et , de telle sorte que: (C1) (C2) (C3) (C4) (C5) (C6) Si , alors (C7) Si , alors En supposant une présentation de la logique du premier ordre sans symboles de fonction, l'opérateur modélise quantification existentielle sur la variable dans la formule tandis que l'opérateur l'égalité des modèles des variables et .
Instanciation universelle
En logique, l'instanciation universelle (également appelée Dictum de omni) est une règle d'inférence qui permet, à partir d'une vérité sur l'ensemble des membres d'une classe d'entités, d'inférer une vérité sur une entité particulière de cette classe. Elle est généralement considérée comme une règle de quantification pour le quantificateur universel, mais elle peut également être énoncée en tant qu'axiome. C'est l'un des principes de bases de la théorie de la quantification. Exemple : « Tous les hommes sont mortels.
Forme prénexe
Une formule de la logique du premier ordre est en forme prénexe si tous ses quantificateurs ( et ) apparaissent à gauche dans cette formule. C’est-à-dire, G est en forme prénexe si et seulement si avec et une formule sans quantificateurs. Toutes les formules du premier ordre sont logiquement équivalentes à une formule en forme prénexe. La complexité d'une formule de logique mise en forme prénexe se mesure à son premier quantificateur et au nombre d'alternance de blocs de quantificateurs universels ou existentiels qui le suivent et précèdent la formule sans quantificateur.