理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Historical Methods: A Journal of Quantitative and Interdisciplinary History
- historical military geography
- Historical Morphology
- historical multi-cause theory
- Historical Museum Basel
- Historical Museum of Abomey
- Historical Museum of the City of Krakow
- historical narration
- Historical Necessity
- historical novel
- historical ontology
- Historical Painting
- historical paleogeography
- historical particularism
- Historical Periodization
- Historical Phonology
- Historical Poetics
- historical poetics
- historical political geography
- historical population geography
- Historical Pragmatics
- historical pricing rule
- historical process of desertification
- historical prose in Pre-Qin
- Historical Records by Fang Shao