Quantoren

Der All-Quantor (über einem endlichen Bereich) entspricht einem logischen „und ``.

• ∀x∈{0, 1, 2, 3} : x² < 10
• 0² < 10∧1² < 10∧2² < 10∧3² < 10
• Realisierung in C#

  using System.Linq;
  Enumerable.Range(0,3).All(x  =>  x*x < 10)
  

  • lokale Funktion, Typinferenz
  • Funktion höherer Ordnung, extension method

(Existenz-Quantor: logisches „oder``, C#: Any)