Propositional Calculus
nounverified·updated May 18, 2026
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
Framework senses
- §1
- a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
- §1 · legacy_primary
- a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate themDR-088 backfill from the noun definition column