100% ont trouvé ce document utile (2 votes)
616 vues2 pages

Notions de La Logique

Le document contient de nombreux exercices de logique portant sur des propositions, leur négation, raisonnements par l'absurde, équivalence, implications, etc. Les exercices explorent différentes méthodes pour analyser et démontrer la validité de propositions.

Transféré par

youssefouahbi142
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
100% ont trouvé ce document utile (2 votes)
616 vues2 pages

Notions de La Logique

Le document contient de nombreux exercices de logique portant sur des propositions, leur négation, raisonnements par l'absurde, équivalence, implications, etc. Les exercices explorent différentes méthodes pour analyser et démontrer la validité de propositions.

Transféré par

youssefouahbi142
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
Vous êtes sur la page 1/ 2

Professeur : Soufiane Es.

Notions de La logique
L’année Scolaire :2023-2024 Série 01
Lycée Hassan II Bouizakarne 1BAC SEX 2

EXERCICE 01 EXERCICE 05

Écrire les propositions et les phrases suivantes à l’aide En utilisant le raisonnement par contre-exemple. Montrer
des connecteurs logiques et des quantificateurs. que les propositions suivantes sont fausses :
𝑷𝟏 : « il existe un rationnel solution de l’équation 𝟏
𝑷: (∀𝒙 ∈ ℝ∗ ); 𝒙 + ≥ 𝟐
𝒙𝟐 − 𝟐 = 𝟎 » 𝒙
𝑷𝟐 : « Pour tous rationnels 𝒙 et 𝒚 tels que 𝒙 < 𝒚 il 𝑸: « Pour tout entier naturel 𝒏, le nombre 𝒏𝟐 est impair »
existe un rationnel 𝒛 tel que : 𝒙 < 𝒛 < 𝒚 » 𝑹 : « (∀𝒙 ∈ ℝ)(∀𝒙 ∈ ℝ): 𝒙𝟐 + 𝒚𝟐 > 𝟎 »
𝑷𝟑 : « Pour tout entier naturel 𝒏 , il existe un entier 𝑺 : « tout entier naturel divisible par 2 et par 6 est
naturel 𝒎 tel que 𝒏 ≤ 𝒎 + 𝟐 » divisible par 12 »
𝑷𝟒 : « Pour tous réels 𝒙 et 𝒚 , √𝒚 + 𝟏 + (𝒙 − 𝟏)𝟐 = 𝟎 si
seulement si : 𝒙 = 𝟏 et 𝒚 = 𝟏 » EXERCICE 06
𝑷𝟓 : « Pour tout réel 𝒙 , si 𝒙 ∈ [𝟏, +∞[ alors 𝒙𝟐 ≥ 𝒙»
En utilisant le Résonnement par disjonction des cas :
𝑷𝟔 : « Tout entier naturel divisible par 3 est divisible
1) résoudre dans ℝ l’équation suivant
Par 9 »
𝒙𝟐 + |𝒙 − 𝟓| + 𝟓 = 𝟎
𝑷𝟕 : « pour tout a et b de ℝ ona : (𝒂 + 𝒃)𝟐 ≥ 𝟒𝒂𝒃 »
2) Résoudre dans ℝ𝟐 le système suivant :
𝟐|𝒙 + 𝟏| − 𝒚 = 𝟒
{
EXERCICE 02 |𝒙 + 𝟐| + 𝟐𝒚 = 𝟔
3) Montrer que :
𝒏(𝒏 + 𝟏)
On considère la proposition suivante: ∈ℕ
(𝑹): (∀𝒙𝝐ℝ)[ 𝒙𝟐 = 𝟐𝟓 ⇒ 𝒙 = 𝟓] 𝟐
a- Donner la négation de la proposition𝑹. 4) Montrer que : (∀𝒙 ∈ ℝ); √𝒙𝟐 + 𝟏 − 𝒙 > 𝟎
b- En déduire que la proposition 𝑹 est fausse.
EXERCICE 07

EXERCICE 03 En utilisant le raisonnement par contraposée. Montrer


