谓词演算语言 predicate calculus language 一阶谓词演算 first-order logic; first-order predicate calculus; fopc ..
基于1个网页-相关网页
谓词演算语言的传统的语义组成了数理逻辑的一个很丰富的分支。
Predicate Calculus language of the traditional semantic component of the mathematical logic of a very rich branch.
这种情况下的断言似乎就需要实现特定的语言扩展，于是一些人建议引入一阶谓词演算。
This kind of assertion seems to require special language extensions and has led people to suggest introducing first-order predicate calculus.
应用推荐