在语言和逻辑中，量化是用量词指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量词。在形式语言中，量化是从旧公式产生新公式的公式构造子。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是自由变量和约束变量的实例。
高阶逻辑区别于一阶逻辑的其他方式是在构造中允许下层的类型论。高阶谓词是接受其他谓词作为参数的谓词。一般的，阶为n的高阶谓词接受一个或多个阶的谓词作为参数，这里的n > 1。对高阶函数类似的评述也成立。
实词是汉语的一个词类，与虚词相对，是汉语语法中能够单独充当句子成分的词，包含体词、谓词等。
在语言和逻辑中，量化是用量词指定一个谓词的有效性的广度的构造，就是说指定谓词在一定范围的事物上成立的程度。产生量化的语言元素叫做量词。结果的句子是量化的句子，我们称我们已经量化了这个谓词。量化在自然语言和形式语言中都使用。在自然语言中，量词的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量词。在形式语言中，量化是从旧公式产生新公式的公式构造子。语言的语义指定了如何把这个构造子解释为一个有效性的广度。量化是自由变量和约束变量的实例。
实词是汉语的一个词类，与虚词相对，是汉语语法中能够单独充当句子成分的词，包含体词、谓词等。
在程序设计中，后置条件指在执行一段代码后必须成立的条件或谓词。
Mini wiki
