A language in which the quantifiers contain only variables ranging over individuals and the functions have as their arguments only individual variables or constants. In a second-order language the variables of the quantifiers may range over functions, properties, relations, and classes of objects, and in yet higher-order languages over properties of properties.
what is first-order language
最新推荐文章于 2022-12-31 23:53:30 发布