Dans ce chapitre, nous avons étudié la logique propositionnelle. Tout d'abord, nous avons vu comment former des propositions à partir de propositions basiques et de connecteurs logiques. Nous avons vu comment représenter une proposition sous forme d'arbre syntaxique. Nous avons aussi vu comment calculer la valeur de vérité d'une proposition en fonction des différentes interprétations possibles. Nous avons parlé de notions de satisfiabilité et de validité. Aussi, nous avons vu comment représenter une proposition sous forme de table de vérité, ainsi que comment construire une proposition à partir de sa table de vérité en passant par une table de Karnaugh. Finalement, nous avons abordé la notion de preuve mathématiques avec un système de déduction appelé la déduction naturelle.

Ces connaissances vont nous être très utiles pour la suite du cours. Nous allons notamment voir, dans le chapitre suivant, comment concevoir des circuits à l'aide de portes logiques, des composants électroniques qui permettent de réaliser des opérations logiques. Ces connaissances en logique nous aideront aussi dans le cadre de la programmation, où nous seront amenés à manipuler des variables booléennes et effectuer des tests logiques. Aussi, le processus de calcul d'une expression d'un programme informatique est très similaire à celui d'une proposition.