quan・ti・fi・ca・tion /kw()nfkn ｜ kwntf-/ n. 1 定量化. 2 【論理】 a 量化, 限量化《個体変項記号を伴った述語記号を含む表現に, 量化詞を加えて新たな表現を作る論理的操作》. b 量化命題《量化によってできた命題》. 〜・al /-n, -n←/ adj. 〜・al・ly adv. c1840

quantifiction thory n. 【論理】 量化理論 (⇒predicate logic). 1940

qun・ti・f・er n. 1 【文法】 数量(形容)詞《some, any, all など; cf. modifier 2, qualifier 3》. 2 【論理】 量化詞, 限量詞[記号] 《個体変項を束縛して, 変項のおおう対象の範囲を量的に限定する; cf. universal quantifier, existential quantifier》. 《1876》: ⇒↓, -er^１