Scribd
Importer
77 vues2 pages

ALGEBRE

Ce document contient une série d'exercices d'algèbre pour les étudiants de L1 Informatique à l'Université Cheikh Anta Diop de Dakar. Les exercices portent sur des concepts tels que les tautologies, les négations de propositions, les quantificateurs, et des démonstrations mathématiques. Il aborde également des questions sur les ensembles et les relations entre différentes assertions.

Transféré par

Landing Massaly
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
77 vues2 pages

ALGEBRE

Ce document contient une série d'exercices d'algèbre pour les étudiants de L1 Informatique à l'Université Cheikh Anta Diop de Dakar. Les exercices portent sur des concepts tels que les tautologies, les négations de propositions, les quantificateurs, et des démonstrations mathématiques. Il aborde également des questions sur les ensembles et les relations entre différentes assertions.

Transféré par

Landing Massaly
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

UNIVERSITE CHEIKH ANTA DIOP DE DAKAR 2024-2025

FACULTE DES SCIENCES ET TECHNIQUE


DEPARTEMENT DE MATHEMATIQUES ET INFORMATIQUE

Algèbre - L1 Informatique
Série 1 : Logique et Ensembles
Exercice 1. Soient R, S et T trois assertions.
Montrer de deux manières différentes que les relations suivantes sont des tautologies :
1. (R ⇒ S) ⇒ [(S ⇒ T ) ⇒ (R ⇒ T )]
2. (R ⇒ S) ⇒ [(R ∨ T ) ⇒ (S ∨ T )]
3. (R ⇒ S) ⇒ [(R ∧ T ) ⇒ (S ∧ T )]
Exercice 2 . Donner la négation des propositions suivantes :
1. (∀x ∈ N)(∃y ∈ N∗ )(∀z ∈ N)(x = yz)
2. ∀x ∈ N∗ , ∃y ∈ R, x ≥ y =⇒ ∃z ∈ N, xy = z
 
   
3. (∀x ∈ R) (x ≤ 0) =⇒ (∃y ∈ R+ ) (x2 = y)
 
4. (∀ε > 0) (∃ρ > 0) (∀x ∈ R) |x − xo | < ρ ⇒ |f (x) − f (x0 )| < ε
Exercice 3. Soit f : R −→ R une application.
Traduire en terme de quantificateurs les expressions suivantes :
1. f est majorée
2. f est bornée
3. f est paire
4. f ne s’annule jamais
5. f n’est pas la fonction nulle
6. f a toujours les même valeurs en deux points distincts
Exercice 4. Soient les quatres assertions suivantes :
i) ∃x ∈ R ∀y ∈ R x + y > 0 ii) ∀x ∈ R ∃y ∈ R x + y > 0
iii) ∀x ∈ R ∀y ∈ R x + y > 0 iv) ∃x ∈ R ∀y ∈ R y 2 > x.
1. Les assertions i), ii), iii), iv) sont-elles vraies ou fausses ?
2. Donner leur négation.

1
Exercice 5. Soient x, y et z trois réels parmi lesquels il y a 0 et deux réels non nuls de
signe contraire.
On suppose que les trois implications suivantes sont vraies.
1. (x = 0) ⇒ (y > 0)
2. (x > 0) ⇒ (y < 0)
3. (y 6= 0) ⇒ (z > 0)
Comparez x, y et z.
Exercice 6. Montrer par récurrence que :
1. nk=0 (k+1)!
k 1
P
= 1 − (n+1)!
2. nk=0 k.k! = (n + 1)! − 1.
P

Exercice 7.
1. Démontrer que la somme d’un rationnel et d’un irrationnel est irrationnelle
2. Démontrer que le produit d’un rationnel non nul et d’un irrationnel est irrationnel.
3. Démontrer que ∀n ∈ N, n est pair ⇐⇒ n2 est pair.
√
4. En déduire que 2 ∈/Q
5. Démontrer que ∀n ∈ N, n2 est un multiple 5 =⇒ n est un multiple de 5.
√
6. Montrer que 5 ∈/Q
Exercice 8. Soient A, B et C trois parties d’un ensemble E. Simplifier les expressions
suivantes :
1. [A ∩ (Ā ∪ B)] ∪ [Ā ∩ (A ∪ B)].
2. (A ∩ B) ∪ (A ∩ B̄) ∪ (Ā ∩ B) ∪ (Ā ∪ B̄)
3. A ∩ Ā ∪ B) ∩ (Ā ∪ B̄ ∪ C)
4. A ∪ Ā ∩ B) ∪ (Ā ∩ B̄ ∩ C)
Exercice 9. Soient A, B et C trois parties d’un ensemble E. Démontrer les relations
suivantes :
1. A ∩ B = A ∪ B ⇐⇒ A = B
2. A ∩ B = A ∩ C ⇐⇒ A ∩ B̄ = A ∩ C̄
3. (A ∩ B = A ∩ C et A ∪ B = A ∪ C) =⇒ B = C
4. (A ∪ B) ∩ (B ∪ C) ∩ (C ∪ A) = (A ∩ B) ∪ (B ∩ C) ∪ (C ∩ A)
Exercice 10. Soient E = Z, A = {x ∈ Z/x3 + 2x2 − x − 2 = 0},
B = {x ∈ Z/ − 2 < x ≤ 4} et C = {x ∈ Z/ | x − 1 |= 3}
1) Donner la liste des éléments de A, B et C.
2) Déterminer A ∩ B, A ∪ B, A \ B, B \ A et A 4 B.

Vous aimerez peut-être aussi