# Contents

## Idea

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

## Properties

Revised on January 8, 2014 09:08:10 by Urs Schreiber (89.204.130.116)