Le calcul des propositions est la plus simple des logiques : des affirmations élémentaires, vraies ou fausses, reliées entre elles par non, et, ou, implique. Son pouvoir expressif est limité, mais c’est sur ses fondations que se construisent toutes les logiques plus évoluées.
On le parcourt en trois temps : comment on écrit une formule, ce qu’elle veut dire, et comment on la démontre sans jamais regarder ce qu’elle veut dire. Tout l’enjeu est de faire coïncider ces deux derniers points : que ce qui est démontrable soit vrai, et que ce qui est vrai soit démontrable.
Ces trois chapitres sont des notes de lecture du livre La logique pas à pas de Jacques Duparc.