Universal instantiation
...一阶语句的推理规则 前向链接 反向链接 简化为命题推理 直接在一阶逻辑中推理 全称实例化（Universal instantiation, UI) 可以推断出任何用基项（没有变量的基本对象）置换变量 得到的语句，设SUBST（θ ,α ）表示...
基于2288个网页-相关网页
应用推荐
模块上移
模块下移
不移动