-
题名一种求解前束析(合)取范式的简单方法
被引量：1
- 1
-
-
作者
潘美芹
丁志军
-
机构
山东科技大学信息科学与工程学院
-
出处
《计算机工程与科学》
CSCD
2008年第10期82-84,共3页
-
基金
国家自然科学基金资助项目(10571109)
-
文摘
本文提出了一种由前束析(合)取范式求前束合(析)取范式的简单方法。该方法根据谓词逻辑自身的特点,结合命题逻辑中命题公式的主析取范式和主合取范式的互补关系,将前束析(合)取范式转化为主析(合)取范式,再得出相应的主合(析)取范式,最后准确地得出前束合(析)取范式。
-
关键词
数理逻辑
谓词逻辑
范式
前束范式
-
Keywords
propositional logic
predicate logic
normal form
prenex normal form
-
分类号
O158
[理学—基础数学]
-
-
题名一阶逻辑中公理化真度研究
被引量：2
- 2
-
-
作者
郝娇
惠小静
马硕
金明慧
-
机构
延安大学数学与计算机科学学院
-
出处
《计算机科学》
CSCD
北大核心
2021年第S02期669-671,712,共4页
-
基金
国家自然科学基金项目(11471007,61763045)
国家级大学生创新创业训练计划项目(201910719023)
延安大学研究生教改研究项目(YDYJG2018022,YDYJG2017024)。
-
文摘
一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点。文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度。首先给出并、交运算可满足性的定义,其次说明了两个特殊公式与逻辑有效公式以及定理的关系,最后得出与公式等价的前束范式。上述结果将为谓词逻辑程度化研究做准备。
-
关键词
一阶逻辑
逻辑有效公式
可满足性
定理
前束范式
-
Keywords
First-order logic
Logically valid formula
Satisfiability
Theorem
Prenex normal form
-
分类号
O141
[理学—基础数学]
-
