Premises

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

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.