Jump to content

First-order predicate

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by David Eppstein (talk | contribs) at 04:36, 7 September 2014 (source). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematical logic, a first-order predicate (also called a monad) is a predicate that takes only individual(s) constants or variables as argument(s).[1] Compare second-order predicate and higher-order predicate.

See also

References

  1. ^ Flew, Antony (1984), A Dictionary of Philosophy: Revised Second Edition, Macmillan, p. 147, ISBN 9780312209230.


Stub icon

This logic-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=624499496"