Cette séance de cours couvre la logique propositionnelle, y compris les déclarations, les variables, les connecteurs logiques, les implications et les équivalences importantes. Il traite également de la tautologie, de la contradiction, de la contingence et de l'équivalence logique, avec des exemples et des faits sur la conversion des propositions en DNF ou CNF.