Discrete Math Rules Of Inference For Quantified