ENSA TETOUAN Année 2023-2024

ALGEBRE 1-2AP1 feuille n◦ 1

Logique Mathématique

Exercice 1 On dit que "P ou exclusif Q" est vrai si P ou Q est vrai mais pas simultanément
P et Q. Ecrire la table de vérité du "ou exclusif".

Exercice 2 Ecrire avec des quantificateurs les propositions suivantes :

1. f est l’identité de R.
2. Le graphe de f coupe la droite d’équation y = x.
3. L’équation f (x) = x a une et une seule solution dans R.
4. f n’est pas monotone sur R.
5. Pour tout point M du plan P , M est sur le cercle C de centre Ω et de rayon R si et
seulement si la distance de M à Ω vaut R.
6. Tout entier a un autre strictement plus grand.
7. L’addition des réels est commutative.
8. Il y a un entier plus petit que tous les entiers.

Exercice 3 Soient les propositions suivantes :

Proposition A Pour toute porte, il existe une clé qui ouvre la porte.
Proposition B Il existe une clé, pour toute porte, la clé ouvre la porte.
Y a-t-il équivalence entre les deux propositions ? Donner l’implication vraie, s’il y en a une.

Exercice 4 Soit P, Q et R trois propositions. Démontrer les propositions suivantes :

1. P =⇒ (Q =⇒ R) ⇐⇒ Q =⇒ (P =⇒ R)
2. P ⇐⇒ (Q ⇐⇒ R) ⇐⇒ (P ⇐⇒ Q) ⇐⇒ R
3. (P ∧ Q) =⇒ R ⇐⇒ (P =⇒ R) ∨ (Q =⇒ R)
4. (P ∨ Q) =⇒ R ⇐⇒ (P =⇒ R) ∧ (Q =⇒ R)
5. (P =⇒ Q) et (P =⇒ R) ⇐⇒ (P ∧ Q) ∨ (P̄ ∧ R)
6. P ou exclusif Q ⇐⇒ P ⇐⇒ Q
7. P ou exclusif Q ⇐⇒ (P ∨ Q) ∧ P ∧ Q
8. P ou exclusif Q ⇐⇒ (P ∧ Q) ∨ (P ∧ Q)

Exercice 5 Démontrer les résultats suivants :

1. ∀n ∈ N, n2 pair =⇒ n pair.
2. ∀n ∈ N, n(5n2 + 1) est divisible par 3.
3. La proposition : "toute suite strictement croissante tend vers +∞" est fausse.
√
4. ∀(x, y) ∈ Q2 , x + y 2 = 1 ⇐⇒ x = 1 et y = 0.

1
Exercice 6 Soit (fn )n∈N une suite d’applications de l’ensemble N dans lui-même . On définit
une application f de N dans N en posant

∀n ∈ N, f (n) = fn (n) + 1.

Démontrer qu’il n’existe aucun p ∈ N tel que f = fp .

Exercice 7 Soit (un )n∈N la suite réelle telle que

u0 = 2, u1 = 3
∀n ∈ N, un+2 = 3un+1 − 2un

Prouver que l’expression de un en fonction de n est :

∀n ∈ N, un = 2n + 1.