Diff for "FirstOrderPredicateLogic"

Differences between revisions 1 and 5 (spanning 4 versions)

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

-  ⇤ ← Revision 1 as of 2003-09-12 02:15:18 → 
  Size: 41
  Editor: yakko
  Comment:
+   ← Revision 5 as of 2005-01-30 19:47:03 → ⇥
  Size: 383
  Editor: yakko
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 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: FirstOrderPredicateQuatifiers

Back to ComputerTerms