First-order predicate

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.


This article is issued from Wikipedia - version of the Sunday, September 07, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.