Encyclopedia > Higher-order predicate

Article Content

Higher-order predicate

A higher-order predicate is a predicate that takes one or more other predicates as arguments. In general, a higher-order predicate of order n takes one or more (n - 1)th-order predicates as arguments, where n > 1.

All Wikipedia text is available under the terms of the GNU Free Documentation License

Search Encyclopedia

Search over one million articles, find something about almost anything!

Featured Article

Northampton, Suffolk County, New York

... out with 29.3% under the age of 18, 9.6% from 18 to 24, 30.3% from 25 to 44, 20.9% from 45 to 64, and 9.8% who are 65 years of age or older. The median age is 34 ...