Comprehensive Study Material on Discrete Mathematics: Logical Arguments and Inference in Propositional Logic