科学技术名词为您提供逻辑运算,logical operation,逻辑运算的意思,logical operation的意思,逻辑运算的英文,logical operation的翻译,逻辑运算的翻译,逻辑运算是什么意思,逻辑运算什么意思,logical operation是什么意思,logical operation什么意思
逻辑运算 相关科技名词
- 符号体系symbolism
- 数理逻辑mathematical logic
- 模型论model theory
- 逻辑演算logical calculus
- 逻辑符号logical symbol
- 形式语言formal language
- 符号语言symbolic language
- 形成规则formation rule
- 出现occurrence
- 合式[的]well-formed
- 合式公式well-formed formula
- 辖域scope
- 逻辑运算logical operation
- 矢列式sequent
- 语法syntax
- 语义semantics
- 解释interpretation
- 论题thesis
- 归纳证明proof by induction
- 摹状[词]description
- 摹状算子description operator
- 命题演算propositional calculus
- 命题代数algebra of propositions
- 命题变元propositional variable;sentential variable
- 命题函数propositional function
- 联结词connective
- 逻辑乘法logical multiplication
- 合取[词]conjunction
- 合取项conjunct
- 逻辑加法logical addition
- 析取[词]disjunction
- 析取项disjunct
- 互斥析取exclusive disjunction
- 否定[词]negation
- 逻辑等值logically equivalent
- 范式normal form
- 合取范式conjunctive normal form
- 析取范式disjunctive normal form
- 排中律law of excluded middle
- 赋值valuation
别人正在查