deduction in nLab

+-- {: .rightHandSide}
+-- {: .toc .clickDown tabindex="0"}
### Context
#### Deduction and Induction
+-- {: .hide}
[[!include deduction and induction - contents]]
=--
=--
=--

# Contents
* table of contents
{: toc}

## Idea

In [[logic]], a __deduction__ or __derivation__ is a part of a [[proof]], drawing a conclusion from certain [[premises]].  See:

* [[natural deduction]]

* [[sequent]]

## Properties

* [[deduction theorem]]


## Related concepts

* [[deductive reasoning]]

* [[induction]]

* [[syllogism]]


[[!redirects deduction]]
[[!redirects deductions]]