＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] calculus of propositions 命题演算 propositional calculus 命题演算 又称“命题逻辑” †sentential calculus 命题演算，语句演算
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- light microscope
- light microscopic structure
- light microscopy
- light-microsecond
- light minute
- light modulator
- light month
- light nebula
- light-negative
- lightness
- lightning
- lightning accident
- lightning alignment meter
- lightning arrester
- Lightning Boxing
- lightning caused fire
- lightning detection from satellite
- Lightning effect
- lightning electromagnetic impulse，LEMP
- lightning electromagnetic pulse measurement instrument
- lightning equipotential bonding
- lightning fast electric-field change meter
- lightning fire
- lightning induction
- lightning interferometer