在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
universal instantiation
查词链接：
https://www.dute.org/dict/universal_instantiation复制链接 普遍例示
查看英英释义
abstract:
In predicate logic universal instantiationCopi and CohenHurleyMoore and Parker (UI, also called universal specification, and sometimes confused with Dictum de omni) is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. It is generally given as a quantification rule for the universal quantifier but it can also be encoded in an axiom.
网络释义
全称实例化
...一阶语句的推理规则 前向链接 反向链接 简化为命题推理 直接在一阶逻辑中推理 全称实例化（Universal instantiation, UI) 可以推断出任何用基项（没有变量的基本对象）置换变量 得到的语句，设SUBST（θ ,α ）表示...
普遍例式
... Universal Grammar 普遍性语法 universal instantiation 普遍例式 universal quantifier 全称范域词 ...
例化
...一阶语句的推理规则 前向链接 反向链接 简化为命题推理 直接在一阶逻辑中推理 全称实例化（Universal instantiation, UI) 可以推断出任何用基项（没有变量的基本对象）置换变量 得到的语句，设SUBST（θ ,α ）表示...
全称例化
除了命题演算规则，还有两个 重要的问题： • 全称例化（universal instantiation，U I）。
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}