Logique Quantificateurs Présentation

suivant

détail détail

Quantificateurs

Le langage courant (français) est facilement ambigu : la phrase "tous les guichets sont fermés certains jours" , qui est grammaticalement irréprochable, signifie-t-elle "certains jours tous les guichets sont fermés" , ou bien signifie-t-elle "chaque guichet est fermé certains jours" , ce qui est tout différent ?
Les mathématiques, qui ont la prétention de pouvoir affirmer avec certitude que telle propriété est vraie, que telle autre est fausse, ne peuvent s'accommoder d'un tel risque de flou, même s'il doit être artistique. C'est la raison de la nécessité d'un langage précis spécifique aux mathématiques.
L'objet de ce cours est de présenter les signes qui dans le langage mathématique expriment la quantification, c'est à dire la quantité d'objets (aucun, certains, tous) pour lesquels une propriété est vraie, signes que l'on appelle des quantificateurs.