J.

M -Série 1 sur Notions de Logique - 1bac-science-F-

Exercice 1. .
Donner la négation et la valeur de vérité de chacune des propositions suivantes :
n
1) P : ”∀ x ∈ R : x2 > 0” 2) P : ”∃ x ∈ R : x2 − 2 = 0” 3) P : x ∈ [1; 2[ 4) P : ∀n ∈ N : ∈N
2
5) P : (∀ x ∈ R) : −1 ≤ cos( x) ≤ 1 6) P : (∀n ∈ N
√); (∃m ∈ N) : n < m
7) P : (∃n ∈ N) : 2n + 1 est pair 8) P : (∀n ∈ N) : n ∈ N 9) P : (∀ x ∈ R)(∃ y ∈ R) : y − x > 0
2 x
10) P : (∃!x ∈ R) : 2x + 4 = 0 11) P : (∃!x ∈ R) : x = 2 12) P : (∃ x ∈ Z) : ∈Z
4
Exercice 2. .
Écrire en utilisant les quantificateurs les propositions suivantes et déterminer leurs valeurs de vérités.
P :  Pour tout nombre entier naturel n, il existe un nombre entier naturel m tel que : n = 2m .
Q :  Il existe un nombre réel M telque pour tout nombre réel x, on a : x ≤ M .
R :  Pour tout nombre réel m, il existe un nombre réel x tel que : x2 − mx + 1 = 0 

Exercice 3. .
On considère la proposition P :  (∀ y ∈ R)(∀ x ∈ N); x2 + xy + y2 = 0 .
1) Donner la négation de P.
2) Montrer que P est fausse.

Exercice 4. .
Écrire 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 5. .
1) Montrer que : A ∧ A =⇒ B est toujours vrai.
2) Montrer que : A =⇒ ( A =⇒ B) est une loi logique.

Exercice 6. . √
le but de cet exercice et de montrer que 2 6∈ Q.
1) Montrer l’équivalence : p est pair ⇐⇒ p2 est pair.
√ √ p p
2) On suppose que 2 ∈ Q ; et que 2 = où p et q sont des entiers naturels non nuls et la forme est
q q
irréductible.
a) Montrer que p est pair.
b) En déduire que√q est pair.
c) Conclure que 2 6∈ Q.
1 √ √
3) Montrer que (∀(m, r) ∈ N∗ × Q), ( x = r + √ 6∈ Q) 4) Montrer que ( 3 − 2) 6∈ Q
m 2
Exercice 7. .
1) Montrer que :∀( a, b) ∈ R2+ : a +√
b = 0 ⇐⇒ ( a = 0 et b = 0).
p
2) x ∈ R et y ∈ R - Montrer que : x2 + 1 + y2 + 1 = 2 ⇐⇒ x = y = 0

Exercice 8. .
Démontrer les énoncés suivants par récurrence :
1)∀n ∈ N, n3 − n est divisible par 6.
2)∀n ∈ N, n5 − n est divisible par 30.
3)∀n ∈ N, n7 − n est divisible par 42.