Corollary
nounid
33011·updated May 18, 2026verified
(logic) an inference that follows directly from the proof of another proposition
polysemous
Classifications
Entity Type
Unknown—glossary_import_default_pending_classifier
Sensitivity
unclassified
Information Class
unclassified
Variants
- plural
- Corollaries
- possessive
- Corollary's
- pluralpossessive
- Corollaries'
Framework definitions
- §1
- (logic) an inference that follows directly from the proof of another proposition
- §2
- a practical consequence that follows naturally
Outgoing relationships
No outgoing triples
This term is not the subject of any RDF-style relationship yet.
Incoming relationships
No incoming triples
No other term currently asserts a relationship to this one.