Second-order predicate
HomePage
|
Recent Changes
|
Preferences
A second-order predicate
?
is one that takes a
first-order predicate
as an argument. Compare to
higher-order predicate
.
![[Home]](wikipedia.png)