LLexicon Workbenchv2.1

Corollary

nounverified·updated May 18, 2026

GlossaryL1 — what DictionaryL2 — how used ThesaurusL3 — relations Universaleverything

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

Framework senses

2 senses across 1 framework

Wordset Dictionary2 sensesview framework →

§1: (logic) an inference that follows directly from the proof of another proposition
§2: a practical consequence that follows naturally