★ À maîtriser
📌 Une implication est fausse uniquement lorsque son hypothèse est vraie et sa conclusion fausse, tandis qu’elle est vraie dès que son hypothèse est fausse.
Une implication équivaut à sa contraposée, mais pas nécessairement à sa réciproque.
Pour nier une proposition quantifiée, on remplace chaque quantificateur universel par un quantificateur existentiel et inversement, sans changer leur ordre ni les ensembles associés, puis on nie la propriété finale.
Compléments
Implication ≠ réciproque
★ À maîtriser
Un raisonnement par analyse-synthèse détermine d’abord les conditions nécessaires d’une solution supposée, puis vérifie que les candidats obtenus sont effectivement solutions.
Pour prouver une implication par contraposition, on prouve que la négation de la conclusion entraîne la négation de l’hypothèse.
Un raisonnement par l’absurde suppose la conclusion fausse et déduit une contradiction.
La récurrence simple s’appuie sur une initialisation et sur l’hérédité, qui fait passer d’un rang au suivant.
📌 La récurrence double initialise deux rangs, tandis que la récurrence forte permet d’utiliser tous les rangs précédents.
Compléments
📌 Une preuve par disjonction des cas traite séparément des situations qui couvrent toutes les possibilités.
Analyse puis synthèse : trouver, puis vérifier
Deux ensembles sont égaux si et seulement si chacun est inclus dans l’autre.
Pour démontrer une inclusion, on prend un élément du premier ensemble et on montre qu’il appartient au second ; pour démontrer une égalité, on prouve les deux inclusions ou on établit des équivalences successives.
★ À maîtriser
📌 L’image directe d’une partie rassemble ses images dans l’ensemble d’arrivée, tandis que son image réciproque rassemble les antécédents d’une partie de l’ensemble d’arrivée.
Compléments
Image directe : éléments atteints ; image réciproque : antécédents
★ À maîtriser
Compléments
La composée de deux applications injectives est injective, celle de deux applications surjectives est surjective, et celle de deux applications bijectives est bijective.
Pour établir qu’une application est bijective et déterminer sa réciproque, on résout l’équation qui fixe son image et on vérifie qu’elle possède exactement une solution pour chaque élément de l’ensemble d’arrivée.
Une flèche par élément pour la bijection : chaque arrivée est atteinte une seule fois
★ À maîtriser
📌 Un ordre est total si deux éléments quelconques sont toujours comparables ; sinon, il est partiel.
Compléments
La congruence modulo un entier définit une relation d’équivalence ; les congruences sont compatibles avec l’addition et la multiplication.
Pour vérifier qu’une relation est une équivalence ou un ordre, on contrôle une à une les trois propriétés requises ; pour montrer qu’une propriété échoue, un seul contre-exemple explicite suffit.
Équivalence : réflexive, symétrique, transitive ; ordre : réflexive, antisymétrique, transitive
Teste tes connaissances sur Logique Ensembles et Applications avec 23 questions à choix multiples et corrections détaillées.
1. Laquelle de ces expressions est une proposition au sens logique ?
2. Dans quel cas une implication « si P, alors Q » est-elle fausse ?
Mémorisez les concepts clés de Logique Ensembles et Applications avec 46 flashcards interactives.
Qu’est-ce qu’une proposition ?
Un énoncé qui est soit vrai, soit faux.
Quand une implication est-elle fausse ?
Lorsque son hypothèse est vraie et sa conclusion fausse.
Quand une implication est-elle vraie si son hypothèse est fausse ?
Toujours.
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches