Logique Quantificateurs Sens d'une phrase formelle

précédent

suivant résumé résumé

Sens d'une phrase formelle

Considérons la propriété "P(x, y)" voulant dire x aime y. Si nous écrivons les deux phrases formelles suivantes, leur sens est très différent.

phrase 1    qq soit x Eexiste y E,   P(x, y)

phrase 2    existe y Eqq soit x E,   P(x, y)

Pour mieux saisir cette différence, il faut comprendre qu'un système de parenthèses est sous entendu lorsque plusieurs quantificateurs se suivent. Si nous les rétablissons, cela donne :

phrase 1    qq soit x E,  ( existe y E,   P(x, y))

ou encore :

phrase 1    qq soit x EQ(x)

"Q(x)" est la propriété " existe y E,   P(x, y)". La propriété "Q(x)" signifie x aime au moins une personne.
La phrase 1 affirme pour chaque élément x de l'ensemble E l'existence d'une personne aimée E, y pouvant dépendre de x.

phrase 2   existe y E,   ( qq soit x E,   P(x, y) )

ou encore :

phrase 2    existe y E,   R(y)

avec pour "R(y)" la propriété " qq soit x E,   P(x, y)". La propriété "R(y)" signifiant y est aimé par tout le monde.
La phrase 2 affirme donc l'existence d'une personne y au moins, qui est aimée par toutes les personnes (y compris par elle-même).

Logique Quantificateurs Sens d'une phrase formelle

précédent

suivant résumé résumé