**Deductive** reasoning is the process of passing from premises to conclusions in such a way that the truth of the former necessitates the truth of the latter. In other words, deductive logic studies what it is for an argument to be **valid**.

A formalization of the process of deductive reasoning are deductive systems in logical frameworks such as *natural deduction* and *sequent calculus*.

Last revised on September 24, 2014 at 08:47:34. See the history of this page for a list of all contributions to it.