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