Differences between revisions 1 and 7 (spanning 6 versions)
⇤ ← Revision 1 as of 2003-09-12 02:15:18 →
Size: 41
Editor: yakko
Comment:
← Revision 7 as of 2008-10-24 02:32:50 → ⇥
Size: 392
Editor: 209-142-131-35
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
Describe FirstOrderPredicateLogic here. 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 [[attachment:FirstOrderPredicateLogic.pdf]]

See also: FirstOrderPredicateLogicQuatifiers

Back to ComputerTerms

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

FirstOrderPredicateLogic (last edited 2008-10-24 02:32:50 by 209-142-131-35)