Differences between revisions 1 and 2
⇤ ← Revision 1 as of 2003-09-12 00:36:00 →
Size: 84
Editor: yakko
Comment:
← Revision 2 as of 2003-09-16 18:08:38 → ⇥
Size: 109
Editor: yakko
Comment:
Deletions are marked like this. Additions are marked like this.
Line 5: Line 5:

Back to ComputerTerms

Quatifiers indicate a value set:

  • For all
  • There exists (at least one)

Back to ComputerTerms

FirstOrderPredicateLogicQuatifiers (last edited 2003-09-16 18:08:38 by yakko)