谓词元逻辑
- 与 谓词元逻辑 相关的网络解释 [注：此内容来源于网络，仅供参考]
-
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), 论元是述谓结构的逻辑上的参与者,主要是一个句子中的名词性成分,谓词是对论元的述说,或者陈述一种与论元之间的逻辑关系.
- 推荐网络解释
-
Anopheles candidiensis：日月潭疟蚊
\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"
-
Gnome Milnes:GNOME：下的扫雷
2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;
-
Malmaison Edinburgh：爱丁堡
" The Macdonald Roxburghe Hotel"麦当劳roxburghe酒店 | " Malmaison Edinburgh"爱丁堡malmaison | " The Scotsman Hotel"苏格兰人酒店