Definition:Deductive Method

From ProofWiki
Jump to navigation Jump to search


The deductive method is a general term for the process of building a logical argument from a (usually) limited number of premises.

Thus from a small number of statements which have been accepted as true, and a small number of rules of deduction, a theoretically unlimited number of further statements are determined to be true as a result.