理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Rhaeto-Romances
- Rhaeto-Romantic language
- rhagades
- rhagadia mammae
- rhagadia manus et pedis
- rhagon
- Rhamagiandi
- R. Hamilton
- R. Hamilton (1943—)
- rhamninose
- rhamnolipid
- rhamnose
- rhamphorhynchoids
- rhapontici uniflori flos
- rhapsodies of Northern Dynasties
- Rhapsodies on Calligraphers Through the Ages
- rhapsody
- Rhapsody on Literature
- RHB
- R. H. Bing
- R. H. Bing (1914—1986)
- Rh blood group
- Rh blood group system
- R. H. Cameron
- R. H. Cameron (1908—1989)