数学数理逻辑数学基础模型论
降L-S定理 downward Loewenheim-Skolem theorem 降L-S定理的意思 downward Loewenheim-Skolem theorem的意思 降L-S定理的英文
科学技术名词为您提供降L-S定理,downward Loewenheim-Skolem theorem,降L-S定理的意思,downward Loewenheim-Skolem theorem的意思,降L-S定理的英文,downward Loewenheim-Skolem theorem的翻译,降L-S定理的翻译,降L-S定理是什么意思,降L-S定理什么意思,downward Loewenheim-Skolem theorem是什么意思,downward Loewenheim-Skolem theorem什么意思
降L-S定理 相关科技名词
- 真假值truth value
- 真值truth
- 假值falsity
- 真假值函数truth function
- 真假值表truth table
- 重言式tautology
- 一阶逻辑first-order logic
- 谓词predicate
- 谓词演算predicate calculus;functional calculus
- 谓词变元predicate variable
- 函数符号function symbol
- 常项constant
- 自由变元free variable
- 个体变元individual variable
- 量词quantifier
- 存在量词existential quantifier
- 全称量词universal quantifier
- 非标准量词non-standard quantifier
- 约束变量bound variable
- 约束出现bound occurrence
- 受囿量词bounded quantifier
- 前束词prefix
- 前束范式prenex normal form
- 语句sentence
- 逻辑表达式logical expression
- 闭公式closed formula
- 替换replacement
- 代入substitution
- 理论theory
- 全域universe
- 高阶逻辑high order logic
- 多种类谓词演算many sorted predicate calculus
- 无穷逻辑infinitary logic
- 一阶理论first-order theory
- 结构structure
- 模型model
- 非标准模型non-standard model
- 相容性consistency
- 完全性completeness
- 模型完全性model completeness
别人正在查