n. a practical consequence that follows naturallyn. (logic) an inference that follows directly from the proof of another proposition
n. 必然的结果, 系, 推论