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]]. | ||