First-order predicateA first-order predicate is a predicate that takes only individual(s) as argument(s). Compare second-order predicate and higher-order predicate. See also: First-order predicate calculus Categories: Math stubs |
|
This article is licensed under the GNU Free Documentation License. It uses material from Wikipedia article. Browse Wikipedia for more information. |