Scribd
Importer
64 vues2 pages

Ism 4

Ce document présente une fiche de travaux dirigés en algèbre pour l'année scolaire 2024-2025, contenant divers exercices sur les propositions logiques, les négations, et les preuves mathématiques. Les exercices incluent des démonstrations d'équivalence, des négations de propositions, et des évaluations de propositions dans l'espace R2. Il conclut avec une citation de Carl Friedrich Gauss sur l'importance des mathématiques.

Transféré par

dialloabdallah0069
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
64 vues2 pages

Ism 4

Ce document présente une fiche de travaux dirigés en algèbre pour l'année scolaire 2024-2025, contenant divers exercices sur les propositions logiques, les négations, et les preuves mathématiques. Les exercices incluent des démonstrations d'équivalence, des négations de propositions, et des évaluations de propositions dans l'espace R2. Il conclut avec une citation de Carl Friedrich Gauss sur l'importance des mathématiques.

Transféré par

dialloabdallah0069
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Fiche de TD ISM Année Scolaire 2024 - 2025

Fiche de Travaux Dirigés (TD) - Algèbre


Année Scolaire 2024 - 2025

Exercice 1. Soient P et Q deux propositions. Montrer que les propositions :

¬(P ⇒ Q) et P ∧ ¬Q

sont équivalentes.
Exercice 2. Soient A, B et C trois propositions. Démontrer que les propositions :

A ∧ (B ∨ C) et (A ∧ B) ∨ (A ∧ C)

sont équivalentes.
Exercice 3. Compléter les pointillés par le connecteur logique qui s’impose : ⇔, ⇐, ⇒.
1. x ∈ R, x2 = 4 ... x=2;

2. z ∈ C, z=z ... z∈R;


Exercice 4. Nier la proposition :
Proposition : Tous les habitants de la rue du Havre qui ont les yeux bleus gagneront
au loto et prendront leur retraite avant 50 ans.
Exercice 5. Trouver des propositions P et Q telles que :
1. P ⇒ Q est vrai et Q ⇒ P est vrai.

2. P ⇒ Q est faux et Q ⇒ P est vrai.

3. P ⇒ Q est faux et Q ⇒ P est faux.


Exercice 6.
1. Soient P , Q et R trois propositions. Donner la négation des propositions suivantes
:

a. (P ∧ Q) ⇒ R.
b. P ∧ (¬Q ∨ R).

2. Donner la négation des propositions suivantes:


 
a. ∀(x, y) ∈ R2 , (xy ̸= 0 ∧ x ≤ y) ⇒ y1 ≤ x1 .
  √ 
b. ∃x ∈ R, (x ≤ 0) ∧ ( x2 ̸= −x) ∨ ((x + 1)2 > x2 + 1) .

Exercice 7. Les propositions suivantes sont-elles vraies ou fausses ? Lorsqu’elles sont


fausses, énoncer leur négation.
1. ∃x ∈ N, x2 > 7.

2. ∀x ∈ N, x2 > 7.

3. ∀x ∈ N, ∃y ∈ N, y > x2 .

Page 1
Fiche de TD ISM Année Scolaire 2024 - 2025

4. ∃y ∈ N, ∀x ∈ N, y > x2 .

5. ∀(x, y) ∈ Z2 , ((x ≤ y) ⇔ (x2 ≤ y 2 )) .

6. ∀(x, y) ∈ Z2 , ((xy ≤ x2 ) ⇒ (y ≤ x)) .

Exercice 8. Montrer les deux faits suivants en utilisant une preuve directe et une preuve
par récurrence :
1. La somme des n premiers entiers naturels non nuls est donnée par :

n(n + 1)
1 + 2 + · · · + (n − 1) + n = .
2
2. Pour tout entier n ∈ N, l’entier 10n − 1 est divisible par 9.
Exercice 9. Dans R2 , on définit les ensembles :

F1 = {(x, y) ∈ R2 | y ≤ 0}

et
F2 = {(x, y) ∈ R2 | xy ≥ 1, x ≥ 0}.
On note M1 M2 la distance usuelle entre deux points M1 et M2 de R2 .
Évaluer les propositions suivantes :

1. ∀ε ∈]0, +∞[ ∃M1 ∈ F1 ∃M2 ∈ F2 M1 M2 < ε

2. ∃M1 ∈ F1 ∃M2 ∈ F2 ∀ε ∈]0, +∞[ M1 M2 < ε

3. ∃ε ∈]0, +∞[ ∀M1 ∈ F1 ∀M2 ∈ F2 M1 M2 < ε

4. ∀M1 ∈ F1 ∀M2 ∈ F2 ∃ε ∈]0, +∞[ M1 M2 < ε

Quand elles sont fausses, donner leur négation.

”Les mathématiques sont la clé de toute science, elles sont l’âme de notre monde
moderne, un langage universel qui ouvre des portes sur les mystères de l’univers.”
– Carl Friedrich Gauss

Page 2

Vous aimerez peut-être aussi