Explorer les Livres électroniques
Catégories
Explorer les Livres audio
Catégories
Explorer les Magazines
Catégories
Explorer les Documents
Catégories
Les quantificateurs :
Définition :
2)La proposition ≪ 𝑖𝑙 𝑒𝑥𝑖𝑠𝑡𝑒 𝑎𝑢 𝑚𝑜𝑖𝑛𝑠 𝑢𝑛 é𝑙é𝑚𝑒𝑛𝑡 𝑥 𝑑𝑒 𝐸 𝑡𝑒𝑙 𝑞𝑢𝑒 𝑃(𝑥) 𝑒𝑠𝑡 𝑣𝑟𝑎𝑖𝑒 ≫ 𝑠 ′ é𝑐𝑟𝑖𝑡
≪ ∃𝑥 ∈ 𝐸, 𝑃(𝑥) ≫ ou ≪ ∃𝑥 ∈ 𝐸/𝑃(𝑥) ≫.
3) La proposition ≪ 𝑖𝑙 𝑒𝑥𝑖𝑠𝑡𝑒 𝑢𝑛 𝑢𝑛𝑖𝑞𝑢𝑒 é𝑙é𝑚𝑒𝑛𝑡 𝑥 𝑑𝑒 𝐸 𝑡𝑒𝑙 𝑞𝑢𝑒 𝑃(𝑥) 𝑒𝑠𝑡 𝑣𝑟𝑎𝑖𝑒 ≫ 𝑠 ′ é𝑐𝑟𝑖𝑡
≪ ∃! 𝑥 ∈ 𝐸, 𝑃(𝑥) ≫.
Propriétés :
Soient 𝐸 et 𝐹 deux ensembles et 𝑃(𝑥, 𝑦) une proposition qui dépend de deux variables 𝑥 et 𝑦 où 𝑥 est
un élément de 𝐸 et 𝑦 est un élément de 𝐹 alors
Exemples :
1)∀𝑥 ∈ ℝ, 𝑓(𝑥) = 0.
2)∀𝑥 ∈ ℝ, 𝑓(𝑥) = 𝑥.
3)∃! 𝑥 ∈ ℝ, sin 𝑥 = 𝑥.
1
1)𝑛𝑜𝑛 ≪ ∀𝑥 ∈ 𝐸, 𝑃(𝑥) ≫⇔≪ ∃𝑥 ∈ 𝐸, 𝑛𝑜𝑛𝑃(𝑥) ≫.
Exemples :
1)∃𝑥 ∈ ℝ, ∀𝑦 ∈ ℝ ∕ 𝑥 + 𝑦 > 0.
𝒏𝒐𝒏1)⇔ ∀𝑥 ∈ ℝ, ∃ 𝑦 ∈ ℝ ∕ 𝑥 + 𝑦 ≤ 0.
2) ∀𝑥 ∈ ℝ, 𝑓( 𝑥) ≤ 1.
𝒏𝒐𝒏2)⇔ ∃𝑥 ∈ ℝ, 𝑓( 𝑥) > 1.
Nous allons démontrer sa contraposée c’est-à-dire : 𝑛𝑜𝑛(𝑛 𝑒𝑠𝑡 𝑝𝑎𝑖𝑟) ⇒ 𝑛𝑜𝑛(𝑛2 𝑒𝑠𝑡 𝑝𝑎𝑖𝑟)
On a démontré que la contraposée est vraie d’où pour 𝑛 ≥ 2, 𝑛2 𝑒𝑠𝑡 𝑝𝑎𝑖𝑟 ⇒ 𝑛 𝑒𝑠𝑡 𝑝𝑎𝑖𝑟.
3)La démonstration par l’absurde :
On suppose vraie la négation de l’énoncé à démontrer et on démontre que cette hypothèse conduit
à une contradiction.
Exemple :
2
𝑝 𝑝2
On a : √2 = 𝑞 ⇒ 2 = 𝑞2 ⇒ 𝑝2 = 2𝑞 2 d’où 𝑝2 est pair et d’après l’exemple précédent 𝑝 est pair donc il
existe 𝑚 ∈ ℕ/𝑝 = 2𝑚 puisque 𝑝2 = 2𝑞 2 on obtient 𝑞 2 = 2𝑚2 ⇒ 𝑞 2 est pair, on en déduit que 𝑞 est
pair ce qui signifie qu’il existe 𝑙 ∈ ℕ⁄𝑞 = 2𝑙.
On a donc fait apparaitre un diviseur commun à 𝑝 𝑒𝑡 𝑞 (à savoir le 2) ce qui est contraire à notre
hypothèse 𝑝 𝑒𝑡 𝑞 premier entre eux par conséquent √2 ∉ ℚ.
4)La démonstration d’une assertion quantifiée :
a) Pour prouver qu’une proposition de la forme ≪ ∃𝑥 ∈ 𝐸, 𝑃(𝑥) ≫ est vraie, il suffit de trouver un
élément 𝑥 ∈ 𝐸 satisfaisant à la condition.
Exemple :
3
(𝑛+1)(𝑛+2)
∀𝑛 ≥ 1, 1 + 2 + ⋯ + 𝑛 + (𝑛 + 1) =
2
𝑛(𝑛+1)
On a 𝑃(𝑛) est vraie ⇔∀𝑛 ≥ 1, 1 + 2 + ⋯ + 𝑛 = 2
𝑛(𝑛+1)+2(𝑛+1) (𝑛+1)(𝑛+2)
⇔1 + 2 + ⋯ + 𝑛 + (𝑛 + 1) = 2
= 2