Série Logique Section C
Série Logique Section C
Série Logique Section C
Faculté de mathématiques
Exercice 1. Soient P ,Q et R trois propositions. En utilisant une table de vérité, vérifier que :
Exercice 2. 1) Montrer que la proposiion (∀x > 0 ∃y > 0 / x < y ) est vraie alors que la
proposition (∃y > 0 / ∀x > 0, x < y ) est fausse.
2) Donner la négation de la proposition suivante :
Exercice 3. Déterminer parmi les propositions suivantes celles qui sont vraies et écrire la né-
gation de celles qui sont fausses
1) ∀x ∈ R∗+ , ∃y ∈ N ∶ xy > 1.
2)∀x ∈ R, ∃y ∈ N∗ ∶ xy > 1.
3)∃x ∈ N, ∀y ∈ R ∶ y 2 − 3y + 1 ≥ x − 3.
4)∃x ∈ N, ∃y ∈ N ∶ (x − y)(x + y) = y 2 .
5)∀x ∈ R, x2 − 1 = 0 Ô⇒ x = 1.
1
Exercice 5. Soit E un ensemble et A, B, C trois parties de E. On note Ac le complémentaire
de A dans E. Montrer que :
1) (A ∪ B)c = Ac ∩ B c , (A ∩ B)c = Ac ∪ B c
2) (A ∪ B) × C = (A × C) ∪ (B × C), (A ∩ B) × C = (A × C) ∩ (B × C)
3) (A ∪ C ⊂ A ∪ B et A ∩ C ⊂ A ∩ B) Ô⇒ C ⊂ B
4) A ⊂ B ⇔ B c ⊂ Ac ⇔ A − B = ∅ ⇔ P(A) ⊂ P(B) ⇔ Ac ∪ B = E
5) A ∩ (B △ C) = (A ∩ B) △ (A ∩ C), A △ (B △ C) = (A △ B) △ C
Exercice 7. Soient E un ensemble non vide et A ⊂ E, Soit R la relation définie sur P(E) par :
XRY ⇔ X ∩ A = Y ∩ A.
Montrer que R est une relation d’équivalence et que P(E)/R est equipotent à P(A).
Donner f (A), f −1 (A), f (B), f (A ∩ B), f (A) ∩ f (B), f (R − A), R − f (A), f (f −1 (A)),
f −1 (f (A)).