Cette séance de cours présente les bases de la logique propositionnelle, y compris les opérateurs logiques, les tables de vérité et les propositions composées. Il couvre les équivalences logiques, les lois de De Morgan et les concepts contrapositifs, convers et inverses. L'instructeur montre comment construire de nouvelles équivalences logiques et fournit des exemples de preuves d'équivalence.