n (context|logic) An inference in which one proposition (the conclusion) follows necessarily from two other propositions, known as the premises.