Search the Kids Internet
Encyclopedia > Second-order predicate
Article Content
Second-order predicate
A second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate.
All Wikipedia text is available under the terms of the GNU Free Documentation License
|
Search Encyclopedia
|