In formulas of first-order predicate calculus, all variables are object variables serving as arguments of functions and predicates. (In second-order predicate calculus, variables may denote predicates, and quantifiers may apply to variables standing for predicates.)

See also FirstOrderPredicateLogic

FirstOrderTheory (last edited 2005-01-30 21:58:48 by yakko)