BabelNet

bn:00022785n

Noun Concept

Categories: Theorems, Articles with short description, Mathematical terminology, Statements

corollary Corallary corollaries Corollarium Corrolary

(logic) an inference that follows directly from the proof of another proposition WordNet 3.0

Definitions

Examples

Relations

Sources

(logic) an inference that follows directly from the proof of another proposition WordNet 3.0 & Open English WordNet

In mathematics and logic, a corollary is a theorem of less importance which can be readily deduced from a previous, more notable statement. Wikipedia

statement which can be readily deduced from a previous, more notable statement, but whose importance tends to be secondary in nature Wikidata

A proposition which follows easily from the proof of another proposition. OmegaWiki

Proposition which follows easily. Wiktionary (translation)

We have proven that this set is finite and well ordered; as a corollary, we now know that there is an order-preserving map from it to the natural numbers. Wiktionary

IS A

inference

statement

HAS KIND

Roosevelt Corollary

HAS INSTANCE

proof that π is irrational

porism

CATEGORY DOMAIN

logic

WordNet 3.0 & Open English WordNet

corollary

Wikipedia

corollary

Wikidata

corollary

Wiktionary

corollary

OmegaWiki

corollary

Wikipedia Redirections

Corallary, corollaries, Corollarium, Corrolary, Peirce's theory of deductive reasoning