UNIT 2 : Propositional and predicate logic