â–¸ noun: (logic) an inference that follows directly from the proof of another proposition See Also Axiom Scholium Syllogism
