UMMTO Année 2023-2024.

Département de Sciences Technologie Module Mathématique 1.

Serie de TD N˚1 :Logique et méthodes du Raisonnement Mathématique

Exercice 1 : Soient P et Q deux propositionts, montrer l’équivalence suivante :

P ∧ Q ⇔ P ∨ Q.
Les propositions suivantes sont-elles vraies ou fausses. Donner leurs négations.
1. ∃ x ∈ R, ∀ y ∈ R, x + y > 0.
2. ∀ x ∈ R, ∃ y ∈ R, x + y > 0.
3. ∀ x ∈ R, ∀ y ∈ R, x + y > 0.
Exercice 2 :
√
1. Montrer par l’absurde que 2 n’est pas un nombre rationnel.
2. Montrer par contraposition que :
1
x 6= et y 6= 4 ⇒ 8x + y − 2xy − 2 6= 2,
2
et donner sa négation.
3. Soit a ∈ N. Montrer que
∀n ∈ N : a2 + 9 = 2n ⇒ a est impair.
(par absurde, et par disjonction de cas).
Exercice 3 : Montrer par récurrence que :
1.
∀n ∈ N∗ , 6 divise 7n − 1.
2. ∀n ∈ N, n peut s’écrire comme somme de puisances de 2 toutes distinctes.
Exercice 1 :(suplémentaire)

Ecrire à l’aide des connecteurs et des quantificateurs logiques les propositions suivantes puis donner
leurs négations :
1. Certains nombres rationnels sont plus grands que leurs carrés.
2. Pour tout nombre réel x, il existe au moins un entier naturel y supérieur ou égal à x.
3. Entre deux réels distincts, il existe un rationnel.

Exercice 2 :(suplémentaire)
√
1. Montrer que si a et b sont deux entiers relatifs tels que a + b 2 = 0 alors a = b = 0.
2. soit n ∈ N∗ , montrer que :
si l’entier (n2 − 1) n’est pas divisible par 8 alors l’entier n est pair.
3. ∀n ∈ N, montrer que : 2n+1 ≤ n ! ≤ nn .
1 1 1 1 1
4. ∀n ∈ N, n ≥ 1 : 1×2 + 2×3 + 3×4 + · · · + n×(n+1) = 1 − n+1 .