Année : 2024/2025 ⋆ Prof : Abed ⋆
Devoir surveillé N°1
Durée : 2 heures
Exercice 1. 2 pts
Soit P et Q deux propositions.
1 Montrer sans le tableau de vérité, que la proposition suivante est une loi logique :
[( ) ( )]
P =⇒ Q et P =⇒ Q =⇒ P
2 Cette loi représente quel type de raisonnement mathématiques.
Exercice 2. 2 pts
Soit P et Q
( deux )propositions. On définit le connecteur logique ⋆ par :
P ⋆ Q est P et Q . Ecrire en fonction du nouveau connecteur logique ⋆ et la négation les propositions suivantes :
1 P et Q
2 P ou Q
3 P =⇒ Q
4 P ⇐⇒ Q
Exercice 3. 2 pts
Donner (en justifiant)
√ les valeurs de vérité des propositions suivantes :
1 ∀x ∈ R; x2 = x
( )
2 ∀x ∈ R; ∀y ∈ R; x = y ⇐⇒ x2 = y 2
( )
3 ∀x ∈ R; ∀y ∈ R; x ⩽ y =⇒ x2 ⩽ y 2
( )
4 ∀x ∈ R; ∀y ∈ R; x ⩽ y =⇒ x3 ⩽ y 3
Exercice 4. 3 pts
1 P et Q deux propositions. Donner la négation de la proposition : (P =⇒ Q).
2 Donner la négation de la proposition P suivante :
∀x ⩾ 0 ; ∀y ⩾ 0 ; (x + y = 0 =⇒ x = y = 0)
3 La proposition P est-elle vraie ? Justifier votre réponse.
( )
4 Soit x, y ∈ R. Montrer l’équivalence : x2 + 2y 2 + 2z 2 − 2xy − 2yz = 0 =⇒ (x = y = 0)
Exercice 5. 2 pts
.
1 Montrer que : ∀x ∈ ]−1, 1[ et ∀y ∈ ]−1, 1[ on a : 1 + xy ̸= 0
x+y
2 Soit x, y ∈ R. Montrer l’implication suivante : (x ∈ ]−1, 1[ et y ∈ ]−1, 1[) =⇒ ∈ ]−1, 1[
1 + xy
Exercice 6. 4 pts
.
Montrer par récurrences les( propriétés suivantes
) :
1 ∀n ∈ N ; 17 divise 3 · 52n+1 + 23n+1
∑
n−1
∀n ∈ N∗ ;
3
2 (2k + 1) = 2n4 − n2
k=0
∑n 1 2n − 1
3 Soit n ∈ N∗ , On pose : Sn = 2
. Montrer que : ∀n ∈ N∗ ; Sn ⩽ .
k=1 k n
( )
∗
∏
n 4 ∗ 2n + 3
4 Soit n ∈ N , On pose : Pn = 1− 2 . Montrer que : ∀n ∈ N ; Pn = 6n + 3 .
k=1 (2k + 1)
Exercice 7. 4 pts
.
1 Soit a ∈ N.
( )
2 Montrer l’équivalence suivante : (5 divise a) ⇐⇒ 5 divise a2 .( on peut faire un raisonnement par disjonction des
cas pour l’implication réciproque et sans utiliser les nombres premiers).
3 Montrer que pour tout n ∈ N, le nombre 5 ne divise pas n2 + 2.
( )
4 En déduire que pour tout n ∈ N, le nombre : 5 n2 + 2 n’est pas un carré parfait.
Exercice 8. 1 pts
. √ √ √ √
Montrer que le nombre 3 + 3 − 3 − 3 n’est pas un nombre rationnel.
