科学技术名词为您提供逻辑加法,logical addition,逻辑加法的意思,logical addition的意思,逻辑加法的英文,logical addition的翻译,逻辑加法的翻译,逻辑加法是什么意思,逻辑加法什么意思,logical addition是什么意思,logical addition什么意思
逻辑加法 相关科技名词
- 真假值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
别人正在查