First-order predicate
From Wikipedia, the free encyclopedia
A first-order predicate is a predicate that takes only individual(s) as argument(s). Compare second-order predicate and higher-order predicate.
[edit] See also
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
