First-order_predicate First-order_predicate

First-order predicate - Definition and Overview

A first-order predicate is a predicate that takes only individual(s) as argument(s). Compare second-order predicate and higher-order predicate.

See also: First-order predicate calculus


E-to-the-i-pi.png 		 This mathematics-related article is a stub. You can help Wikipedia by expanding it (http://www.wordiq.com/definition/First-order_predicate).
Copyright 2009 WordIQ.com - Privacy Policy  :: Terms of Use  :: Contact Us  :: About Us
This article is licensed under the GNU Free Documentation License. It uses material from the this Wikipedia article.