
J. Messaho
Table des matières
1 vocabulaire de la théorie des ensembles 3
1.1 Introduction......................................... 3
1.2 Définitions.......................................... 3
1.2.1 Ensemble...................................... 3
1.2.2 Élément....................................... 4
1.2.3 Cardinald’unensemble .............................. 4
1.2.4 Sousensemble ................................... 4
1.3 Complémentaire d’un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Intersection de deux ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5 Uniondedeuxensembles.................................. 6
1.6 RéglesdeMorgan...................................... 7
2 Relations et applications 8
2.1 Relation........................................... 8
2.1.1 Relation entre deux ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1.2 Relation dans un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Application ......................................... 10
2.2.1 Image d’un ensemble par une application . . . . . . . . . . . . . . . . . . . . . 10
2.2.2 Applicationidentité................................. 11
2.2.3 Application injective, surjective et bijective . . . . . . . . . . . . . . . . . . . . 11
3 Logique 13
3.1 Vocabulaireusuel...................................... 13
3.2 Connecteurslogiques.................................... 14
3.2.1 Négation : le connecteur logique NON . . . . . . . . . . . . . . . . . . . . . . . 14
3.2.2 Conjonction : le connecteur logique ET . . . . . . . . . . . . . . . . . . . . . . 14
3.2.3 Disjonction : le connecteur logique OU . . . . . . . . . . . . . . . . . . . . . . 15
3.2.4 Implication : le connecteur logique Si. . . alors................... 15
3.2.5 Equivalence logique : le connecteur logique Si et Seulement Si . . . . . . . . . . 16
3.3 Lesquantificateurs ..................................... 16
3.3.1 Quantificateur universel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3.3.2 Quantificateur existentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.3.3 Propriétés des quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
4 Algèbre de boole 18
4.1 Introduction......................................... 18
4.2 Axiomesetpostulats .................................... 18
4.3 Principededualité ..................................... 19
1