quantification theory造句

• It is one of the basic principles used in quantification theory.
• Covers theory of computation, but also program semantics and quantification theory.
• The distinction between universal and particular propositions is the basis of modern quantification theory.
• In " Semantical Considerations on Modal Logic ", published in 1963, Kripke responded to a difficulty with classical quantification theory.