## 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.