Diff for "FirstOrderPredicateLogic"

Differences between revisions 2 and 5 (spanning 3 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 2 as of 2003-09-12 02:16:00 → 
  Size: 45
  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:
+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 2:
+Line 4:
+See also: FirstOrderPredicateQuatifiers

Back to ComputerTerms