Valid Inference Definition Math