Pierre-Louis CAYREL 2008-2009
Licence 1 Introduction aux Mathématiques Générales
Université de Paris 8
Exercices de logique
Exercice 1 Ecrire les contraposées des implications suivantes et les démontrer. n est un entier
naturel, x et y sont des nombres réels.
1. n premier ⇒ n = 2 ou n est impair ,
2. xy 6= 0 ⇒ x 6= 0 et y 6= 0 ,
3. x 6= y ⇒ (x + 1)(y − 1) 6= (x − 1)(y + 1) .
Exercice 2 Ecrire les réponses aux questions suivantes, portant sur des entiers naturels, sous
la forme d’assertions mathématiques (écrites avec les symboles “∀”, “et”, “ou”, “⇒”, “⇔”) et
les prouver.
1. Le produit de deux nombres pairs est-il pair ?
2. Le produit de deux nombres impairs est-il impair ?
3. Le produit d’un nombre pair et d’un nombre impair est-il pair ou impair ?
4. Un nombre entier est-il pair si et seulement si son carré est pair ?
Exercice 3 Soient les quatre assertions suivantes :
1. ∃ x ∈ R, ∀ y ∈ R, x + y > 0 ,
2. ∀ x ∈ R, ∃ y ∈ R, x + y > 0 ,
3. ∃ x ∈ R, ∀ y ∈ R, y 2 > x ,
4. ∀ ε ∈ R+∗ , ∃ α ∈ R+∗ , |x| < α ⇒ |x2 | < ε .
Les assertions 1, 2, 3 et 4 sont elles vraies ou fausses ? Donner leurs négations.
Exercice 4 1. Soit n > 2 un entier. Montrer par l’absurde √ que, si n n’est pas premier, il
admet un diviseur premier p qui est inférieur ou égal à n .
2. A l’aide de ce critère, déterminer si les nombres 89, 167 et 191 sont premiers.
√
Exercice 5 Montrer que 89 est irrationnel.
Exercice 6 Soit n ∈ N. Montrer que soit 4 divise n2 , soit 4 divise n2 − 1.
Exercice 7 * Démontrer que pour tout n ∈ N :
1. n3 − n est divisible par 6 ,
2. n5 − n est divisible par 30 ,
3. n7 − n est divisible par 42 .
Indication : Pour 1, on peut factoriser n3 − n pour voir que ce nombre est multiple de 2 et de
3. Les cas 2 et 3 peuvent se traiter de façon analogue.
1
Exercice 8 Démontrer par récurrence que :
∀ n ∈ N − {0, 1, 2, 3}, n2 6 2n .
Exercice 9 Pour n ∈ N, on définit deux propriétés :
Pn : 3 divise 4n − 1 et Qn : 3 divise 4n + 1 .
1. Prouver que pour tout n ∈ N, Pn ⇒ Pn+1 et Qn ⇒ Qn+1 .
2. Montrer que Pn est vraie pour tout n ∈ N .
3. Que penser, alors, de l’assertion : ∃ n0 ∈ N, ∀ n ∈ N, n > n0 ⇒ Qn ?
2
Pierre-Louis CAYREL 2008-2009
Licence 1 Introduction aux Mathématiques Générales
Université de Paris 8
Exercices de logique
Correction 1 1. n pair, n 6= 2 ⇒ n non premier. Démo : si n pair, n 6= 2 alors 2 divise n
et n n’est pas premier.
2. x = 0 ou y = 0 ⇒ xy = 0. Démo triviale.
3. (x + 1)(y − 1) = (x − 1)(y + 1) ⇒ x = y. Démo : si (x + 1)(y − 1) = (x − 1)(y + 1) alors
en développant −x + y = x − y, d’où 2y = 2x, x = y.
Correction 2 1. Oui. n, m pairs ⇒ nm pair. Démo : ∃i, n = 2i donc nm = 2(im) est pair.
2. Oui. n, m impairs ⇒ nm impair. Démo : ∃i, j, n = 2i + 1, m = 2j + 1 donc nm =
2(2ij + i + j) + 1 est impair (ou par contraposée).
3. Pair. (n pair, m impair) ⇒ nm pair (cf 1).
4. Oui. n pair ⇔ n2 pair. Démo : si n pair alors n2 = n × n est pair par 1) (sens ⇒) ; Si n
impair alors n2 est impair par 2), ce qui donne le sens ⇐ par contraposée.
Correction 3 1. Faux. Négation : ∀x ∈ R, ∃y ∈ R, x + y 6 0 (démo : soit x ∈ R, on prend
y = −x).
2. Vrai (démo : y = −x + 1). Négation : ∃x ∈ R, ∀y ∈ R, x + y 6 0.
3. Vrai (démo : soit x = −1, ∀y ∈ R, y 2 > −1). Négation : ∀x ∈ R, ∃y ∈ R, y 2 6 x.
√
4. Vrai (démo : α = ε ∈ R+∗ ). Négation : ∃ε ∈ R+∗ , ∀α ∈ R+∗ , ∃x ∈ R, |x| < α et |x2 | > ε.
√
Correction 4 1. Soit n non premier. Supposons que n n’a pas de diviseur premier p 6 n.
n non√premier ⇒ √ ∃a, b > 2, n = ab. Tout nombre x > 2 a un diviseur
√ premier
√ 6 x. Si
a 6 n ou b 6 n, cela donne une contradiction. Donc a > n et b > n, ce qui
implique n > n, absurde. D’où le résultat.
√
2. • 89 ' 9.4. 89 n’est pas divisible par 2, 3, 5 ou 7, donc 89 est premier.
√
• 167 ' 12.9. 167 n’est pas divisible par 2, 3, 5, 7, 11 donc 167 est premier.
√
• 191 ' 13.8. 191 n’est pas divisible par 2, 3, 5, 7, 11, 13 donc 191 est premier.
√
Correction 5 Raisonnement par l’absurde. Supposons que 89 = pq avec p, q premiers entre
eux. Alors 89q 2 = p2 . 89 est premier (exo 4) donc 89√divise p : il existe k, p = 89k. Donc
q 2 = 89k 2 et 89 divise q. C’est une contradiction donc 89 est irrationnel.
Correction 6 Si n = 2k (pair) alors 4 divise n2 = 4k 2 . Si n = 2k + 1 (impair) alors 4 divise
n2 − 1 = 4(k 2 + k).
Correction 7 n3 − n = n(n2 − 1). n pair ⇒ n3 − n multiple de 2. n impair ⇒ n2 − 1 pair et
n3 − n multiple de 2.
n multiple de 3 ⇒ n3 − n multiple de 3. n = 3k + 1 ⇒ n2 − 1 = 3(3k 2 + 2k) multiple de 3.
n = 3k + 2 ⇒ n2 − 1 = 3(3k 2 + 4k) multiple de 3. Dans les 3 cas, n3 − n est multiple de 3.
n3 − n est divisible par 2 et 3 qui sont premiers entre eux donc n3 − n est divisible par 6.
3
Correction 8 Initialisation : pour n = 4, 42 = 16 = 24 .
Hérédité : on suppose n2 6 2n avec n > 4. n > 2 donc 2n < n × n, donc 2n 6 n2 − 1. D’où
(n + 1)2 = n2 + 2n + 1 6 n2 + n2 6 2.2n = 2n+1 . C’est la propriété au rang n + 1.
Conclusion : ∀n ∈ N, n > 4, n2 6 2n .
Correction 9 1. Si Pn est vraie alors 4n+1 − 1 = 4(4n − 1) + 3 est un multiple de 3 donc
Pn+1 est vraie. Si Qn est vraie alors 4n+1 + 1 = 4(4n + 1) − 3 est un multiple de 3 donc
Qn+1 est vraie.
2. Initialisation : 40 − 1 = 0 donc P0 est vraie. Hérédité : question 1). Conclusion : Pn est
vraie pour tout n ∈ N.
3. C’est faux. Preuve par l’absurde : Si Qn0 est vraie alors (4n0 + 1) + (4n0 − 1) = 4n0 est un
multiple de 3 à cause de Pn0 et Qn0 . Or le seul nombre premier qui divise 4n0 est 2, donc
c’est absurde et Qn0 est fausse.
