Logique
Ce chapitre est assez abstrait en première lecture, mais est (avec le chapitre suivant « Ensembles ») probablement le plus important de l’année car il est à la base de tous les raisonnements usuels (ou de la plupart des erreurs de raisonnement usuelles) de premier cycle d’études. Par suite, il ne faudra pas hésiter à le relire et le réapprendre de nombreuses fois, quand plusieurs chapitres auront défilé et que vous aurez gagné en maturité. Vous devrez chercher à en cerner l’aspect pratique et en particulier à bien maîtriser les quelques exercices corrigés.
Le programme officiel de mathématiques supérieures prévoit que les notions apparaissant dans les trois premiers chapitres (logique, ensembles et applications, structures) soient acquises progressivement au cours de l’année, au fur et à mesure des exemples rencontrés. Vous pouvez donc sauter ces trois premiers chapitres dans un premier temps. Néanmoins, ils sont à disposition dès le début et j’y ferai souvent référence.

Plan du chapitre
1 (Très) brève description des mathématiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 1
2 Vocabulaire usuel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 1
3 Calcul propositionnel . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 2
3.1
3.2
3.3
3.4
3.5

4

5

6

1

Définition d’une proposition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . page 3
Equivalence logique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .