Mathématiques au lycée
Documents divers
Quelques éléments de logique mathématique
Notions de logique
Propriété réciproque et contraposée
Réciproque d'une propriété
Les ensembles
Notations et raisonnements mathématiques
Les articles définis et indéfinis en mathématiques (autour des mots rayon et diamètre)
Articulations logique (les mots "car" et "donc")
Le symbole "inférieur ou égal"
Le mot "soit" en mathématiques
Les parenthèses en mathématiques
Le symbole "appartient à"
La construction de l'édifice mathématique
La définition en mathématiques Emile Borel
Le raisonnement par l'absurde
Apprendre à donner la bonne justification (document de l'association Tremplin)
Cours et exercices de logique
Plan du cours de logique
Carte mentale sur la logique
Bilan sur la logique
1. Proposition mathématique
2. Les connecteurs logiques "ou" et "et"
3. Négation d'une proposition
4. Proposition conditionnelle (implication)
5. Réciproque d'une proposition conditionnelle
6. Contraposée d'une proposition conditionnelle
7. Phrases quantifiées
8. Le symbole d'implication
9. Le symbole d'équivalence
10. Les outils de raisonnement mathématique
Calcul des propositions et calcul des prédicats
Le quantificateur universel
cours du 16-10-2013
Propositions quantifiées
version provisoire
Condition nécessaire et suffisante
Utilisation d'un énoncé en si et seulement si
Quelques points spécifiques du langage mathématique
Les mots rayon et diamètre
emploi des articles un et le
Démarche déductive, démarche par équivalence