propositional calculus

Noun

 * 1)  propositional logic.

Hypernyms

 * logical calculus

Derived terms

 * implicational propositional calculus