Valid Inference Rules For Propositional Logic