hypothesis

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

Last revised on September 28, 2012 at 10:57:30. See the history of this page for a list of all contributions to it.