deductive inference

Noun

 * 1) inference in which the conclusion is of no greater generality than the premises
 * 2) inference in which the conclusion is just as certain as the premises