Logique et Ensembles > [!NOTE] > ### 1. Définitions et Fondamentaux > La logique et la théorie des ensembles sont les fondements des mathématiques. > * Proposition : Énoncé vrai ou faux. Connecteurs : [formule] (et), [formule] (ou), [formule] (non), [formule], [formule]. > * Quantificateurs : [formule] (pour tout), [formule] (il existe), [formule] (il existe un unique). > * Négation : [formule] et [formule]. > * Ensemble : Collection d'objets. [formule] (appartenance), [formule] (inclusion). > * Opérations : [formule], [formule], [formule], [formule] (complémentaire), [formule] (produit cartésien). > * Lois de De Morgan : [formule] et [formule]. > * Parties : [formule] est l'ensemble des parties de [formule]. [formule]. > [!WARNING] > ### 2. Pièges à éviter > * [formule] vs [formule] : [formule] (élément) vs [formule] (ensemble). [formule] mais [formule]. > * Implication : [formule] est vraie si [formule] est fausse (ex falso quodlibet). > * Négation de [formule] : [formule]. > * Ensemble vide : [formule] pour tout [formule]. [formule]. > * Quantificateurs emboîtés : [formule] ≠ [formule] en général. > [!TIP] > ### 3. Exercice Type : Raisonnement par contraposée > Énoncé : Montrer que si [formule] est pair, alors [formule] est pair. > > Solution Détaillée : > 1. Contraposée : On montre : si [formule] est impair, alors [formule] est impair. > 2. Si [formule] est impair, [formule] pour un certain [formule]. > 3. [formule]. > 4. Donc [formule] est impair. > 5. Par contraposée, si [formule] est pair, alors [formule] est pair. > [!QUESTION] > ### 4. Questions de Jury > * Q1 : Qu'est-ce qu'un raisonnement par l'absurde ? > * Rép : On suppose [formule] et on en déduit une contradiction. Donc [formule] est vraie. > * Q2 : Énoncer le principe de récurrence. > * Rép : Si [formule] et [formule], alors [formule]. > * Q3 : Qu'est-ce que l'axiome du choix ? > * Rép : Pour toute famille [formule] d'ensembles non vides, il existe une fonction de choix [formule] avec [formule]. ### 5. Références Bibliographiques * D. Perrin, Algèbre — Excellent pour les préliminaires logiques et ensemblistes. * X. Gourdon, Algèbre — La référence pour l'agrégation, fondements clairs.