Académique Documents
Professionnel Documents
Culture Documents
LOGIQUE ET ENSEMBLES
Logique
Exercice 1
Montrer de deux manières différentes que les formules propsitionnelles suivantes sont logiquement équiva-
lentes :
A ⇒ (B ∧ C) et (A ⇒ B) ∧ (A ⇒ C),
(A ∨ B) ⇒ C et (A ⇒ C) ∧ (B ⇒ C),
(A ∧ B) ⇒ C et (A ⇒ B) ⇒ (A ⇒ C).
Exercice 2
Soit (un )n∈N une suite de nombres réels.
(a) ∀n ∈ N, ∃p ≥ n, up = 0 ;
(b) ∃n ∈ N, ∃p ≥ n, up < un ;
(c) ∀n ∈ N, ∃p ≥ n, up 6= un .
Exercice 3
Donner la contraposée des expressions suivantes :
1. (A ∧ (B ∨ C)) ⇒ (B ∨ (A ∧ C)).
Exercice 4
n
X 1 3n
Montrer que pour tout n ∈ N\{0, 1}, 2
> .
k 2n + 1
k=1
Exercice 5
Soit E = {x1 , . . . , xn } un ensemble fini. Montrer qu’on peut lister les éléments de P(E) de sorte que la liste
commence par ∅, se termine par {xn } et que chaque nouveau terme de la liste est obtenu depuis le précédent par
ajout ou retrait d’un unique élément de E.
Exercice 6
On note (un )n∈N la suite définie par u0 = 1 et pour tout n ∈ N∗ , un = ub n2 c + ub n3 c + ub n6 c .
La troisième ci-dessus donne l’impression d’un cercle vicieux, car la fonction « s’appelle elle-même » (on dit qu’elle
est définie récursivement). La question de cet exercice est donc toute naturelle : démontrer que la fonetion d’Ackermann
est bien définie !
Exercice 8
Soit f une application de N∗ dans N∗ telle que : pour tout n ∈ N∗ , f (n + 1) > f (f (n)).
Montrer que, pour tout n ∈ N∗ , f (n) = n.
1. A\B = B\A
4. (A ∪ B) ∩ (B ∪ D) ∩ (D ∪ A) = (A ∩ B) ∪ (B ∩ D) ∪ (D ∩ A)
Exercice 10
Soient A et B deux parties d’un ensemble E. Résoudre l’équation (E) : (A ∩ X) ∪ (B ∩ X) = ∅, en l’inconnue
X ∈ P(E).
Exercice 11
Soient A, B, C et D quatre ensembles.
1. Démontrer que (A × C) ∪ (B × C) = (A ∪ B) × C.
Exercice 12
Soient E un ensemble, n un entierÑnon nul, A1 , . . Ñ
. , An et B
éé1 , . . . , Bn des parties de E.
n
!
[ \ [ [ [
Montrer que (Ai ∩ Bi ) = Ai Bi .
i=1 X⊂J1,nK i∈X i6∈X
Exercice 13
Soit E un ensemble non vide. Pour toutes parties A et B de E, on appelle différence symétrique de A et B la
partie de E notée A∆B définie par
A∆B = (A ∩ B) ∪ (A ∩ B) = (A ∪ B)\(A ∩ B)
n+1 [ \ \ [
2) Si k ≥ , montrer que Xi ⊂ Xi .
2
H∈Pk i∈H H∈Pk i∈H