量記号

りょうきごう

〔quantifier〕

述語論理において， 変項によって表される対象の数量を表現する論理記号。 「すべての」を表す普遍量記号と， 「いくつかの」または「存在する」を表す存在量記号とがある。 量化子。