Propositional Logic: Syntax and Inference