释义 |
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 |