Inference Rules In Discrete Mathematics