理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- two-photon fluorescent probe
- two-photon Hong-Ou-Mandel interferometer
- two-photon interference
- two photon laser
- two-photon laser
- two-photon microscopic imaging
- two-photon polymerization laser direct writing
- two-photon process
- two photon resonance
- two-photon resonance
- two photon Young's double slit interference
- two-photon Young's double slit interference
- two pixie stone guardians of Zong Zi’s tomb
- two-place
- two-place number
- two-place operation
- two-place predicate
- two-place predicate variable
- two-place relation
- two-plane
- two-plane projection
- two-planes vertical balancing machine
- two plasmon decay
- Two Plays on Emperor Qianlong's First Southern Expedition
- Two Plus Four Negotiation