教育资源公共服务平台
站内导航
英语单词
英文缩写
英文名
科技词典
专业词典
中文字典
成语
汉语词典
国家查询
大学查询
软件下载
邮编查询
教育资源导航
公共查询
科学技术名词
模型论
数学
数理逻辑数学基础
模型论
莫利定理 Morley theorem 莫利定理的意思 Morley theorem的意思 莫利定理的英文 Morley theorem的翻译
莫利定理
规范用词
莫利定理
英文对照
Morley theorem
所属学科
数学
>
数理逻辑数学基础
>
模型论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
科学技术名词为您提供莫利定理,Morley theorem,莫利定理的意思,Morley theorem的意思,莫利定理的英文,Morley theorem的翻译,莫利定理的翻译,莫利定理是什么意思,莫利定理什么意思,Morley theorem是什么意思,Morley theorem什么意思
莫利定理 相关科技名词
模型论»
符号体系
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