“Logic is simply the study of the rules for valid Inference”