Inference Rules For Propositional Logic Discrete