Deductive Rules Of Inference