Lycée Jean Bart MPSI 10 septembre 2022
Corrigé du DS de Mathématiques n 1 11 septembre 2021 0
Exercice 1 (Loi de Morgan).
Soient P et Q deux assertions logiques. On a la table de vérité suivante :
P Q P ∧ Q P∧Q P∨Q
V V V F F
V F F V V
F V F V V
F F F V V
Les assertions P ∧ Q et P ∨ Q prennent simultanément les mêmes valeurs de vérité : elles sont donc logique-
ment équivalentes.
Conclusion. P ∧ Q ≡ P ∨ Q
Exercice 2 (Quantificateurs).
Dans cet exercice, (un ) désigne une suite réelle quelconque.
1/ Ecrire la négation de chacune des assertions suivantes (uniquement à titre indicatif, la traduction de
chaque assertion est écrite en parenthèses).
a/ ∀ n ∈ N, un+1 > un (la suite u est croissante)
∃ n ∈ N, un+1 > un
b/ ∃ k ∈ N∗ , ∀ n ∈ N, un+k = un (la suite u est périodique)
∀ k ∈ N∗ , ∃ n ∈ N, un+k ̸= un
c/ ∃ ℓ ∈ R, ∀ ε > 0, ∃ n0 ∈ N, ∀ n ∈ N, [n > n0 ] =⇒ [|un − ℓ| < ε] (la suite u est convergente)
∀ ℓ ∈ R, ∃ ε > 0, ∀ n0 ∈ N, ∃ n ∈ N, [n > n0 ] ∧ [|un − ℓ| > ε]
2/ Ecrire la réciproque, la négation, et la contraposée de l'implication
[un = up ] =⇒ [n = p]
Réciproque : [n = p] =⇒ [un = up ]
Négation : [un = up ] ∧ [n ̸= p]
Contraposée : [n ̸= p] =⇒ [un ̸= up ]
2 MPSI Corrigé du DS de Mathématiques n 1 10 septembre 2022
0
Exercice 3 (Suite).
On considère la suite réelle (un ) dé nie par u0 = 8, u1 = 9, et la relation de récurrence :
∀ n ∈ N, un+2 = un+1 + 6un
Démontrer que :
∀ n ∈ N, un = 3 × (−2)n + 5 × 3n
Démontrons que ∀ n ∈ N, un = 3 × (−2)n + 5 × 3n par récurrence double sur n.
Notons P (n) l'assertion : un = 3 × (−2)n + 5 × 3n .
ä Initialisation (n = 0 et n = 1). D'une part : u0 = 8 (énoncé) et d'autre part 3 × (−2)0 + 5 × 30 = 8. Donc
P (0) est vraie.
D'une part : u1 = 9 (énoncé) et d'autre part 3 × (−2)1 + 5 × 31 = −6 + 15 = 9. Donc P (1) est vraie.
ä Hérédité. Supposons P (n) et P (n + 1) vraies pour un certain entier naturel n. On a alors :
un+2 = un+1 + 6un (selon l'énoncé)
⇐⇒ un+2 = 3 × (−2)n+1 + 5 × 3n+1 + 6 (3 × (−2)n + 5 × 3n ) (hypothèse de récurrence)
⇐⇒ un+2 = −6 × (−2)n + 15 × 3n + 18 × (−2)n + 30 × 3n
⇐⇒ un+2 = 12 × (−2)n + 45 × 3n
⇐⇒ un+2 = 3 × (−2)2 × (−2)n + 5 × 32 × 3n
⇐⇒ un+2 = 3 × (−2)n+2 + 5 × 3n+2
Ce qui signi e que P (n + 2) est vraie, et établit l'hérédité de la propriété.
Conclusion. ∀ n ∈ N, un = 3 × (−2)n + 5 × 3n
Exercice 4 (Porte logique NAND).
Soient P et Q deux assertions logiques. On dé nit l'assertion logique P ↑ Q en posant :
P ↑Q ≡ P ∧Q
P Q P Q P ↑Q≡P ∨Q
V V F F F
1/ Ci-contre, la table de vérité de P ↑ Q. V F F V V
F V V F V
F F V V V
MPSI Corrigé du DS de Mathématiques n 1 10 septembre 2022
0 3
2/ Soient P , Q et R trois assertions logiques.
( )
On a d'une part : P ↑ (Q ↑ R) ≡ P ∨ Q ↑ R d'où : P ↑ (Q ↑ R) ≡ P ∨ (Q ∧ R) .
( )
D'autre part : (P ↑ Q) ↑ R ≡ P ↑ Q ∨ R d'où : (P ↑ Q) ↑ R ≡ (P ∧ Q) ∨ R .
Plaçons-nous dans le cas où P est fausse, et où Q et R sont vraies. Alors : (P ∧ Q) ∨ R est fausse, tandis
que P ∨ (Q ∧ R) est vraie.
Il s'ensuit que les assertions (P ↑ Q) ↑ R et P ↑ (Q ↑ R) ne sont pas logiquement équivalentes.
( )
3/ Par dé nition de l'opérateur NAND, on a : (P ↑ P ) ≡ P ∨ P . D'où : (P ↑ P ) ≡ P .
4/ Soient P et Q deux assertions mathématiques. On a :
ä d'une part : (P ↑ Q) ↑ (P ↑ Q) ≡ (P ↑ Q) ∨ (P ↑ Q) ≡ (P ↑ Q) ≡ P ∨ Q ≡ P ∧ Q ≡ P ∧ Q ;
( ) ( )
ä et d'autre part : (P ↑ P ) ↑ (Q ↑ Q) ≡ (P ↑ P ) ∨ (Q ↑ Q) ≡ P ∨ P ∨ Q ∨ Q ≡ P ∨ Q
Conclusion : P ∨ Q ≡ (P ↑ P ) ↑ (Q ↑ Q) et P ∧ Q ≡ (P ↑ Q) ↑ (P ↑ Q) .
5/ Puisque : [P =⇒ Q] ≡ P ∨ Q, on déduit des questions 3 et 4 que :
[P =⇒ Q] ≡ [(P ↑ P ) ↑ (P ↑ P )] ↑ [Q ↑ Q]
