Definition:Premise
From ProofWiki
Contents |
Definition
A premise (sometimes spelt premiss) 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".
Note
Some sources use the word hypothesis, but this tends nowadays to have a slightly different meaning from premise.
Also see
Sources
- Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning (1964): $\text{I}: \S 3$
- E.J. Lemmon: Beginning Logic (1965): $\S 1.1$
- Gary Chartrand: Introductory Graph Theory (1977): Appendix $\text{A}.5$
- D.J. O'Connor and Betty Powell: Elementary Logic (1980): $\S 1.1$
- Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems (2000): $\S 1.2$
