rachunek zdań

Etymology
lit. 'calculus of propositions'.

Noun

 * 1)  propositional calculus