Corollary
nounverified·updated May 18, 2026
(logic) an inference that follows directly from the proof of another proposition
Framework senses
- §1
- (logic) an inference that follows directly from the proof of another proposition
- §2
- a practical consequence that follows naturally
- §1 · legacy_primary
- (logic) an inference that follows directly from the proof of another propositionDR-088 backfill from the noun definition column