Inference Rules For Propositional Logic