科学技术名词为您提供否定[词],negation,否定[词]的意思,negation的意思,否定[词]的英文,negation的翻译,否定[词]的翻译,否定[词]是什么意思,否定[词]什么意思,negation是什么意思,negation什么意思
否定[词] 相关科技名词
- 真假值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
别人正在查