- 更多网络例句与谓词元逻辑相关的网络例句 [注：此内容来源于网络，仅供参考]
-
We can get complex individual terms produced by combination of simple individual terms and a functional expression.
个体变元与个体常元的逻辑性质不同，它们与谓词、量词组合的公式在一阶逻辑与模态逻辑中的表现也是不同的。
- 更多网络解释与谓词元逻辑相关的网络解释 [注：此内容来源于网络，仅供参考]
-
metalogic of predicates：谓词元逻辑
metalanguage 元语言 | metalogic of predicates 谓词元逻辑 | metatheorem 元定理
-
metatheorem：元定理
metalogic of predicates 谓词元逻辑 | metatheorem 元定理 | meter 米
-
predicate logic：述词逻辑 [谓词逻辑]
predicate calculus 述词计算 | predicate logic 述词逻辑 [谓词逻辑] | predicate-argument structure 述词论元结构
-
predication：述谓结构
一个述谓结构(predication)包含论元(argument)和谓词(predicate), 论元是述谓结构的逻辑上的参与者,主要是一个句子中的名词性成分,谓词是对论元的述说,或者陈述一种与论元之间的逻辑关系.