quantifier
量指定子
解説 Definition
形式論理やデータベース問い合わせで、変数がどの範囲にわたって成り立つかを指定する記号・語。∀ は「すべて」、∃ や SQL の EXISTS は「少なくとも一つ」を表し、命題の成立条件を定めます。
A quantifier is a word or expression that shows how much or how many of something there is. It is mainly used in grammar, language study, and logic. The term is technical, but the basic idea is simply marking quantity.
覚え方のコツ Memory Tip
式の中で x や行集合を見つけたら、quantifier はその前に置かれる「どれだけ対象にするか」のスイッチだと捉えます。∀x は全員参加、∃x は該当者が一人でもいればよい、という感覚です。英文法の数量詞が名詞の量感を添えるのに対し、こちらは論理式やクエリ全体の真偽を左右する演算子として働く点を強調して覚えると区別しやすいです。
The key part is `quant-`, the same root as `quantity`, so think about amount or scope. In logic, a quantifier tells how widely something applies, like `all` or `some`. Keep it separate from everyday grammar terms by linking it to formulas, symbols, or database-style conditions.
例文
In logic, the quantifier 'for all' expresses universal truth.
論理では、量指定子「すべて」は普遍的な真実を表現する。
In SQL, the EXISTS quantifier checks whether a subquery returns any rows.
SQLでは、EXISTS量指定子がサブクエリが行を返すかどうかをチェックします。
Understanding quantifiers is essential for formal logic.
量指定子を理解することは形式論理に不可欠である。
quantifier の類義語・関連語
quantifier の語源・成り立ち Etymology
ラテン語 quantus（どれだけの）に動詞化接尾辞 -ify と行為者接尾辞 -er が付いた語。「量を定める者・もの」が原義。関連語: quantity（量）、quantify（定量化する）。数や量を測定・限定する概念がこの語根に集約されている。
Quantifier comes from the Latin root quantus, meaning "how much" or "how many." It was built through quantify, with the endings -ify and -er, so it originally meant something that measures or states quantity. Related words like quantity and quantify show the same root idea of expressing amount.
外部辞書で調べる
この単語を英単語クイズで覚えよう