Discrete Math Rules Of Inference