Premise
From Wikipedia, the free encyclopedia
(Redirected from Premise (mathematics))
This article is about in discourse and logic. For other uses, see Premise (disambiguation).
 |
This article does not cite any references or sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. (May 2008) |
In logic, an argument is a set of one or more declarative sentences (or "propositions") known as the premises along with another declarative sentence (or "proposition") known as the conclusion. Premises are sometimes left unstated in which case they are called missing premises, e.g. in
-
- Socrates is mortal, since all men are mortal.
It is evident that a tacitly understood claim is that Socrates is a man. The fully expressed reasoning is thus:
-
- Since all men are mortal and Socrates is a man, it follows that Socrates is mortal.
In this example, the first two independent clauses preceding the comma (namely, "all men are mortal" and "Socrates is a man") are the premises, while "Socrates is mortal" is the conclusion.
The proof of a conclusion depends on both the truth of the premises and the validity of the argument.
[edit] See also
- Argument map
- Argumentation theory
- Co-premise
- Inference objection
- Main contention
- Proposition
- Statement in mathematical logic and philosophy
- Validity
