n (logic) In an argument or syllogism, the proposition that follows as a necessary consequence of the premises.