Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2003-09-16 17:08:21 →
Size: 70
Editor: anonymous
Comment: missing edit-log entry for this revision
← Revision 4 as of 2005-01-30 19:46:29 → ⇥
Size: 384
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
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.)
Line 3: Line 5:
See also: FirstOrderPredicateQuantifiers

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: FirstOrderPredicateQuantifiers

Back to ComputerTerms

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