http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=First-order_predicateFirst-order predicate - Revision history2026-05-08T23:52:12ZRevision history for this page on the wikiMediaWiki 1.43.1http://debianws.lexgopc.com/wiki143/index.php?title=First-order_predicate&diff=7191&oldid=previmported>Rsjaffe: /* top */clean up, typo(s) fixed: For example → For example,2021-09-13T20:44:33Z<p><span class="autocomment">top: </span>clean up, <a href="/wiki143/index.php?title=WP:AWB/T&action=edit&redlink=1" class="new" title="WP:AWB/T (page does not exist)">typo(s) fixed</a>: For example → For example,</p>
<p><b>New page</b></p><div>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]].<br />
<br />
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'''.<br />
<br />
==See also==<br />
*[[First-order predicate calculus]]<br />
*[[Monadic predicate calculus]]<br />
<br />
==References==<br />
{{reflist}}<br />
<br />
{{DEFAULTSORT:First-Order Predicate}}<br />
[[Category:Predicate logic]]<br />
[[Category:Concepts in logic]]<br />
<br />
<br />
{{Logic-stub}}</div>imported>Rsjaffe