共查询到10条相似文献,搜索用时 15 毫秒
1.
杜国平 《湖南科技大学学报(社会科学版)》2019,(3):21-24
“不…而…”(“舍…取…”)是汉语常用的一个二元联结词,在形式语言中可以不用联结词,直接使用括号来表达“不…而…”(“舍…取…”)的语法功能。在括号表示法的形式语言中,“( )”有既有结构性功能,也有联结词功能,还有量词功能。基于纯粹的括号表示法,建立了以“舍…取…”作为初始联结词的命题逻辑自然推理系统Z1和一阶自然推理系统QZ1,它们与通常的命题逻辑系统和一阶系统等价,具有可靠性和完全性。 相似文献
2.
杜国平 《重庆理工大学学报(社会科学版)》2021,35(6):53-61
以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号"「」"就可以无歧义地表达所有的逻辑函数,并进而建立包括括号"「」"的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价.通过定义可以给出常见的其他联结词并证明相关定理.受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如的公式. 相似文献
3.
法律规范的逻辑演算Q_s系统 总被引:1,自引:0,他引:1
陶景侃 《兰州大学学报(社会科学版)》1997,(2)
本文是《法律规范逻辑》系列论文的第4篇。它以狭义谓词演算为基础,在其形式语言中添加专指“制裁”行为的谓词常项,添加专指“国家机关”这种法人的个体常项,添加规范词的定义,但不添加推演工具,就可次生出关于法律规范的逻辑。它能满足法律提出的种种逻辑要求,远多于任何一个传统的规范逻辑系统。 相似文献
4.
于通方 《山东师范大学学报(人文社会科学版)》1983,(6)
在高等学校《政治经济学》教材和其它有关著作中,对货币资本循环的公式的表示有如下几种: 第一种表示法是从G到G’。这种表示法见于北京大学经济系政治经济学 相似文献
5.
图书馆知识信息的表示及处理技术研究 总被引:1,自引:0,他引:1
杨兵 《西华大学学报(哲学社会科学版)》2004,23(4):94-95
随着知识表示研究的深入 ,出现了多种知识表示方式 ,常见的几种知识表示方式为产生式表示法、语义网络表示法以及面向对象表示法等。本文利用这几种知识表示法充分表达了复合图书馆的知识信息 相似文献
6.
提出于20世纪的STIT理论是以分支时间、非决定论与自由选择为哲学前提的一类行动逻辑。利用STIT算子可以对能动句进行清晰的形式分析,从而揭示主体的能动性。尽管如此,主体的选择本身却无法在经典STIT理论中得到表达。通过引入新初始符号并丰富语义结构,主体在语义模型中的选择能够在形式语言中得到表示。可以证明新得逻辑具有可靠并完全的公理系统。 相似文献
7.
陶景侃 《兰州大学学报(社会科学版)》1985,(1)
传统逻辑讨论A E I O四种直言命题,它们在数理逻辑即现代形式逻辑中,表现为一阶谓词公式: 传统逻辑讨论的直言命题的正确推理,最基本的是:按逻辑方阵对当关系推理,换质法、换位法、附性法和三段论。考虑到前提、结论的不同情况,它们实际上包含四十多个形式。在这些基本形式之上,还可发展出换质位法、戾换法、联锁三段论等形式。在数理逻輯中,任何推理的形式,都可表示为一个比较复杂的复合命题形式。例如,若干个前提之间,可用合取符号∧联结起来;前提与结论之间,可用蕴涵符号→联结起来,使推理形式表现为: 前提1∧前提2……∧前提n→结论 相似文献
8.
马明辉 《湖南科技大学学报(社会科学版)》2013,16(6):23-27
常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。 相似文献
9.
汤贤均 《湖北民族学院学报(哲学社会科学版)》1982,(1)
A、E、I、O四种类型直言判断的名词周延性问题是很重要的。它在直言三段论的推理中,有着更加突出的作用。学习逻辑的人,不仅要理解它,而且要记住它,运用它。在逻辑书上,一般采用两种形式来表示它。 一种是用语言表述: 全称判断主词周延。 特称判断主词不周延。 肯定判断宾词不周延。 否定判断宾词周延。 另一种是列表表示: 相似文献