Exercices corrigés — Vocabulaire ensembliste et logique (mathématiques (terminale))
15 exercices avec corrigé rédigé, du plus simple au plus exigeant.
- Nier des propositions quantifiées Exercice de TD
- Réfuter par un contre-exemple Exercice de TD
- Implication, réciproque, contraposée Exercice de TD
- Condition nécessaire, condition suffisante Exercice de TD
- Composition et bijection Exercice de TD
- Problème — Dénombrer avec le produit cartésien et la bijection Exercice de TD
- Problème — Quantificateurs, négation et raisonnement par l'absurde Exercice de TD
- Appartenance ou inclusion Application directe du cours
- Traduire « et », « ou », « contraire » Application directe du cours
- Ensembles de définition et intervalles Application directe du cours
- Produit cartésien et dénombrement Application directe du cours
- Disjonction des cas Application directe du cours
- Problème — Anatomie logique d'une démonstration par récurrence Application directe du cours
- Problème — Une implication, sa réciproque, sa contraposée Application directe du cours
- Problème — Propriété caractéristique, équivalence et conditions Application directe du cours