corollary
Sign in to saveIn mathematics and logic, a corollary (, ; , ) is a proposition which can be readily deduced from a previous, already proven proposition. A corollary could be a proposition that is incidentally proved while proving another proposition; it might also be used more casually to refer to something which naturally or incidentally accompanies something else.
~3 min read
Article
5 sectionsContents
- Overview
- Peirce's theory of deductive reasoning<!--'Peirce's theory of deductive reasoning' redirects here-->
- See also
- References
- Further reading
In mathematics and logic, a corollary (, ; , ) is a proposition which can be readily deduced from a previous, already proven proposition. A corollary could be a proposition that is incidentally proved while proving another proposition; it might also be used more casually to refer to something which naturally or incidentally accompanies something else.
==Overview== In mathematics, a corollary is a theorem connected by a short proof to an existing theorem. The use of the term corollary, rather than proposition or theorem, is intrinsically subjective. More formally, proposition B is a corollary of proposition A, if B can be readily deduced from A or is self-evident from its proof.