📌 La réciproque de est , tandis que sa contraposée est .
Implication A ⇒ B, réciproque B ⇒ A, contraposée ¬B ⇒ ¬A
★ À maîtriser
📌 Un ensemble défini en extension liste exhaustivement ses éléments, tandis qu’un ensemble défini en compréhension sélectionne les éléments vérifiant une propriété dans un ensemble de référence.
Compléments
Appartenance → inclusion → extension ou compréhension
Union = ou, intersection = et, complémentaire = non
📐 Formule — Pour tout ensemble fini E, le nombre de ses sous-ensembles vérifie .
📐 Formule — Pour deux ensembles finis A et B, .
Chaque sous-ensemble reçoit un code binaire → 2^{|E|} sous-ensembles
Réflexivité → symétrie → transitivité
★ À maîtriser
📌 Une application est injective si chaque élément d’arrivée a au plus un antécédent, surjective s’il en a au moins un, et bijective s’il en a exactement un.
Compléments
Injective : au plus un antécédent ; surjective : au moins un ; bijective : exactement un
★ À maîtriser
Les éléments neutres sont a+0=a et a·1=a, tandis que les éléments absorbants sont a·0=0 et a+1=1.
Les lois de Morgan booléennes donnent et .
Compléments
📐 Formule — L’implication booléenne se réécrit .
0 = faux, 1 = vrai ; · = et, + = ou, barre = non
★ À maîtriser
Sur 32 bits non signés, on peut coder 2³² nombres, de 0 à 2³²−1, soit de 0 à 4294967295.
Pour coder un entier négatif a en complément à deux sur n bits, on utilise l’écriture binaire de 2ⁿ+a.
Compléments
Le nombre décimal 63 possède les écritures (111111)₂, (2100)₃, (223)₅ et (3F)₁₆.
En décimal codé binaire, chaque chiffre décimal utilise quatre bits, de sorte que 2016 est codé 0010 0000 0001 0110.
Base → écriture positionnelle → codage des positifs → compléments
📐 Formule — Le théorème de Bézout affirme qu’il existe des entiers p et q tels que .
Divisibilité → PGCD → Bézout → facteurs premiers
📌 La congruence modulo n est compatible avec l’addition, la soustraction, la multiplication et les puissances entières.
📌 Dans Z/nZ, une classe non nulle est inversible si et seulement si son représentant est premier avec n ; sinon elle est un diviseur de zéro ou la classe nulle.
Pour un nombre premier p et un entier a non multiple de p, le petit théorème de Fermat donne .
RSA choisit deux nombres premiers distincts p et q, calcule n=pq et φ(n)=(p−1)(q−1), choisit e premier avec φ(n), puis calcule d inverse de e modulo φ(n).
📐 Formule — Dans RSA, le chiffrement d’un message M donne modulo n, puis le déchiffrement calcule modulo n pour retrouver M.
Congruence → inversibilité → Fermat/Euler → clés RSA
| Relation | Propriétés | Conséquence |
|---|---|---|
| Équivalence | Réflexive, symétrique, transitive | Classes formant une partition |
| Ordre | Réflexive, antisymétrique, transitive | Comparaison structurée |
| Ordre strict | Antisymétrie forte et transitivité | Non réflexive |
| Propriété | Condition sur les antécédents | Description |
|---|---|---|
| Injective | Au plus un | Deux éléments de départ ne partagent pas une image |
| Surjective | Au moins un | Tout élément d’arrivée est atteint |
| Bijective | Exactement un | Injective et surjective |
Teste tes connaissances sur Mathématiques discrètes avec 11 questions à choix multiples et corrections détaillées.
1. Dans l’implication , quel rôle logique jouent respectivement et ?
2. Quelle est la définition correcte de l'implication en logique propositionnelle ?
Mémorisez les concepts clés de Mathématiques discrètes avec 11 flashcards interactives.
Quelle forme logique exprime une implication entre deux propositions ?
La forme « si A alors B » notée .
Implication logique propositionnelle
Relie deux propositions sous forme « si A alors B »
Quelle est la contraposée de l'implication ?
La contraposée est .
Importe ton cours et l'IA génère fiches, QCM et flashcards en 30 secondes.
Générateur de fiches