Chapitre1:Logique mathématique
Section outline
-
Objectifs spécifiques
A l'issue de ce chapitre, l'apprenant sera capable de:
- Connaître les principaux opérateurs et leurs propriétés : NON, ET, OU.
- savoir manipuler adéquatement les quantificateurs.
- Comprendre les notions d'implication et d'équivalence.
- Appliquer toutes ces notions à la démonstration mathématique
- Comment structurer proprement un raisonnement
- Introduction au raisonnement par l'absurde, par récurrence et à la contraposée