universal instantiation的意思|示意

全称实例化 ...一阶语句的推理规则  前向链接  反向链接  简化为命题推理  直接在一阶逻辑中推理 全称实例化（Universal instantiation, UI)  可以推断出任何用基项（没有变量的基本对象）置换变量 得到的语句，设SUBST（θ ,α ）表示...

普遍例式 ... Universal Grammar 普遍性语法 universal instantiation 普遍例式 universal quantifier 全称范域词 ...

例化 ...一阶语句的推理规则  前向链接  反向链接  简化为命题推理  直接在一阶逻辑中推理 全称实例化（Universal instantiation, UI)  可以推断出任何用基项（没有变量的基本对象）置换变量 得到的语句，设SUBST（θ ,α ）表示...

全称例化 除了命题演算规则，还有两个 重要的问题： • 全称例化（universal instantiation，U I）。