
| the branch of symbolic logic dealing with the logical relationships between statements insofar as they can be analyzed into conjunctions, disjunctions, and negations of more elementary statements. |
| propositional calculus n. The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure. |
propositional calculus
propositional logic