Série n◦1 - Notions de logique

Classe : 1 bac sc maths biof 3 Lycée Qualifiant Charif al Idrissi Tetouan

Prof : ZRINJOU Brahim

Exercice ́́́
1
1) Donner la négation de chacune des propositions suivantes :
( )
(a) (P ⇒ Q) (b) P ∧ Q

2) Donner la négation de chacune des propositions suivantes :

(a) P : (∃x ∈ R) ; 0 ⪯ x ⪯ 1.
( )
(b) Q : (∀x ∈ R) ; x2 = 1 ⇒ x = 1 .
(c) R : (∀a ∈ R) ; (|a + 1| ⪯ 2 ⇒ a ⪰ −3 .
( ) ( )
(d) S : (∀x ∈ R) ∀y ∈ R+ ; x2 ⪯ y 2 ⇔ −y ⪯ x ⪯ y .

U Brahim
JO
Exercice 2 ́ ́ ́
M.ZRIN

Compléter, lorsque c’est possible avec ∀ ou ∃ pour que les énoncés suivants soient vrais.
ZR
hs

1) ... ∈ R : (x + 1)2 = x2 + 2x + 1.
at
M

2) ... ∈ R
P r: x2 + 3x + 2 = 0.
of de
3) ... ∈ R : 2x + 1 = 0.
Mathématiques 2023-2024

4) ... ∈ R : x2 + 2x + 3 ̸= 0.

U Brahim
JO
Exercice 3 ́ ́ ́
M.ZRIN

1) On considère les deux propositions :

R
(Z
hs

) √
• P : ∀x ∈ R+ , x ⪰ 2 2 − 1 • Q : (∀y ∈ R) (∃x ∈ R) , xy ̸= x
at
M

Pr
(a) Donner d enégation de P et Q:
o f la
(b) Montrer que P est vraie et Q est fausse.

2) Donner la négation des assertions suivantes :

• R : (∀x ∈ R) (∃k ∈ Z) , k ⪯ x ≺ x + 1
• F : ∀(α; β) ∈ R2 ; (α − β)
≻ 1) ⇒ (∃n ∈ Z); α ≺ n ≺ β

Page 1
 Exercice 4 ́́́
1) Soit p, q et r trois propositions. Montrer que toutes les propositions suivantes sont des
lois logiques

(a) [p ∧ (p ⇒ q)] ⇒ q
Prof : ZRINJOU Brahim

(b) (p ⇒ q) ⇒ [(p ∧ r) ⇒ (q ∧ r)]

(c) (p ⇒ q) ⇒ [(p ∨ r) ⇒ (q ∨ r)]
{
2 2x + 3y = −1
2) Résoudre dans R le système suivant :
|x + y| = 1

O U Brahim
J
Exercice 5 ́ ́ ́
M.ZRIN

1) Montrer que : ∀x ∈ R : |x − 1| ⪯ 2 ⇒ |x2 + x − 2| ⪯ 10.

ZR
hs

2x + 3
2) Montrer que : ∀x ∈ R : |x − 2| ⪯ 1 ⇒ | | ⪯ 3.
at

x+2
M

Pr
of de
3) Montrer que (∀(a; b) ∈ R2 ) : a2 + b2 = 0 ⇒ a = 0 et b = 0

U Brahim
JO
Exercice 6 ́ ́ ́
M.ZRIN

1) Montrer que (∀(a; b) ∈ R2 ) : a2 + b2 = 0 ⇔ a = 0 et b = 0

ZR
hs

√ √ x+y+2
2) Montrer que (∀(x; y) ∈ (]0; +∞[)2 ) : x + y = ⇔ x = 1 et y = 1
at

2
M

Pr
of de √ √
Mathématiques 2023-2024

3) Montrer que (∀(x; y) ∈ R2 ) : (x + x2 + 1)(y + y 2 + 1) = 1 ⇔ x + y = 0

√ √ √ √
4) Montrer que (∀(x; y) ∈ (]0; +∞[)2 ) : x + 1 − y + 1 ≺ x − y ⇔ y ≺ x.

5) Soient a et b et x et y des nombres réels strictement positives montrer que : x ≺ y ⇔

x ax + by y
≺ ≺
y bx + ay x
6) Soit (x; y) ∈ R2

(a) Montrer que : si x ⪰ 1 et y ⪰ 4 alors :

√ √ x+y
x−1+2 y−4= ⇔ (x; y) = (2; 8).
2
√
(b) Montrer que pour tous x et y de ]1; +∞[ : (x + y) + 2 (x − 1)(y − 1) ≻ 2.

U Brahim
JO
Exercice 7 ́ ́ ́
M.ZRIN

2x + 1
ZR(∀x ∈]0; 1[) la proposition : x2 (1 − x2 ) ≺ 1 est une proposition fausse.
1) Montrer que
hs
at

2) Montrer que (∀x ∈ R) la proposition : 3 cos(x) ̸= 2 sin2 (x) est une proposition fausse.
M

Pr
of de

Page 2
 √
3) Montrer que (∀x ∈ R): x2 + 1 + x ≻ 0

4) Résoudre dans R l’équation : x2 − |x − 2| + 5 = 0.

5) Montrer que (∀n ∈ N ) le nombre : n(n + 1)(n + 2) est le multiple de 3.

Prof : ZRINJOU Brahim

6) Soient x et y deux nombres réels montrer que : x ̸= y ⇒ (x+1)(y−1) ̸= (x−1)(y+1)

a+b
7) Soient a et b dans l’intervalle ] − 1; 1[ montrer : −1 ≺ ≺ 1.
1 + ab

U Brahim
JO
Exercice 8 ́ ́ ́
M.ZRIN

1) Soit n ∈ N ⋆ : Montrer que n2 + 1 n’est pas un carré parfait.

ZR √
hs

2) Montrer que : 3 ∈ / Q.
at

√
M

Pr √ √
of de
3) Soit a un entier naturel. Montrer que : a + 4a2 + 16a2 + 8a + 3 ∈
2 / N.

U Brahim
JO
Exercice 9 ́ ́ ́
M.ZRIN

( )2
n(n + 1)
ZR∀n ∈ N ∗ : 13 + 23 + ... + n3 =
1) Montrer que
hs

2
at

P r que ∀n
2) Montrer ∈ N : le nombre 11 divise 55n+1 + 45n+2 + 35n .
M

of d e
Mathématiques 2023-2024

∑ n
1 n(n + 3)
3) Montrer que ∀n ∈ N :
⋆
= .
k=1
k(k + 1)(k + 2) 4(n + 1)(n + 2)

U Brahim
JO
M.ZRIN

ZR
hs
at
M

Pr
of de

Page 3