| 释义 |
propositional calculus
noun
: a fundamental branch of symbolic logic dealing with propositions or statements as wholes, with their combinations, with the connectives that interrelate them, and with their transformation rules — compare transformation rule, truth table |