Introduction
Les objectifs spécifiques
A l'issue de ce chapitre, l'apprenant sera capable de :
Connaître les principaux opérateurs et leur 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.