理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- Schools of Essay
- schools of expression
- schools of qigong
- schools of second language acquisition theories
- schools of traditional Chinese medicine
- school song
- school songs
- school supervisory board
- school teaching administration
- school teaching practice base
- school tort liability
- school to work transition
- school-to-work transition
- school trade union
- school anniversary
- Schooten
- schort
- Schott
- Schottky
- Schottky anomaly
- Schottky barrier
- Schottky barrier diode
- Schottky barrier infrared detector
- Schottky barrier metal-oxide-semiconductor field effect transistor
- Schottky barrier mixer