# Contents

## Idea

In logic (such as sequent calculus or natural deduction) a hypothesis or premise is the antecedent of a sequent (or part of one).

Revised on September 28, 2012 10:57:30 by Urs Schreiber (82.169.65.155)