First-order predicate: Difference between revisions
Jump to navigation
Jump to search
imported>Rsjaffe m →top: clean up, typo(s) fixed: For example → For example, |
imported>Ai777 m Added short description |
||
| Line 1: | Line 1: | ||
{{Short description|Logical statement with variables, predicates, and quantifiers over objects}} | |||
In [[mathematical logic]], a '''first-order predicate''' is a [[predicate (logic)|predicate]] that takes only individual(s) constants or variables as argument(s).<ref>{{citation|title=A Dictionary of Philosophy: Revised Second Edition|first=Antony|last=Flew|publisher=Macmillan|year=1984|isbn=9780312209230|page=147|url=https://books.google.com/books?id=MmJHVU9Rv3YC&pg=PA147}}.</ref> Compare [[second-order predicate]] and [[higher-order predicate]]. | In [[mathematical logic]], a '''first-order predicate''' is a [[predicate (logic)|predicate]] that takes only individual(s) constants or variables as argument(s).<ref>{{citation|title=A Dictionary of Philosophy: Revised Second Edition|first=Antony|last=Flew|publisher=Macmillan|year=1984|isbn=9780312209230|page=147|url=https://books.google.com/books?id=MmJHVU9Rv3YC&pg=PA147}}.</ref> Compare [[second-order predicate]] and [[higher-order predicate]]. | ||
Latest revision as of 16:50, 26 March 2026
Template:Short description In mathematical logic, a first-order predicate is a predicate that takes only individual(s) constants or variables as argument(s).[1] Compare second-order predicate and higher-order predicate.
This is not to be confused with a one-place predicate or monad, which is a predicate that takes only one argument. For example, the expression "is a planet" is a one-place predicate, while the expression "is father of" is a two-place predicate.
See also
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "citation/CS1"..
Script error: No such module "Check for unknown parameters".