This course consists of four chapters namely; Propositional logic.