U.S.T.H.

B
Corrig la série N◦ 1 Coordination du module MATH I
Faculté des Mathématiques
Logique Année universitaire 2021-2022
1ère année Licence SM-ST

Exercice 1. Parmi les propositions suivantes dire lesquelles sont vraies, lesquelles sont fausses, puis donner leur
négation.

1. Tindouf est une ville côtière. Cette proposition est fausse.

Sa négation est: Tindouf n’est pas une ville côtière.

2. Les cerisiers ne donnent pas d’oranges et les pommiers ne donnent pas de pommes. Cette proposition est
fausse car c’est la conjonction de deux propositions, l’une vraie et l’autre fausse.
Sa négation est: Les cerisiers donnent des oranges ou les pommiers donnent des pommes.

3. Alger est en Afrique du Sud ou Barcelone est en Espagne. Cette proposition est vraie car c’est la disjonction
de deux propositions, l’une vraie et l’autre fausse.
Sa négation est: Alger n’est pas en Afrique du Sud et Barcelone n’est pas en Espagne.

4. Soit Albert Einstein est algérien, soit Isaac Newton est chinois. Cette proposition est fausse car c’est la
disjonction de deux propositions fausses.
Sa négation est: Albert Einstein n’est pas algérien et Isaac Newton n’est pas chinois.

5. Si les angles d’un rectangle sont droits alors les quatre côtés sont égaux. Cette proposition exprime une
implication du type (P ⇒ Q) avec P vraie et Q fausse donc (P ⇒ Q) est fausse.
Sa négation est: les angles d’un rectangle sont droits et les quatres côtés ne sont pas égaux.

Exercice 2. Écrire les propositions en utilisant les quantificateurs appropriés.

√
1. La racine carrée de tout nombre réel positif ou nul est positive ou nulle. ∀x ∈ R+ , x > 0.
Sa négation est: Il existe un nombre réel positif ou nul dont la racine carrée est strictement négative.
√
∃x ∈ R+ , x < 0.

2. Certains nombres entiers naturels sont pairs.(∃n ∈ N, ∃k ∈ N : n = 2k).

Sa négation est: Tous les nombres entiers naturels ne sont pas pairs. (∀n ∈ N, ∀k ∈ N : n 6= 2k).

3. Si un entier naturel n est divisible par 4 alors il est pair. ∃k ∈ N : n = 4k ⇒ ∃k 0 ∈ N : n = 2k 0 .

Sa négation est: Un entier naturel n est divisible par 4 et il n’est pas pair.
∃k ∈ N : n = 4k et ∀k 0 ∈ N : n 6= 2k 0 .

Exercice 3. Dire si les propositions suivantes sont vraies ou fausses, puis donner leur négation.

1. ∀x ∈ R ∃y ∈ R x + y > 0. Cette proposition est vraie car pour un x fixé, on peut toujours trouver y ∈ R
tel que x + y > 0. Par exemple, y = −x + 1.
Sa négation est: ∃x ∈ R ∀y ∈ R x + y 6 0.

2. ∃x ∈ R ∀y ∈ R x + y > 0. Cette proposition est fausse car il n’est pas possible de trouver le même réel x
qui convient à tous les réels y de sorte que x + y > 0.
Sa négation est: ∀x ∈ R ∃y ∈ R x + y 6 0.

3. ∀x ∈ R ∀y ∈ R x + y > 0. Cette proposition est fausse, car si on prend, par exemple, x = y = −2 on voit
bient que x + y = −4 < 0.
Sa négation est: ∃x ∈ R ∃y ∈ R x + y 6 0.
 4. ∃x ∈ R ∃y ∈ R x + y > 0. Cette proposition est vraie, puisque on peut toujours trouver un x et un y dans
R tels que x + y > 0. Par exemple, on prend x = y = 1.
Sa négation est: ∀x ∈ R ∀y ∈ R x + y 6 0.

5. (∃x ∈ R x + 1 = 0 ) et (∃x ∈ R x + 2 = 0). Cette proposition est vraie car c’est la conjonction de deux
propositions vraies. En effet, (∃x ∈ R x + 1 = 0 ) est vraie, il suffit de prendre x = −1 de même pour
(∃x ∈ R x + 2 = 0) il suffit de prendre x = −2.
Sa négation est: (∀x ∈ R x + 1 6= 0) ou (∀x ∈ R x + 2 6= 0).

