#
nLab

deduction

### Context

#### Deduction and Induction

# Contents

## Idea

In logic, a **deduction** or **derivation** is a part of a proof, drawing a conclusion from certain premises. See:

## Properties

Last revised on January 28, 2015 at 17:41:06.
See the history of this page for a list of all contributions to it.