propositional logic命題邏輯學術名詞建議邏輯：電機工程、電子工程、電力工程命題邏輯：數學、資訊英文釋義a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them