科学技术名词为您提供量词消去,elimination of quantifier,量词消去的意思,elimination of quantifier的意思,量词消去的英文,elimination of quantifier的翻译,量词消去的翻译,量词消去是什么意思,量词消去什么意思,elimination of quantifier是什么意思,elimination of quantifier什么意思
量词消去 相关科技名词
- 真假值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
别人正在查