Powered by CC-CEDICT
Trad. 詞項邏輯
- (philosophy) term logic; syllogistic logic
Trad. 數理邏輯
- mathematical logic
- symbolic logic
Trad. 量化邏輯
- quantificational logic (i.e. first-order logic)
Trad. 邏輯鏈路控制
- logical link control
- LLC
