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

Thomas a Kempis

... on the Incarnation. Both of these works overflow with adoration for Christ. II. The Imitation of Christ The work which has given Thomas à Kempis universal ...