LLexicon Workbenchv2.1

Nounverified MWEverified

Propositional Calculus

nounverified·updated May 18, 2026

GlossaryL1 — what DictionaryL2 — how used ThesaurusL3 — relations Universaleverything

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

MWE

Classifications

per-axis with provenance

Entity Type

Unknown—authoritativeglossary_import_default_pending_classifier

?unassignedlast reviewed —

Sensitivity

unclassified

Information Class

unclassified

Variants

6 surface forms

synonym: propositional logic
plural: Propositional CalculiPropositional Calculuses
possessive: Propositional Calculus's
pluralpossessive: Propositional Calculi'sPropositional Calculuses'

Continue to:Dictionary →How is this term used per framework?Thesaurus →How does this term relate to other terms?Universal →Everything in one page.