First-order predicate
HomePage
|
Recent Changes
|
Preferences
A first-order predicate
?
is one that takes only individual(s) as argument(s). Compare to
second-order predicate
and
higher-order predicate
.