6. (∃x ∈ R x + 1 = 0) ou (∃x ∈ R x + 2 = 0). Cette proposition est vraie car c’est la disjonction de deux
propositions vraies.
Sa négation est: (∀x ∈ R x + 1 6= 0) et (∀x ∈ R x + 2 6= 0).

Exercice 4. (Modes de raisonnement)

1. Montrons par récurrence ce qui suit :

k=n
X  n(n + 1) 2
a) ∀ n ≥ 1, k3 = .
2
k=1
k=n
X  n(n + 1) 2
Soit n ≥ 1, on pose P (n) : k3 = .
2
k=1

k=1
X  1(1 + 1) 2
• P (1) est vraie car k3 = = 1.
2
k=1
• On suppose que P (n) est vraie et on montre que P (n + 1) reste vraie c.à.d on suppose que:
k=n
X  n(n + 1) 2 k=n+1
X  (n + 1)(n + 2) 2
k3 = et on montre que k3 = .
2 2
k=1 k=1
k=n+1 k=1
X
3
X  n(n + 1) 2 n4 + 6n3 + 13n2 + 12n + 4
On a k = k 3 + (n + 1)3 = + (n + 1)3 =
2 4
k=1 k=1
(n + 1)2 (n + 2)2
= .
4
• On conclut que P (n) est vraie ∀n ≥ 1.

b) ∀x > 0, (1 + x)n ≥ 1 + nx pour tout n ∈ N.

Soient n ∈ N et x > 0, on pose P (n) : (1 + x)n ≥ 1 + nx.

• P (0) est vraie car (1 + x)0 = 1 ≥ 1 + 0x = 1.

• On suppose que P (n) est vraie et on montre que P (n + 1) reste vraie c.à.d on suppose que:
(1 + x)n ≥ 1 + nx et on montre que (1 + x)n+1 ≥ 1 + (n + 1)x .
On a (1 + x)n+1 = (1 + x)(1 + x)n ≥ (1 + x)(1 + nx) = 1 + x + nx + nx2 ≥ 1 + nx. Car x > 0.
• On conclut que P (n) est vraie pour tout n ∈ N.

2. Montrons que la proposition ∀n ∈ N, 2n − 10 < n est fausse.

Pour ce faire, on donne un contre exemple: il suffit de prendre n = 4. En effet: 24 − 10 = 6 < 4 est fausse.

3. Pour montrer l’implication : ∀n ∈ N, (n2 pair ⇒ n pair), on utilise le raisonnement par contraposée.
C’est à dire qu’on montre que: ∀n ∈ N, (n impair ⇒ n2 impair).
Ce qui revient à: ∀n ∈ N, (∃k ∈ N : n = 2k + 1; ⇒ ∃k 0 ∈ N : n = 2k 0 + 1)
Soit n un entier naturel impair C’est à dire:
∃k ∈ N tel que n = 2k +1, d’où n2 = (2k +1)2 = 4k 2 +4k +1 = 2(2k 2 +2k)+1 = 2k 0 +1 où k 0 = 2k 2 +2k ∈ N
.
Ce qui implique que n2 est impair.
4. Montrons que si n2 − 1 n’est pas divisible par 8 alors l’entier n est pair. Pour cela, utilisons le raisonnement
par l’absurde. On suppose que n2 − 1 n’est pas divisible par 8 et n est impair.
C’est à dire:
∃k ∈ N : n2 − 1 = 8k + r où r ∈ {1, 2, 3, 4, 5, 6, 7} et ∃k 0 ∈ N : n = 2k 0 + 1.
Ainsi:
4(2l)2 + 4(2l) si k 0 est pair.

2 0 2 02
n − 1 = (2k + 1) − 1 = 4k + 4k = 0
4(2l + 1)2 + 4(2l + 1) si k 0 est impair. Pour l ∈ N.
16l2 + 8l si k 0 est pair.

=
16l2 + 24l + 8 si k 0 est impair. Pour l ∈ N.

D’où ∀k 0 ∈ N, n2 − 1 est divisible par 8. Ce qui Contredit l’hypothèse.

On conclut donc que si n2 − 1 n’est pas divisible par 8 alors l’entier n est pair.