Inference Rules In Propositional Logic In Ai