Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres.
Ce cours ne sera pas non plus un apprentissage de l'art de raisonner en mathématique. La logique des mathématiques repose sur le présupposé d'une aptitude commune à raisonner qui nous permet de communiquer et de convaincre qu'un raisonnement est correct. S'il existe bien un raisonnement mathématique, il s'élabore sur une spécialisation du raisonnement commun dans le contexte des mathématiques. Ses spécificités s'acquièrent d'abord ... par la pratique des mathématiques (y compris bien-sûr la pratique de la logique mathématique), même si nous espérons que la formalisation de la logique que nous allons donner permettra de clarifier et de préciser cette pratique.
