理学 知识表示 释 propositional calculus 命题逻辑推理 一个形式系统，有着可以由以逻辑运算符结合原子命题来构成代表“命题”的公式，以及允许某些公式建构成“定理”的一套形式“证明规则”。
＞数理逻辑与数学基础＞模型论＞释义 propositional calculus 命题演算[系统] propositional calculus 命题演算 又称“命题逻辑” †
理论计算机科学 程序理论 释文 propositional calculus 命题演算
- J. Stirling
- J. Stirling (1692—1770)
- J-sum
- J-summable series
- JTAG device obtain evidence
- JTAG设备取证
- J. Tannery
- J. Tannery (1848—1910)
- JTE
- JTIDS
- J. Tinbergen
- J. Tinbergen (1903—1994)
- J-T refrigerator
- JTRS
- J. T. Tate
- J. T. Tate (1925—)
- J-type star
- Juana de Ibarbourou
- Juan Antonio Samaranch
- Juan Benet
- juanbi decoction
- Juan Carlos Onetti
- Juancheng Xian
- Juan de Espinosa Medrano
- Juan de Fuca Strait