noun
propositional logic; propositional calculus
A branch of formal logic dealing with propositions and logical connectives. Often contrasted with 述語論理 (predicate logic).
See also: 述語論理
In propositional logic, logical formulas are expressed using propositional variables and logical connectives.