# Category talk:First Order Predicate Logic

From CIMI

Revision as of 10:43, 11 February 2012 by Jay Lyle (Talk | contribs) (Created page with "[CM: Predicate calculus defines the logic of statements in which a predicate is applied to a variable or constant. A predicate is an operator that returns either true or false...")

[CM: Predicate calculus defines the logic of statements in which a predicate is applied to a variable or constant. A predicate is an operator that returns either true or false when bound to a variable or constant. In first order predicate calculus, quantifiers can only range over variables. (mathworld. Wolfram.com)]