LLexicon Workbenchv2.1

Nounverified MWEverified

Logical Implication

nounverified·updated May 18, 2026

GlossaryL1 — what DictionaryL2 — how used ThesaurusL3 — relations Universaleverything

a logical relation between propositions p and q of the form `if p then q'

Framework senses

2 senses across 2 frameworks

Wordset Dictionary1 senseview framework →

§1: a logical relation between propositions p and q of the form `if p then q'

Legacy lexicon import1 senseview framework →

§1 · legacy_primary: a logical relation between propositions p and q of the form `if p then q'
DR-088 backfill from the noun definition column