Category talk:First Order Predicate Logic

Jump to: navigation, search

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