＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- metals heat treatment
- metalsmith
- metal spring gravimeter
- metal spring vibration isolator
- metal stable isotope
- metal star
- metalster
- Metal Storm
- metal structure of pumping station
- metal sulfur cluster
- metal surface bioactivation
- metal surface cleaning agent
- metal surface degreaser
- metal surface plasmon polariton
- metal surface regulator
- metal surface treatment chemical
- metal tank
- metal thermal reduction to preparation of rare earth metal
- metal thick-film nitride-silicon
- metal tin
- metal to ligand charge transfer
- metal-to-metal adhesive
- metal traces in fire scene
- metal transporter
- metal underpotential deposition