限げん量りょう子し

noun

quantifier

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

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

  ∀ is called the universal quantifier.

• 述じゅつ語ご論ろん理りでは限