INTRODUCTION to PROPOSITIONAL LOGIC - DISCRETE MATHEMATICS