Introduction to Discrete Mathematics

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

www.cse.cuhk.edu.hk