Prof.
BELLA Mustapha Notions de logique 2021-2022
Exercice 1
Ecrire à l’aide des quantificateurs les propositions suivantes :
1. Le carré de tout réel est positif.
2. certains réels sont strictement supérieur à leur carré.
3. la somme de deux nombres positifs quelconque est un nombre positif.
4. Il existe au moins un réel x tel que son cube est supérieur à 32.
5. Pour chaque entier naturel,on peut trouver un entier strictement plus grand.
6. f est une fonction strictement croissante
Exercice 2
Ecrire√la négation
√ √des propositions suivantes :
1. 8 ≥ 5 + 3
2. (∀x ∈ R)(∃y ∈ R) x < y
3. (∀x ∈ R) x2 − 5x + 4 = 0
4. (∀x ∈ R)(∃y ∈ R) xy 6= y
5. (∀x ∈ R) x > 1 ou x ≤ 1
6. (∀a ∈ R) a2 ∈ Z =⇒ a ∈ Z
Exercice 3
Soit x ety deux nombres réels, compléter par le symbole logique qui convient ( =⇒ , ⇐=
, ⇐⇒ )
1. x = 2.............x2 = 4
2. xy > 0.............x > 0 et y > 0
3. x1 > 0.........x > 0
4. x1 > 12 ..........x > 2
5. ABC est rectangle en A ..............AB 2 + AC 2 = BC 2
6. xest un multiple de 5...................le chiffre des unités est 5
7. x ∈ [−1,5]...................x ≤ 5
Exercice 4
Soient x et y deux nombres réels,montrer que :
1. 2 ≤ x ≤ 4 =⇒ 13 ≤ x−1
1
≤1
√
2. (∀x ∈ R) 1+ x = 1 − x =⇒ x = 0
1√
3. x2 + y 2 = 0 ⇐⇒ x = 0√et y = 0 √
4. x+1
1
= x + 1 =⇒ x = 2 ou x = − 2
Exercice 5
1. En utilisant le raisonnement par contre exemple, montrer que la proposition :
”(∀x ∈ R∗ ) x + x1 ≥ 2” est fausse
2. En utilisant le raisonnement par équivalences successives montrer que :
- (∀a ∈ R+∗ ) (∀b ∈ R+∗ ) ab + ab ≤ 2
3. En utilisant le raisonnement par contraposée montrer que :
- (∀x ∈ R) (∀y ∈ R) x 6= 0 =⇒ x−y x+y 6= −1
-x 6= y =⇒ (x + 1)(y − 1) 6= (x − 1)(y + 1)
4. En utilisant le raisonnement par absurde montrer que :
1
Prof. BELLA Mustapha Notions de logique 2021-2022
- 0 n’est pas une racine du polynôme : P (x) =
x3 + 12x − 1
2x-3y>3
-le système suivant n’admet aucune solution 3x-2y>3
y-z ≤2
Exercice 6
Montrer par récurrence les propositions suivantes :
1. (∀n ∈ N) 3n ≥ 2n + 1
2. pour tout entier n ≥ 4 2n ≥ 4n
3. (∀n ∈ N∗ ) 1 + 2 + 3 + 4 + ..............n = n(n+1)
2 En utilisant le raisonnement par
disjonction des cas résoudre dans R l’equation suivante :
-x2 + | (x − 2) | +5 = 0
