Quantification (logique) | EPFL Graph Search

Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Découvrez-en plus sur les applications Graph.

vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px 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). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers). Exemple : se lit et signifie « tout objet du domaine considéré possède la propriété P ». La notation « ∀ » a été utilisée pour la première fois par Gerhard Gentzen en 1933 (publié en 1934). Le mot allemand alle signifiant « tout », il propose un . Gentzen indique qu'il a choisi comme « symbole pour tout » (All-Zeichen) le A renversé par analogie avec le symbole « ∃ » pour le quantificateur existentiel qu'il tient de Russell. Quantification existentielle La quantification existentielle (« il existe un ... » au sens « il existe au moins un ... ») se note avec le signe ∃ (un E retourné). Plus précisément, signifie (un objet au moins du domaine considéré possède la propriété P) Pour exprimer l'unicité en plus de l'existence, le signe utilisé est ∃! (le quantificateur existentiel suivi d'un point d'exclamation), plus précisément, signifie il existe un unique x tel que P(x), ou encore il existe un et un seul x tel que P(x) (un objet exactement du domaine considéré possède la propriété P). Ce dernier quantificateur se définit en calcul des prédicats égalitaire à partir des deux quantificateurs précédents (et de l'égalité), par exemple par La notation ∃ a tout d'abord été employée par Giuseppe Peano en 1897 dans le volume II de son Formulaire de mathématiques avec une syntaxe différente, le signe étant directement associé au prédicat (∃ P pour notre ∃x P(x)). Bertrand Russell l'utilise le premier de la façon actuelle, comme un opérateur de liaison. La négation de est : soit : .

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (2)

NP Satisfiability for Arrays as Powers

Viktor Kuncak, Rodrigo Raya

We show that the satisfiability problem for the quantifier-free theory of product structures with the equicardinality relation is inNP. As an application, we extend the combinatory array logic fragmen

Springer, Cham2022

On Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of sof

2010

Personnes associées (3)

Viktor Kuncak, Ruzica Piskac, Philippe Paul Henri Suter

Concepts associés (101)

Cours associés (29)

Séances de cours associées (250)

MOOCs associés (3)

CS-101: Advanced information, computation, communication I

Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a

PHYS-758: Advanced Course on Quantum Communication

The aim of this doctoral course by Nicolas Sangouard is to lay the theoretical groundwork that is needed for students to understand how to take advantage of quantum effects for communication technolog

PHYS-314: Quantum physics II

L'objectif de ce cours est de familiariser l'étudiant avec les concepts, les méthodes et les conséquences de la physique quantique. En particulier, le moment cinétique, la théorie de perturbation, les

Cement Chemistry and Sustainable Cementitious Materials

Learn the basics of cement chemistry and laboratory best practices for assessment of its key properties.

Parallel programming

With every smartphone and computer now boasting multiple processors, the use of functional ideas to facilitate parallel programming is becoming increasingly widespread. In this course, you'll learn th

Parallel programming

Predicate variable

In mathematical logic, a predicate variable is a predicate letter which functions as a "placeholder" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as , and , or lower case roman letters, e.g., . In first-order logic, they can be more properly called metalinguistic variables.

Arithmétique du second ordre

En logique mathématique, l'arithmétique du second ordre est une théorie des entiers naturels et des ensembles d'entiers naturels. Elle a été introduite par David Hilbert et Paul Bernays dans leur livre Grundlagen der Mathematik. L'axiomatisation usuelle de l'arithmétique du second ordre est notée Z2. L'arithmétique de second ordre a pour conséquence les théorèmes de l'arithmétique de Peano (du premier ordre), mais elle est à la fois plus forte et plus expressive que celle-ci.

Branching quantifier

In logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.

Renseignements quantitatifs

Explore l'opérateur CHSH, l'auto-test, les eigenstates et la quantification du hasard dans les systèmes quantiques.

Logique principale : quantificateurs et formulaires normaux

Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.

Ensembles et opérations: Introduction aux mathématiques

Couvre les bases des ensembles et des opérations en mathématiques, des propriétés des ensembles aux opérations avancées.