...讨论一阶逻辑量化结构的逻辑表达和解释并详释第二章已经介绍过的变数,量词和辖域等概念,由此引入 逻辑依存 ( logical dependency ),斯科林化(Skolemization),分枝量词(branching quantifiers)等概念.
基于12个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
This fact creates a logical dependency between the ContextMenu control and the page.
这样实际上就是在ContextMenu快捷菜单控件和页面之间创建了一个逻辑信赖。
youdao
Coding DTD can test the logical implication problem of XML function dependency in linear time.
编码后的DTD能在线性时间内对XML函数依赖的逻辑蕴涵问题进行判定。
应用推荐
模块上移
模块下移
不移动