Soit 𝑷 la proposition suivant : que :
(∀𝒚 ∈ ℝ)(∃𝒙 ∈ ℝ): 𝒙𝟐 + 𝒙𝒚 + 𝒚𝟐 = 𝟎
1) Déterminer la négation de la proposition 𝑷 .
2) Montrer que 𝑷 est fausse. 1) (∀𝒚 ∈ ℝ)(∀𝒙 ∈ ℝ); (𝒚 ≠ 𝟏 𝒆𝒕 𝒙 ≠ 𝟏) ⇒ 𝟏 + 𝒙𝒚 ≠ 𝒙 + 𝒚
2) (∀𝒙 ∈ ℝ∗ )(∀𝒚 ∈ ℝ∗ ):
𝟑 𝒙−𝒚
𝒚≠− 𝒙⇒ ≠𝟕
EXERCICE 04 𝟒 𝒙+𝒚
3) (∀𝒚 ∈ ℝ)(∀𝒙 ∈ ℝ)(∀𝒛𝝐ℝ) ;
Donner la négation des propositions suivantes : 𝟏 𝟏
𝒙+𝒚≤𝒛 ⇒𝒙 ≤ 𝒛 𝒐𝒖 𝒚 ≤ 𝒛
P : (∀𝒙 ∈ ℝ)(𝒙 ≥ 𝟎 𝒐𝒖 𝒙 ≤ 𝟎) 𝟐 𝟐
Q : (∃𝒙 ∈ ℝ)(𝒙𝟐 > 𝟓 𝒆𝒕 𝒙𝝐ℤ) 4) Pour tous 𝒙 et 𝒚 de [𝟎; +∞[ :
𝟐 𝟐
R : (∀𝒚 ∈ ℝ)(∃𝒙 ∈ ℝ); |𝒙𝒚| = 𝒙𝒚 ⇒ (𝒙 + 𝒚) ≥ 𝒙 + 𝒚 𝟐 √𝒙 √𝒚
(𝒙 ≠ 𝒚 𝒆𝒕 𝒙𝒚 ≠ −𝟏) ⇒ ≠
S : (∀𝒂 ∈ ℝ); 𝒂𝟐 ∈ ℤ ⇒ 𝒂 ∈ ℤ . 𝒙+𝟏 𝒚+𝟏
U : ∀(𝒂, 𝒃) ∈ ℝ𝟐 : 𝒂𝟐 + 𝒃𝟐 ≥ 𝒂𝒃 𝒐𝒖 |𝒂| + |𝒃| ≥ |𝒂 + 𝒃| 5) ∀(𝒙, 𝒚)𝝐ℝ𝟐 :
V : (∀𝒙 ∈ ℕ∗ ); (𝒙 ≠ 𝟏 ⇒ 𝒙 ≥ 𝟐) . (𝒚 ≠ 𝒙 𝒆𝒕 𝒙 + 𝒚 ≠ 𝟏) ⇒ (√𝒙𝟐 − 𝒙 + 𝟏 ≠ √𝒚𝟐 − 𝒚 + 𝟏)
M : (∀𝒚 ∈ ℝ)(∃𝒙 ∈ ℝ); (𝒙 ≤ 𝒚 𝒐𝒖 𝒙𝟐 𝒚 + 𝒚 = 𝟏)
N : (∀𝒙 ∈ ℝ): √𝟏 + 𝒙𝟐 − |𝒙| ≥ 𝟎
EXERCICE 08 EXERCICE 12
En utilisant le raisonnement par absurde :
En utilisant le raisonnement par équivalence :
1) Montrer que La fonction 𝒇 définie sur ℝ par : 1) Montrer que : (𝒂𝟑 + 𝒂 = 𝒃𝟑 + 𝒃) ⇔ 𝒂 = 𝒃
𝒇(𝒙) = 𝒙 + |𝒙| n’est pas paire. 2) Soit 𝒙𝝐ℝ+ . Montrer que :
2) 𝒙 , 𝒚 𝒆𝒕 𝒛 Des nombres réels tels que : √𝒙 𝟒
𝒙+𝒚+𝒛 >𝟏 𝟐
≤ √𝒙
𝒙 −𝒙+𝟏 𝟑
Montrer que 3) Soient 𝒙 𝒆𝒕 𝒚 deux réels positifs . Montrer que :
𝟏 𝟏 𝟏
𝒙 > 𝒐𝒖 𝒚 > 𝒐𝒖 𝒛 > √𝒙 + 𝒚 = √𝒙 + √𝒚 ⇔ (𝒙 = 𝟎 𝒐𝒖 𝒚 = 𝟎)
𝟑 𝟑 𝟑 4) Soient 𝒙 un nombre réel , Montrer que :
3) On considère les deux fonctions 𝒇 𝒆𝒕 𝒈 définies par : 𝟏 𝟑 𝟏 𝟑
𝒈(𝒙) = √𝒙𝟐 + 𝟒𝒙 + 𝟓 𝒆𝒕 𝒇(𝒙) = 𝒙 + 𝟐 |𝒙 − 𝟐| < ⇔ < <
𝟑 𝟏𝟏 𝒙 + 𝟐 𝟏𝟑
Montrer que (𝑪𝒇 ) 𝒆𝒕(𝑪𝒈 ) ne sont pas sécantes.
EXERCICE 13
EXERCICE 09 En utilisant raisonnement par implications successives.
En utilisant le raisonnement par récurrence, montrer 1) Soit 𝒙 un nombre réel. Montrer que :
que : 𝟏 𝟏
𝟐<𝒙<𝟒⇒ < <𝟏
1) (∀𝒏𝝐ℕ) : 𝟏 + 𝟐 + 𝟐𝟐 + ⋯ ⋯ + 𝟐𝒏 = 𝟐𝒏+𝟏 − 𝟏 𝟑 𝒙−𝟏
2) (∀𝒏𝝐ℕ∗ ) : 2) Montrer que :
𝒏𝟐 (𝒏 + 𝟏)𝟐 𝟏
𝟏 + 𝟐𝟑 + 𝟑𝟑 + ⋯ + 𝒏 𝟑 = (∀𝒙 ∈ ℝ); ( = 𝟏 − √𝒙) ⇒ 𝒙 = 𝟎
𝟒 𝟏 + √𝒙
3) (∀𝒏𝝐ℕ∗ ) : 3) Montrer que
𝟏 × 𝟐 + 𝟐 × 𝟑 + ⋯ ⋯ + 𝒏(𝒏 + 𝟏) =
𝒏(𝒏 + 𝟏)(𝒏 + 𝟐) ∀(𝒂, 𝒃) ∈ ℝ𝟐 , 𝒂𝟐 + 𝒃𝟐 = 𝟎 ⇒ 𝒂 = 𝟎 𝒐𝒖 𝒃 = 𝟎
𝟑 4) Soient 𝒙 et 𝒚 deux nombres réels positifs.
4) (∀𝒏𝝐ℕ∗ )
Montrer que :
𝟏 + 𝟑 + 𝟓 + ⋯ ⋯ + (𝟐𝒏 + 𝟏) = (𝒏 + 𝟏)𝟐
(𝒙 + 𝒚 + 𝟐 = 𝟐√𝒙 + 𝟐√𝒚) ⇒ (𝒙 = 𝒚 = 𝟏)
5) (∀𝒏𝝐ℕ∗ ) : « 𝟏𝟎𝒏 − 𝟏 est divisible par 9 »
6) (∀𝒏𝝐ℕ∗ ) : « 𝟑𝟐𝒏 − 𝟐𝒏 est divisible par 7 » EXERCICE 14
7) (∀𝒏𝝐ℕ) : « 𝟒𝟐𝒏+𝟐 − 𝟏 est divisible par15 »
8) (∀𝒏𝝐ℕ∗ ) :
𝟏 𝟏 𝟏 𝒏 On considère les deux propositions suivantes :
+ + ⋯⋯+ = 𝟏
𝟏×𝟐 𝟐×𝟑 𝒏(𝒏 + 𝟏) 𝒏 + 𝟏 𝑷: (∃𝒙 ∈ ℝ); √𝟏 + 𝒙𝟐 =
√𝟏 + 𝒙𝟐
𝟐
𝒆𝒕 𝑸: (∀𝒚 ∈ ℝ)(∃𝒙 ∈ ℝ); 𝒙 + 𝒙𝒚 + 𝟏 < 𝟎
EXERCICE 10 1) Donner la négation des deux propositions 𝑷 et 𝑸 .
2) Montrer que 𝑷 est vraie et 𝑸 est fausse.
1) Soient 𝒂 et 𝒃 deux nombres rationnelles tels que 3) Déduire la valeur de vérité de la proposition suivante :
𝒂 + 𝒃√𝟐 = 𝟎 Montrer que 𝒂 = 𝟎 et 𝒃 = 𝟎 . (∀𝒚 ∈ ℝ)(∃𝒙 ∈ ℝ):
𝟏
2) En déduire que (𝒙, 𝒚, 𝒙′ , 𝒚′ ) ∈ ℚ𝟒 𝒙𝟐 + 𝒙𝒚 + 𝟏 ≥ 𝟎 ⇒ √𝟏 + 𝒙𝟐 ≠
𝒙 + 𝒚√𝟐 = 𝒙′ + 𝒚′ √𝟐 ⇒ 𝒙 = 𝒙′ 𝒆𝒕 𝒚 = 𝒚′ √𝟏 + 𝒙𝟐

EXERCICE 11

On considère la fonction 𝒇 défini sur ℝ par :


𝒇(𝒙) = 𝒙𝟐 − 𝟐𝒙 − 𝟖
Et la proposition suivante :
𝑷 ∶ " ∀(𝒂, 𝒃)𝝐ℝ𝟐 ; 𝒇(𝒂) = 𝒇(𝒃) ⇒ 𝒂 = 𝒃 .
1)Résoudre dans ℝ l’équation 𝒇(𝒙) = 𝟎 .
2) Donner la négation de la proposition 𝑷 .
3) Déduire que 𝑷 est fausse.

Vous aimerez peut-être aussi