Rules Of Inference In Discrete Mathematics