n. 1.a practical consequence that follows naturally 2.(logic) an inference that follows directly from the proof of another proposition