导读:本文包含了谓词逻辑论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:谓词,逻辑,直觉,系统,主义,自然,命题。
谓词逻辑论文文献综述
杨红棉[1]（2019）在《浅析逻辑语义学的基本观点——命题逻辑与谓词逻辑》一文中研究指出逻辑语义学是采用现代逻辑方法,研究语言意义的一门学科。逻辑语义学的兴起,为现代语言学的研究提供了新方法新思路,在短短几十年内就形成并且获得了长足的发展。本文简要介绍了逻辑语义学中的一些基本观点,重点讨论了命题逻辑和谓词逻辑中的概念。(本文来源于《农家参谋》期刊2019年22期）
潘文全[2]（2019）在《非精确谓词逻辑推理》一文中研究指出非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词逻辑同非精确概率结合起来,以形成非精确谓词逻辑?为了让IP概率逻辑能够表达谓词,必须另辟蹊径。通过在状态描述上引入非精确概率,然后把非精确概率扩展到QFSL,进而通过IP推理的自然扩张扩展到SL上。这样就实现了非精确概率同谓词逻辑的结合,得出了非精确概率谓词逻辑推理。换言之,通过把主观主义嫁接在卡尔纳普的逻辑主义之上,可以实现这一步。(本文来源于《逻辑学研究》期刊2019年04期）
余军成[3]（2019）在《直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统》一文中研究指出在达米特给出的直觉主义谓词逻辑矢列演算系统L的基础上,构造一个与L等价的系统L~*,这有助于研究直觉主义命题逻辑的可判定性问题。与此同时,还构造经典谓词逻辑的矢列演算系统LK~*以及直觉主义谓词逻辑的矢列演算系统L',这有助于探讨直觉主义逻辑与经典逻辑之间关系。(本文来源于《贵州工程应用技术学院学报》期刊2019年03期）
尹智全[4]（2018）在《谓词逻辑在会计处理中的应用初探》一文中研究指出本文结合会计交易或事项描述了函数的直观概念,指出函数是谓词公式的项;运用谓词逻辑的符号化方法,例示了会计分录的带项和带量词的两种谓词公式,说明各有其独特作用,展示了转换成谓词公式的会计分录样式。本文属笔者独立的原创性研究成果,阐明将谓词逻辑应用于会计处理模式,有着极为广阔的开发前景和重要的应用价值。(本文来源于《中国总会计师》期刊2018年12期）
石运宝[5]（2017）在《从动态谓词逻辑视角看皮尔士谜题》一文中研究指出"皮尔士谜题"由皮尔士(C.S.Peirce)提出,其核心问题在于,一阶逻辑框架内两对表达式真值相同,而它们在自然语言中所对应的句子却不等值。研究该问题的已有文献,有的从严格蕴涵入手,有的是将一阶表达式对应的自然语言的句子中所出现的代词看作回指词而不是普通代词。论文试图说明,在一阶框架内等值的两个表达式,在动态谓词逻辑框架内其实并不等值,因此,一阶框架内等值的表达式,其在自然语言中对应的句子不等值也就可以接受了。(本文来源于《燕山大学学报(哲学社会科学版)》期刊2017年06期）
蓝一钧[6]（2017）在《英语复合宾语结构与双宾语结构辨析——谓词逻辑的视角》一文中研究指出英语中存在诸多容易混淆的句型结构。本文从谓词逻辑的角度辨析英语复合宾语结构与双宾语结构,揭示其差异,以便正确地理解和掌握这两种易混淆的句型结构。(本文来源于《校园英语》期刊2017年37期）
余军成[7]（2017）在《论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统》一文中研究指出在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性。这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义。(本文来源于《贵州工程应用技术学院学报》期刊2017年03期）
李娟,吴想[8]（2017）在《谓词逻辑在人工智能知识表示中的应用》一文中研究指出谓词逻辑是在谓词分析的基础上进行形式化后得出的语言与推理,在人工智能的发展过程中发挥着理论基础的作用。谓词逻辑在人工智能领域的应用,主要包括消解原理与知识表示两个方面,本文将谓词逻辑在人工智能知识表示中的应用进行分析,探讨人工智能中利用谓词逻辑形式语言进行知识表示的具体步骤,为谓词逻辑的应用提供有价值的参考。(本文来源于《数码世界》期刊2017年06期）
孙翠先[9]（2016）在《函数在谓词逻辑符号化中的应用》一文中研究指出针对不同个体域,用实例讨论了谓词逻辑中命题符号化时函数的引入、函数的作用以及谓词和函数的区别,并给出了错误使用函数的例子,分析了产生错误的原因。(本文来源于《唐山学院学报》期刊2016年06期）
余军成,何向东[10]（2016）在《论直觉主义谓词逻辑的矢列式自然演绎系统》一文中研究指出达米特系统地给出了直觉主义谓词逻辑的矢列式自然演绎系统N。在此基础上,我们给出一个与之等价的系统NSI,进一步探讨这两个系统的特点和证明策略,比较矢列式自然演绎系统与根岑的自然演绎系统的异同,并评价矢列式自然演绎系统的历史地位和意义。(本文来源于《湖南科技大学学报(社会科学版)》期刊2016年05期）
谓词逻辑论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
非精确概率逻辑是经典命题逻辑的扩张,因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程;融贯性推广了命题逻辑的演绎封闭且一致。但是如何把谓词逻辑同非精确概率结合起来,以形成非精确谓词逻辑?为了让IP概率逻辑能够表达谓词,必须另辟蹊径。通过在状态描述上引入非精确概率,然后把非精确概率扩展到QFSL,进而通过IP推理的自然扩张扩展到SL上。这样就实现了非精确概率同谓词逻辑的结合,得出了非精确概率谓词逻辑推理。换言之,通过把主观主义嫁接在卡尔纳普的逻辑主义之上,可以实现这一步。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
谓词逻辑论文参考文献
[1].杨红棉.浅析逻辑语义学的基本观点——命题逻辑与谓词逻辑[J].农家参谋.2019
[2].潘文全.非精确谓词逻辑推理[J].逻辑学研究.2019
[3].余军成.直觉主义谓词逻辑与经典谓词逻辑的矢列演算系统[J].贵州工程应用技术学院学报.2019
[4].尹智全.谓词逻辑在会计处理中的应用初探[J].中国总会计师.2018
[5].石运宝.从动态谓词逻辑视角看皮尔士谜题[J].燕山大学学报(哲学社会科学版).2017
[6].蓝一钧.英语复合宾语结构与双宾语结构辨析——谓词逻辑的视角[J].校园英语.2017
[7].余军成.论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统[J].贵州工程应用技术学院学报.2017
[8].李娟,吴想.谓词逻辑在人工智能知识表示中的应用[J].数码世界.2017
[9].孙翠先.函数在谓词逻辑符号化中的应用[J].唐山学院学报.2016
[10].余军成,何向东.论直觉主义谓词逻辑的矢列式自然演绎系统[J].湖南科技大学学报(社会科学版).2016
论文知识图
