English translation for "谓词元逻辑"

metalogic of predicates

Related Translations:

谓词:  [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus

谓词交:  predicate intersection model

谓词符号:  predicate symbol

输入谓词:  input predicate

程序谓词:  program predicate

篇章谓词:  discourse predicate

模拟谓词:  simulated predicate

输出谓词:  outer predicate

数谓词:  numerical predicatenumerical readout

假谓词:  false predicate

Similar Words：

"谓词数据使用" English translation, "谓词演算" English translation, "谓词演算语言" English translation, "谓词演算中的连接词" English translation, "谓词语言" English translation, "谓词字母" English translation, "谓从酒柜里取出那瓶马爹利" English translation, "谓例" English translation, "谓幽兰其不可佩" English translation, "谓优先选则" English translation