Logique Quantificateurs Présentation

précédent

suivant résumé résumé

Quantificateur universel    qq soit


Le quantificateur qq soit se lit:

pour tout,

quelque soit,

pour chaque

pour n'importe quel

Quantificateur existentiel    existe

Le quantificateur existe se lit:   il existe

L'usage de ces quantificateurs est très précis et diffère de l'usage intuitif du langage ordinaire. Cette précision est nécessaire pour que les formules écrites avec des quantificateurs aient un sens précis et non ambigu. C'est pourquoi il importe de prendre conscience des règles d'utilisation de ces quantificateurs.