命题演算
规范用词命题演算
英文对照propositional calculus
中文又称命题逻辑(propositional logic）
名词审定数学名词审定委员会
见载刊物《数学名词》 科学出版社
公布时间1993年
科学技术名词为您提供命题演算,propositional calculus,命题演算的意思,propositional calculus的意思,命题演算的英文,propositional calculus的翻译,命题演算的翻译,命题演算是什么意思,命题演算什么意思,propositional calculus是什么意思,propositional calculus什么意思
命题演算 相关科技名词
- 可满足性satisfiability
- 可定义性definability
- 可表示性representability
- 膨胀expansion
- 斯科伦函数Skolem function
- 斯科伦壳Skolem hull
- 斯科伦佯谬Skolem paradox
- 降L-S定理downward Loewenheim-Skolem theorem
- 内插定理interpolation theorem
- 量词消去elimination of quantifier
- 初等等价[的]elementarily equivalent
- 子结构substructure
- 子模型submodel
- 初等子结构elementary substructure
- 初等子模型elementary submodel
- 模型链chain of model
- 型type
- 型省略定理omitting types theorem
- 进退构造back and forth construction
- 不可辨元indiscernible
- 原子[语]句atomic sentence;primitive sentence
- 原子公式atomic formula
- 原子理论atomic theory
- 原子模型atomic model
- 素模型prime model
- 饱和模型saturated model
- 万有模型universal model
- 极小模型minimal model
- 齐次模型homogeneous model
- 范畴性categoricity
- 稳定性stability
- 分叉forking
- 莫利定理Morley theorem
- 可靠性soundness
- 递归结构recursive structure
- 容许结构admissible structure
- 形式化算术formalized arithmetic
- 抽象模型论abstract model theory
- 非标准分析non-standard analysis
- 无穷小infinitesimal