理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- administrator of Western Regions
- Administrators of Performing Arts Management
- adminstrative boundary
- Admiral Makarov State University of Maritime and Inland Shipping
- admiralty action
- Admiralty Islands
- Admiring Plum Blossoms at Lingfeng in Hangzhou
- Admiring the Moon in My Office by the West City Gate
- admissibility
- admissibility condition
- admissibility criterion
- admissible
- admissible category
- admissible center
- admissible chart
- admissible coloration
- admissible condition
- admissible control
- admissible covering
- admissible curve
- admissible decision
- admissible decision function
- admissible decision function/rule
- admissible decision rule
- admissible deformation