Jump to content

First-order predicate

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Vina (talk | contribs) at 03:40, 18 September 2004 (math-stub). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

A 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

Stub icon

This mathematics-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=First-order_predicate&oldid=11457554"