# Contents

## Idea

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