一般用語集

一般用語集

りょうきごう【量記号】

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