propositional calculus
A system of
symbolic logic
.
[More detail?].