Definition:Premise

Definition
A premise is an assumption that is used as a basis from which to start to construct an argument.

When the validity or otherwise of a proof is called into question, one may request the arguer to "check your premises".

Also known as
Some sources use the word hypothesis, but this tends nowadays to have a slightly different meaning from premise.

Some sources use the spelling premiss, whose plural is premisses.

Also defined as
Some authors use the term premise to mean the antecedent of a conditional statement.

Also see

 * Definition:Conclusion


 * Rule of Assumption

Historical Note
In the early days of (mathematical) logic, there was a significant distinction between premises on the one hand, and assumptions on the other hand.

Premises ought to be essential for the validity of the argument, while assumptions were expected to be discharged at some point in the argument.

Over the years, through abstraction and change of perspective on (symbolic) logic, this distinction is becoming less important; however, it still retains considerable conceptual value.

For example, the Rule of Assumption of natural deduction is a symbolic representation of both these concepts, but allows to distinguish between them to make it easier to convey the overall structure of a proof to the reader.

Technical Note
When invoking a premise in a tableau proof, use the Premise template:



or:

where:
 * is the number of the line on the tableau proof where the premise is to be invoked
 * is the statement of logic that is to be displayed in the Formula column, without the  delimiters
 * is the (optional) comment that is to be displayed in the Notes column.