Logique Quantificateurs Règles d'usage - Récapitulation

précédent

suivant résumé résumé

Récapitulation :

qq soit x Eexiste y F,   P(x, y)

pour chaque x il y a un y, fonction de cet x, tel que...


existe y F,   qq soit x E,   P(x, y)

il y a un y, le même pour tous les x, tel que...




On comprend pourquoi il faut mettre les quantificateurs devant la propriété qu'ils quantifient : si on se permettait d'écrire :

existe y F, P(x, y), qq soit x E

on ne saurait jamais laquelle des deux formules précédentes on veut exprimer.