An Introduction to Propositional Logics