First-order predicate
HomePage
|
Recent Changes
|
Preferences
No diff available--this is the first major revision.
(
minor diff
)
A first-order predicate
?
is one that takes only individual(s) as argument(s). Compare to
second-order predicate
and
higher-order predicate
.