Ce livre fait le lien entre logique et raisonnement, les erreurs classiques sont analysées, les notions de preuve et de déduction expliquées avec des raisonnements courants.
De nombreux exercices corrigés permettent au novice de maîtriser peu à peu les notions de base ayant trait à la syntaxe, la sémantique et la théorie de la preuve.