Notions fondamentales I
- Quantificateurs : Les quantificateurs universel et existentiel structurent les assertions mathématiques.
- Contraposée : La contraposée est équivalente à l’implication initiale.
- Lois de Morgan : Les lois de Morgan transforment complément d’une union et complément d’une intersection.
Notions fondamentales II
- Cardinalité : Le dénombrement utilise notamment permutations, arrangements et combinaisons.
- Bijection : Une bijection est simultanément injective et surjective.
Méthodes de contrôle I
- Contrôle — Quantificateurs : Pour contrôler un raisonnement sur « Quantificateurs », il faut vérifier la définition, les hypothèses et la cohérence de la conclusion.
- Contrôle — Contraposée : Pour contrôler un raisonnement sur « Contraposée », il faut vérifier la définition, les hypothèses et la cohérence de la conclusion.
- Contrôle — Lois de Morgan : Pour contrôler un raisonnement sur « Lois de Morgan », il faut vérifier la définition, les hypothèses et la cohérence de la conclusion.
Méthodes de contrôle II
- Contrôle — Cardinalité : Pour contrôler un raisonnement sur « Cardinalité », il faut vérifier la définition, les hypothèses et la cohérence de la conclusion.
- Contrôle — Bijection : Pour contrôler un raisonnement sur « Bijection », il faut vérifier la définition, les hypothèses et la cohérence de la conclusion.
Mises en situation
- Situation : un item porte sur « Quantificateurs » et exige d’identifier la propriété correcte.
- Situation : un item porte sur « Contraposée » et exige d’identifier la propriété correcte.
- Situation : un item porte sur « Lois de Morgan » et exige d’identifier la propriété correcte.
- Situation : un item porte sur « Cardinalité » et exige d’identifier la propriété correcte.
- Situation : un item porte sur « Bijection » et exige d’identifier la propriété correcte.
- Contrôle ciblé : relire l’étape liée à « Quantificateurs » avant validation.
- Contrôle ciblé : relire l’étape liée à « Contraposée » avant validation.
- Contrôle ciblé : relire l’étape liée à « Lois de Morgan » avant validation.
- Contrôle ciblé : relire l’étape liée à « Cardinalité » avant validation.
- Contrôle ciblé : relire l’étape liée à « Bijection » avant validation.
Procédures attendues
- Méthode : définir « Quantificateurs », repérer les hypothèses utiles, puis appliquer la propriété avant de vérifier le résultat.
- Méthode : définir « Contraposée », repérer les hypothèses utiles, puis appliquer la propriété avant de vérifier le résultat.
- Méthode : définir « Lois de Morgan », repérer les hypothèses utiles, puis appliquer la propriété avant de vérifier le résultat.
- Méthode : définir « Cardinalité », repérer les hypothèses utiles, puis appliquer la propriété avant de vérifier le résultat.
- Méthode : définir « Bijection », repérer les hypothèses utiles, puis appliquer la propriété avant de vérifier le résultat.
- Comparer la conclusion obtenue à la définition de « Quantificateurs » et tester les cas limites pertinents.
- Comparer la conclusion obtenue à la définition de « Contraposée » et tester les cas limites pertinents.
- Comparer la conclusion obtenue à la définition de « Lois de Morgan » et tester les cas limites pertinents.
- Comparer la conclusion obtenue à la définition de « Cardinalité » et tester les cas limites pertinents.
- Comparer la conclusion obtenue à la définition de « Bijection » et tester les cas limites pertinents.
Pièges fréquents
- Piège : appliquer une règle voisine de « Quantificateurs » sans vérifier ses hypothèses.
- Piège : appliquer une règle voisine de « Contraposée » sans vérifier ses hypothèses.
- Piège : appliquer une règle voisine de « Lois de Morgan » sans vérifier ses hypothèses.
- Piège : appliquer une règle voisine de « Cardinalité » sans vérifier ses hypothèses.
- Piège : appliquer une règle voisine de « Bijection » sans vérifier ses hypothèses.
- Piège : valider une conclusion plausible sans contrôle de définition ni d’hypothèses.
- Piège : valider une conclusion plausible sans contrôle de définition ni d’hypothèses.
- Piège : valider une conclusion plausible sans contrôle de définition ni d’hypothèses.
- Piège : valider une conclusion plausible sans contrôle de définition ni d’hypothèses.
- Piège : valider une conclusion plausible sans contrôle de définition ni d’hypothèses.