Premise (mathematics)
From Wikipedia, the free encyclopedia
In mathematics and logic, premises are the formulas on which a step of a logical argument depends to obtain a consequence of those premises. Premises may be justified either as instances of axioms of an axiomatic system, or as consequences of previous steps of the argument, or as theorems, lemmas, or corollaries that have been established as part of a larger theory, or as assumptions to be discharged later as in natural deduction.
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
