deductive reasoning

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun Inference in which the conclusion cannot be false given that the premises are true.
• noun Inference in which the conclusion is of no greater generality than the premises.

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

• noun reasoning from the general to the particular (or from cause to effect)