propositional calculus命題演算學術名詞命題演算：數學、資訊英文釋義a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them