量記号

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