＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Duobei tea
- duocarmycin
- Duo Dance
- Duodao Qu
- duodecagon
- duodecahedron
- duodeca-」【前缀】十二
- duodecillion
- duodecimal
- duodecimal arithmetic
- duodecimal digit
- duodecimal fraction
- duodecimal notation
- duodecimal number system
- duodec- 「=
- duodenal cancer
- duodenal diverticulum
- duodenal injury
- duodenary
- duodenary series
- duodenitis
- duodenoscopy
- duo-diode
- Duoduo
- duodynatron