Série 1 : notions de logique

▪ Professeur : Nadif Youssef

▪ Année scolaire : 2022 - 2023
▪ Niveau scolaire : 1 BAC sciences expérimentales
Lycée Qualifiant Abi Chouaib Eddoukkali

EXERCICE 1 EXERCICE 3
Écrire les propositions suivantes à l’aide des connecteurs Donner la valeur de vérité de chacune des propositions
logiques et des quantificateurs : suivantes :

▪ 𝑷𝟏 : « Quel que soit le nombre réel 𝒂 , et quel que ▪ 𝑷𝟏 : « ∃𝒙 ∈ ℝ ; 𝒙𝟐 + 𝟏 = 𝟎 »

soit le nombre réel négatif 𝒃 , le nombre 𝒂 + 𝒃 est
▪ 𝑷𝟐 : « ∃𝒙 ∈ ℝ ∃𝒚 ∈ ℝ ; 𝒙 + 𝒚 = 𝟎 »
négatif »
▪ 𝑷𝟐 : « Il existe au moins un nombre réel positif dont ▪ 𝑷𝟑 : « ∀𝒙 ∈ ℝ ; 𝒙𝟐 = 𝒙 »
le carré est strictement supérieur à 𝟑𝟒 »
▪ 𝑷𝟒 : « ∀𝒙 ∈ ℝ ; 𝒙𝟐 + 𝟏 > 𝒙 »
▪ 𝑷𝟑 : « Pour tous réels 𝒂 et 𝒃 , on a 𝒂 + 𝒃 𝟐 ≥ 𝟒𝒂𝒃 »
▪ 𝑷𝟒 : « Pour tout nombre rationnel 𝒓 , il existe au ▪ 𝑷𝟓 : « ∃𝒙 ∈ ℝ ; 𝒙𝟐 + 𝒙 + 𝟏 = 𝟎 »
moins un nombre rationnel 𝒑 tel que : 𝒓𝟐 > 𝒑 » 𝟐𝒙−𝟏
▪ 𝑷𝟔 : « ∃𝒙 ∈ ℝ∗ ; =𝟏 »
▪ 𝑷𝟓 : « L’équation 𝒙𝟐 − 𝟑𝒙 + 𝟏 = 𝟎 admet au moins 𝒙

une solution réelle » ▪ 𝑷𝟕 : « ∃𝒑 ∈ ℤ ; 𝒑𝟐 = 𝟐 »

▪ 𝑷𝟔 : « L’équation 𝒙𝟐 = −𝟏 n’pas de solution dans ℝ » ▪ 𝑷𝟖 : « ∀ 𝒂; 𝒃 ∈ ℝ𝟐 ; 𝒂 + 𝒃 𝟐
≥ 𝟐𝒂𝒃 »
▪ 𝑷𝟕 : « Il n’existe aucun réel 𝒙 qui vérifie : 𝒙𝟐 = 𝟐 »
▪ 𝑷𝟖 : « Pour tout réel 𝒙 , il existe un unique entier ▪ 𝑷𝟗 : « ∀𝒙 ∈ ℝ ; 𝒙𝟐 + 𝟐𝒙 = −𝟏 ⟺ 𝒙 = −𝟏 »
relatif 𝒑 tel que : 𝒑 ≤ 𝒙 ≤ 𝒑 + 𝟏 » ▪ 𝑷𝟏𝟎 : « ∀𝒂 ∈ ℤ ; 𝒂𝟐 = 𝟏 ⟺ 𝒂 = 𝟏 »
▪ 𝑷𝟗 : « Si un nombre réel quelconque est inferieur à ▪ 𝑷𝟏𝟏 : « ∀𝒂 ∈ ℤ ; 𝒂𝟐 ∈ ℕ ⟺ 𝒂 ∈ ℕ »
− 𝟏 alors c’est un nombre réel strictement négatif »
▪ 𝑷𝟏𝟐 : « ∀𝒙 ∈ ℝ+ ∶ 𝒙𝟐 = 𝟒 ⟹ 𝒙 = 𝟐 »
▪ 𝑷𝟏𝟎 : « Le produit de deux nombres réels
quelconques est nul si et seulement si l'un d'eux est EXERCICE 4 : Lois logiques
nul »
À l’aide du tableau de vérité , Montrer que toutes les
EXERCICE 2 propositions suivantes sont des lois logiques :
Donner la négation de chacune des propositions ❶ ഥ
𝑷 ⟹ 𝑸 ⟺ 𝑷 𝒆𝒕 𝑸
suivantes : ❷ ഥ⟹𝑷
𝑷⟹𝑸 ⟺ 𝑸 ഥ

▪ 𝑷𝟏 : « ∃𝒏 ∈ ℕ ; 𝒏 + 𝟏 ≤ 𝒏𝟐 » ❸ 𝑷 𝒆𝒕 𝑷 ⟹ 𝑸 ⟹𝑸
▪ 𝑷𝟐 : « ∃𝒏 ∈ ℕ ∀𝒎 ∈ ℕ ; 𝒏 = 𝟐𝒎 » ❹ ഥ ഥ
𝑷 ⟹ 𝑸 𝑒𝑡 𝑸 ⟹𝑷

▪ 𝑷𝟑 : « ∀𝒙 ∈ 𝟏 ; +∞ ; 𝒙≠𝒙 » EXERCICE 5 : Raisonnement par équivalences

▪ 𝑷𝟒 : « ∀𝒙 ∈ ℝ ∃𝒂 ∈ ℤ ; 𝒂 ≤ 𝒙 < 𝒂 + 𝟏 » successives

