Proposition (mathematics)

From Wikipedia, the free encyclopedia

In mathematics, the term proposition is used for a proven statement that is of more than passing interest, but not sufficient interest to call the result a theorem. Unlike the term lemma, which is used for proven statements used as stepping stones for further theorems and typically not having a simple proof, the term proposition is often used for statements that are easy consequences of earlier definitions or theorems, possibly presented without proof; in such cases it is a synonym of corollary. See also mathematical terminology.

In mathematical logic, the term proposition is also used as an abbreviation for propositional formula. This use of the term does not imply or suggest that the formula is provable or true.

This article is uncategorized. Please categorize this article to list it with similar articles. (June 2008)