数すう量りょう化か理り論ろん

noun

quantification theory

Technical term in computing and logic; refers to the theory of quantifiers and their formal properties.

• 数すう量りょう化か理り論ろんは述じゅつ語ご論ろん理りの重じゅう要ような部ぶ分ぶんを占しめる。

  Quantification theory forms an important part of predicate logic.