-
题名一种可行的量化逻辑自然演绎系统
被引量：1
- 1
-
-
作者
苑成存
-
机构
洛阳大学
-
出处
《洛阳大学学报》
2002年第3期30-33,共4页
-
文摘
提出了一种较为可行的量化逻辑自然演绎系统 ,其中间接证明是这一系统的主要证明方法 ,而量词消去和置换规则是这一系统的基本演绎规则。
-
关键词
全称量词消去规则
存在量词消去规则
量词置换规则
-
Keywords
the rule of elimination of the universal quantifier
the rule of elimination of the existential quantifier
rule of the displacement of quantifier
-
分类号
O141
[理学—基础数学]
-
-
题名含有全部值语义的SQL查询
被引量：3
- 2
-
-
作者
邢泉
-
机构
浙江工业大学之江学院经贸管理分院
-
出处
《计算机系统应用》
2010年第1期169-170,50,共3页
-
文摘
SQL语句在表达具有全部值语义时需要使用谓词NOT EXISTS构建复杂的多层嵌套结构,学习者学习起来难度大,易出错。元组关系演算可以充分表达全部值语义,通过应用实例探讨了元组关系演算表达式转换为SQL语句的转换规则,对学习SQL语句者非常有帮助。
-
关键词
SQL
元组关系演算
全称量词
存在量词
转换规则
-
Keywords
SQL
tuple relational calculus
universal quantifier
existential quantifier
transformation rules
-
分类号
TP311.138
[自动化与计算机技术—计算机软件与理论]
-
-
题名一阶逻辑推理系统中有关量词推理规则的研究
被引量：1
- 3
-
-
作者
王文龙
张博锋
-
机构
喀什大学计算机科学与技术学院
上海大学计算机工程与科学学院
-
出处
《湖南师范大学自然科学学报》
CAS
北大核心
2017年第3期89-94,共6页
-
基金
国家自然科学基金项目(61561027)
新疆高校科研计划重点项目(XJEDU2014I039)
-
文摘
通过对两种一阶逻辑自然推理系统中有关量词的推理规则及其成立条件的比较分析,给出形式简单、直观的有关量词的推理规则和合理、严谨的成立条件,从而保证在使用这些规则时,既保留了直观性,又消除了不严格性,并能准确把握成立条件.
-
关键词
一阶逻辑
全称量词
存在量词
推理规则
成立条件
-
Keywords
first order logic
universal quantifier
existential quantifier
inference rules
establish condition
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
