Diff for "FirstOrderPredicateLogic"

Differences between revisions 2 and 4 (spanning 2 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

Back to ComputerTerms

-  ⇤ ← Revision 2 as of 2003-09-12 02:16:00 → 
  Size: 45
  Editor: yakko
  Comment:
+   ← 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:
+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: FirstOrderPredicateQuantifiers

Back to ComputerTerms