Scribd
Importer
81 vues2 pages

Exercices de logique et d'algèbre 2020

Le document présente une série d'exercices d'algèbre pour les étudiants de L1 en mathématiques et informatique. Les exercices portent sur la logique, les irrationnels, les assertions, les quantificateurs, et la démonstration par récurrence. Chaque exercice demande de résoudre des problèmes spécifiques liés aux propositions mathématiques et à leurs propriétés.

Transféré par

sowk427
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
81 vues2 pages

Exercices de logique et d'algèbre 2020

Le document présente une série d'exercices d'algèbre pour les étudiants de L1 en mathématiques et informatique. Les exercices portent sur la logique, les irrationnels, les assertions, les quantificateurs, et la démonstration par récurrence. Chaque exercice demande de résoudre des problèmes spécifiques liés aux propositions mathématiques et à leurs propriétés.

Transféré par

sowk427
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 2019 - 2020

FACULTE DES SCIENCES ET TECHNIQUES


DEPARTEMENT MATHEMATIQUES ET INFORMATIQUE

ALGEBRE-L1PCSM
Série 1. Logique
Exercice 1.
(1) Soient P, Q, R des propositions. Dresser la table de vérité de la formule :
[(P ⇒ R) ∨ (Q ⇒ R)] ⇒ [(P ∨ Q) ⇒ R] et montrer que cette formule est équivalente
à (P ⇐⇒ Q) ∨ R
(2) Montrer que la relation suivante est une tautologie : (R ⇒ S) ⇒ [(S ⇒ T ) ⇒ (R ⇒ T )]
√
(3) Montrer que 2 et ln(2)
ln(3) sont des irrationnels.

(4) Quelle est la valeur de vérité des assertions suivantes :


a) (2020 < 0) ⇒ (Casablanca est la capitale du Sénégal),
√
b) ( 2 est un rationnel) ⇒ (2020 est un multiple de 2)
c) ( ln(2)
ln(3) est irrationnel) ⇒ (Bamako est la capitale du Sénégal)

(5) Donner la valeur de vérité des réciproques de a), b) et c).

Exercice 2.
Pour tous x et y on note P (x, y) l’assertion 00 x + y = 202000
Dire si les assertions suivantes sont vraies ou fausses.
1˚) ∀x ∈ R, ∀y ∈ R P (x, y)
2˚) ∀x ∈ R, ∃y ∈ R P (x, y)
3˚) ∀y ∈ R, ∃x ∈ R P (x, y)
4˚) ∃x ∈ R, ∃y ∈ R P (x, y)
5˚) ∃y ∈ R, ∃y ∈ R P (x, y).

Exercice 3.
Donner la négation des propositions suivantes :
1˚) (∀x ∈ N(∃y ∈ N∗ )(∀z ∈∈ N)(x = yz)
2˚) Soit (un )n∈N une suite réelle et ` ∈ R.

(∀ε ∈ R∗+ ) (∃N ∈ N) (∀n ∈ N) [(n > N ) =⇒ |un − `| < ε]


1
3˚) Soit f une application de R dans R et xo ∈ R

(∀ε > 0) (∃ρ > 0) (∀x ∈ R) [|x − xo | < ρ =⇒ |f (x)| < ε]

4˚) [(∀x ∈ R) (x ≤ 0)] =⇒ [(∃y ∈ R+ ) (x2 = y)]


5˚) (∀ > 0) (∃η > 0) (∀(x, y) ∈ I 2 ) | x − y |≤ η ⇒| f (x) − f (y) |≤ 
 
 
6˚) (∀ε > 0) (∃ρ > 0) (∀x ∈ R) |x − xo | < ρ ⇒ |f (x) − f (x0 )| < ε

Exercice 4. Ecrire avec des quantificateurs les propositions suivantes :


(1) f n’est pas constante sur R.
(2) f ne s’annule pas sur R.
(3) f n’est pas strictement décroissante R.
(4) f est impaire sur R.
(5) f est majorée sur R.

Exercice 5. 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.

Exercice 6. Montrer par récurrence que :


1 1 1 n(n+3)
(1) 1.2.3 + 2.3.4 + ... + n(n+1)(n+2) = 4(n+1)(n+2) .
Pn k 1
(2) k=0 (k+1)! = 1 − (n+1)!
Pn
(3) k=0 k.k! = (n + 1)! − 1.

Vous aimerez peut-être aussi