Second-order predicate
HomePage
|
Recent Changes
|
Preferences
Difference (from prior major revision)
(no other diffs)
Changed: 1c1
A second-order predicate is one that takes a
first-order predicate
as an argument.
A second-order predicate
?
is one that takes a
first-order predicate
as an argument. Compare to
higher-order predicate
.
A second-order predicate
?
is one that takes a
first-order predicate
as an argument. Compare to
higher-order predicate
.