Logique Quantificateurs Règles d'usage - Exemples

précédent

suivant résumé résumé

Exemple mathématique 

Interpréter les phrases formelles suivantes obtenues en inversant l'ordre des quantificateurs :

phrase 3  existe n N,   qq soit p N,   p inférieur ou égale n

phrase 4  qq soit p N,   existe n N,   p inférieur ou égale n

Rétablissons des parenthèses sous-entendues :

phrase 3  existe n N,   ( qq soit p N,   p inférieur ou égale n )

La propriété " qq soit p N,   p inférieur ou égale n" veut dire que n est plus grand que tous les entiers. La phrase 3 signifie donc qu'il existe un entier n plus grand que tous les autres. Ce qui est évidemment faux.

phrase 4  qq soit p N,   ( existe n N,   p inférieur ou égale n )

La propriété " existe n N,   p inférieur ou égale n" veut dire qu'étant donné p entier, on peut trouver un entier n plus grand que p. La phrase 4 signifie donc que pour chaque entier p, on peut trouver un entier plus grand, ce qui est vrai (par exemple p + 1 ou p + 15, ou encore p lui-même ...).