deductive inference
noun1
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
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.