▪ 𝑷𝟓 : « ∀𝒙 ∈ ℝ+ ; 𝒙𝟐 + 𝟏 > 𝒙 𝑒𝑡 𝒙𝟐 + 𝟏 > −𝒙 » ❶ Montrer que :

▪ 𝑷𝟔 : « ∀𝒙 ∈ ℝ+ ; 𝒙 < 𝒙 𝑜𝑢 𝒙−𝟏≥ 𝟎 » ∀ 𝒙; 𝒚 ∈ ℝ𝟐 ; 𝟏 + 𝒙𝒚 = 𝒙 + 𝒚 ⟺ 𝒙 = 𝟏 𝑜𝑢 𝒚 = 𝟏

▪ 𝑷𝟕 : « ∀𝒂 ∈ ℝ ; 𝒂 + 𝟏 ≤ 𝟐 ⟹ 𝒂 > −𝟑 » ❷ Montrer que :

𝒙
▪ 𝑷𝟖 : « ∃𝒙 ∈ ℝ ; 𝒙+𝟏=𝟏+𝟐 ⟹ 𝒙=𝟎 » ∀𝒙 ∈ ℝ ; 𝒙𝟐 + 𝟓 ≥ 𝟑 ⟺ 𝒙 ≥ 𝟐 𝑜𝑢 𝒙 ≤ −𝟐

▪ 𝑷𝟗 : « ∃𝒏 ∈ ℕ ; 𝟏𝟗 < 𝒏𝟐 < 𝟐𝟗 ⟹ 𝒏 = 𝟓 » ❸ Soit 𝒂 , 𝒃 et 𝒄 trois réels positifs .

a) Montrer que : 𝒂 + 𝒃 ≥ 𝟐 𝒂𝒃
▪ 𝑷𝟏𝟎 : « ∀𝒙 ∈ ℝ ; 𝒙𝟐 = 𝒙 ⟹ 𝒙𝟐 = 𝒙 𝒐𝒖 𝒙𝟐 = −𝒙 »
b) En déduire que : (𝒂 + 𝒃)(𝒂 + 𝒄)(𝒃 + 𝒄) ≥ 𝟖𝒂𝒃𝒄
1
EXERCICE 6 : Raisonnement par contraposée EXERCICE 7 : Raisonnement par absurde
❶ Montrer que : ❶ Montrer que :
𝟑 𝒙−𝒚 𝒙𝟐
∀ 𝒙; 𝒚 ∈ ℝ∗𝟐 ; 𝒚 ≠ − 𝒙 ⟹ ≠𝟕 ∀𝒙 ∈ ℝ∗ ; 𝟏 + 𝒙𝟐 ≠ 𝟏 +
𝟒 𝒙+𝒚 𝟐
❷ Montrer que : ❷ Montrer que : ∀𝒏 ∈ ℕ∗ ; 𝒏𝟐 + 𝟏 ∉ ℕ
∀ 𝒙; 𝒚 ∈ ℝ𝟐 ; 𝒙𝒚 ≠ 𝟏 𝑒𝑡 𝒙 ≠ 𝒚 ⟹ 𝒙𝒚𝟐 + 𝒙 ≠ 𝒚𝒙𝟐 + 𝒚
❸ Montrer que : 𝟐∉ℚ
❸ Montrer que : ∀𝒏 ∈ ℕ ; 𝒏𝟐 𝑒𝑠𝑡 𝑝𝑎𝑖𝑟 ⟹ 𝒏 𝑒𝑠𝑡 𝑝𝑎𝑖𝑟
❹ Soit 𝑨𝑩𝑪 un triangle dont les longueurs des cotés
sont 𝟑𝒂 , 𝟒𝒂 et 𝟔𝒂 où 𝒂 ∈ ℝ∗+ .
Montrer que le triangle 𝐴𝐵𝐶 n’est pas rectangle .

EXERCICE 8 : Raisonnement par disjonction des cas EXERCICE 9 : Raisonnement par récurrence
❶ Résoudre dans ℝ les équations suivantes : Montrer par récurrence que :
𝑬𝟏 ∶ 𝟐𝒙 − 𝟏 + 𝒙 = 𝟓
❶ ∀𝒏 ∈ ℕ ; 𝟏 + 𝟐 + 𝟐𝟐 + ⋯ + 𝟐𝒏 = 𝟐𝒏+𝟏 − 𝟏
𝑬𝟐 ∶ 𝒙 − 𝟒 − 𝟑 𝒙 − 𝟏 = −𝟏𝟏
𝑬𝟑 ∶ 𝟐𝒙𝟐 − 𝒙 − 𝟑 − 𝟒 = 𝟎 𝟐
𝒏 𝒏+𝟏
❷ ∀𝒏 ∈ ℕ∗ ; 𝟏𝟑 + 𝟐𝟑 + 𝟑𝟑 + ⋯ + 𝒏𝟑 =
❷ Montrer que : 𝟐
∀𝒏 ∈ ℕ ; 𝒏 𝒏 + 𝟏 𝒏 + 𝟐 est un nombre pair .
❸ ∀𝒏 ∈ ℕ ; 𝟏 + 𝟑 + 𝟓 + ⋯ + 𝟐𝒏 + 𝟏 = 𝒏 + 𝟏 𝟐

❹ ∀ 𝒏 ∈ ℕ ; 𝟔𝒏 − 𝟏 est divisible par 𝟓

❺ ∀ 𝒏 ∈ ℕ∗ − 𝟏 ; 𝟗𝒏−𝟏 − 𝟏 est divisible par 𝟖

❻ ∀𝒏∈ℕ ; 𝟑𝒏 ≥ 𝟐𝒏 + 𝟏