用語集一般用語集>りょうきごう【量記号】

一般用語集


りょうきごう【量記号】 一般用語集 り


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


一般用語集 五十音順