限げん量りょう子し

noun

quantifier

Technical term in logic and mathematics for symbols like ∀ (universal quantifier) and ∃ (existential quantifier).

• ∀は全ぜん称しょう限げん量りょう子しと呼よばれる。

  ∀ is called the universal quantifier.

• 述じゅつ語ご論ろん理りでは限げん量りょう子しが重じゅう要ような役やく割わりを果はたす。

  Quantifiers play an important role in predicate logic.