＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- bradykinin
- bradyon
- bradyseism
- bradyzoite
- Bragg
- Bragg and his son
- Bragg angle
- Bragg Brentano diffractometer
- Bragg-Brentano diffractometer
- Bragg cell spectrometer
- Bragg condition
- Bragg crater
- Bragg crystal spectrometer
- Bragg curve
- Bragg diffraction
- Bragg -effect hologram
- Bragg [effect] hologram
- Bragg effect hologram
- Bragg equation
- Bragg glass
- Bragg grating
- Bragg hologram
- Bragg law
- Bragg peak
- Bragg plane