Négation d'une phrase avec quantificateurs
Négation d'une phrase universelle
\(\forall x\in E,~ P(x).\)
Comme on affirme qu'une propriété \("P"\) est universelle sur \(E,\) pour nier cette propriété, il suffit de trouver un contre-exemple.
Autrement dit :
\(\boxed{(non~ (\forall x\in E,~ P(x) )) \Leftrightarrow (\exists x\in E,~ non~ P(x)).}\)
Remarque : sur la phrase précédente
Nous avons mis des parenthèses car sinon nous avons deux interprétations possibles.
\("non~ P\Leftrightarrow Q"\) veut-il dire:
\("non~ (P\Leftrightarrow Q)"\)
ou
\("(non~ P)\Leftrightarrow Q"\)? ce qui n'est pas la même chose.
L'usage est plutôt \("(non~ P)\Leftrightarrow Q",\) mais il vaut mieux expliciter comme nous l'avons fait.
Négation d'une phrase existentielle
\(\exists x\in E,~ P(x)\)
On affirme ici que pour un \(x\) au moins, \("P"\) est vrai, ou encore que l'ensemble des \(x\) pour lesquels \("P"\) est vrai n'est pas vide.
Le contraire est évidemment que l'ensemble des \(x\) pour lesquels \("P"\) est vrai est vide ou encore que \("(non~ P)"\) est universelle :
\(\boxed{(non~ (\exists x\in E,~ P(x) )) \Leftrightarrow (\forall x\in E,~ non~ P(x)).}\)
Négation d'une phrase comportant plusieurs quantificateurs
Il suffit de se souvenir que ces phrases admettent un parenthésage implicite et d'appliquer progressivement les propriétés précédentes.
\(\forall x\in E,~ \exists y\in F,~ \forall z\in G,~\exists t\in T,~ P(x,~ y,~ z,~ t)\)
Rétablissons un parenthésage :
\(\forall x\in E, ~(\exists y\in F,~ (\forall z\in G,~ (\exists t\in T,~ P(x,~ y,~ z,~ t))))\)
prenons la négation :
\(non~(\forall x\in E, ~(\exists y\in F,~ (\forall z\in G,~ (\exists t\in T,~ P(x,~ y,~ z,~ t)))))\)
appliquons la première propriété :
\(\exists x\in E,~ non~(\exists y\in F,~ (\forall z\in G,~ (\exists t\in T,~ P(x,~ y,~ z,~ t))))\)
appliquons la deuxième propriété :
\(\exists x\in E, \forall y\in F,~non~ (\forall z\in G,~ (\exists t\in T,~ P(x,~ y,~ z,~ t)))\)
appliquons la première propriété :
\(\exists x\in E, \forall y\in F,\exists z\in G,~non~ (\exists t\in T,~ P(x,~ y,~ z,~ t))\)
appliquons la deuxième propriété :
\(\exists x\in E, \forall y\in F,\exists z\in G,\forall t\in T,~non~ P(x,~ y,~ z,~ t).\)
Récapitulation
Pour nier une phrase formelle commençant par plusieurs quantificateurs, conserve l'ordre d'écriture des variables, on change les \("\forall"\) en \("\exists",\) et les \("\exists"\) en \("\forall",\) puis on remplace la propriété \("P"\) par sa négation, \("non~P".\)
Attention :
Lorsqu'on veut écrire la négation d'une propriété mathématique, on commence par écrire soigneusement de façon formelle, sans oublier de quantificateurs et de signes logiques, ("et", "ou", "non", "implique", etc) la propriété directe. Puis on en prend la négation avec les règles précédentes.
Exemple :
Pour écrire qu'"un ensemble \(A,\) \((A \subset \mathbb R),\) n'est pas majoré", on commence par écrire la propriété \("A\) est majoré; (il existe un élément \(x\) qui est un majorant de \(A)"\) :
\(\exists x\in\mathbb R,~ \forall y\in A,~ y\leq x.\)
Ensuite on en prend la négation :
\(\forall x\in\mathbb R,~ \exists y\in A,~ y > x.\)
Si on veut, on retraduit en français: "pour chaque réel, on peut trouver dans \(A\) un réel strictement plus grand."