what is first-order language

来源:互联网 发布:淘宝李涛是真是假 编辑:程序博客网 时间:2024/05/01 19:16

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.


Read more: http://www.answers.com/topic/first-order-language#ixzz1KmG9sjAP