propositional calculus

英语翻译：

propositional calculus读

【计】命题演算

a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them同义词：propositional logic