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