propositional calculus

A system of symbolic logic.

[More detail?].