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 FirstOrderPredicateLogic.pdf
See also: FirstOrderPredicateLogicQuatifiers
Back to ComputerTerms