＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- dance space
- Dance Squad of Picking Red Lotus
- dance structure genres in musicals
- dance style
- Dances with Wolves
- dance tachui
- dance theater
- dance therapy
- dance tower monument of Erxian palace, Zhongping village, Gaoping
- Dance Troupe of Publicity Team under General Political Department of Northeast Democratic Allied Forces
- Dance with the Bowl on Head
- Dance With the Straw Hat
- Dancheng Xian
- Dancing and Sing
- Dancing Crane by Ni Yuanlu
- Dancing Diva
- Dancing During the Lantern
- dancing girls
- dancing girls in the Mongolia army
- dancing girl Yao
- dancing graded examination
- dancing lion
- Dancing under the Moon
- Dancing with the Virtual Dervish: virtual bodies
- dancology