9.7 The universal quantifier

The quantifier means "for all". It is also called the "universal quantifier", since it means that the referent refers to all instances of the given type. For example:

   [LivingFish: ]->(Attr)->[Wet]
   "All living fish have an attribute which is wet"
   "All living fish are wet"

Use the symbol to say "all", or "every".


Prev: 9.6 Counts
Up: 9 Referents
Next: 9.8 Quiz: Referents