Deductive method
Deductive method, the process of reasoning by which conclusions are drawn by logical inference from given premises. The Aristotelian syllogism is an example of deductive logic. Conclusions reached by deductive reasoning are called valid rather than true to distinguish that which follows logically from that which is the case.
Additional topics
21st Century Webster's Family Encyclopedia21st Century Webster's Family Encyclopedia - Davis, Henry Gassaway to Diamond