L～*谓词逻辑与R 0 代数性质新探

发布时间：2021-10-27 16:27

　　在命题逻辑中，我们把简单命题作为基本单位，对于简单命题不再进行分拆，而是研究由简单命题和连接词所组成的复合命题，研究复合命题的逻辑性质和复合命题间的逻辑关系等等。我们来看以下推理： 所有的偶数都能被2整除。 10是偶数。 10能被2整除。这个推理的前提和结论里都没有连接词，它们不是复合命题而是简单命题。从命题逻辑的角度来分析，它们都是不相同的简单命题，如果用命题逻辑的工具来处理，它们的形式分别是p，q，r，显然这不是命题逻辑里的正确推理形式，它的正确性在命题逻辑里不能得到反映，它要取决于谓词和量词的性质。如果我们不对简单命题做进一步的分拆，从而显示出前提和结论在形式结构方面的联系，我们就不可能认识到这种推理的形式和规律。另外，在逻辑推理过程中甚至日常生活的推理中，一些逻辑概念也不是命题逻辑所能包括的，如“必然”、“可能”、“所有”、“一切”、“存在”、“有”、“存在唯一”、“至少有一个”、“至多有一个”、“没有一个”。由此可见，命题逻辑只反映了一部分逻辑规律。本文在命题逻辑的基础上以系统为背景建立谓词逻辑理论。 本文共分四个部分。第一部分是引言。引言中主要介绍了... 

【文章来源】：陕西师范大学陕西省 211工程院校 教育部直属院校

【文章页数】：46 页

【学位级别】：硕士

【文章目录】：
一、 引言
二、 (?)谓词逻辑
    2.1 (?)谓词逻辑的语义理论
    2.2 (?)谓词逻辑的语构理论
    2.3 (?)谓词逻辑的完备性
        2.3.1 基本概念和定理
        2.3.2 (?)谓词逻辑的扩张及其完备性
三、 R_0代数性质新探
    3.1 R_0代数中Boole元的性质及其滤子的性质
    3.2 模糊R_0代数
总结
致谢
参考文献
附录
攻读学位期间的研究成果



本文编号：3461968