Slide 1 Propositional Logic Lecture 1: Sep 2 Slide 2 Content 1.Mathematical proof (what and why) 2.Logic, basic operators 3.Using simple operators to construct any operator…