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