模糊命题演算系统■~*的简化与独立性

模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。

一个限制排中律适用范围的命题演算系统

"一个命题与肯定该命题而形成的命题是等值的"只是逻辑学的一个公设,基于这一公设,肯定词在任何情况下都可以随意消除,人们在构造命题演算系统时根本无需引入肯定词。然而,值得提出的是,上述公设从未得到过系统外的预先证明。命题演算系统PC5在限制上述公设适用范围的基础上引入了0级命题变项和肯定词符号。PC5具有可靠性和完全性。在PC5中,对于任意的肯定和否定同一个n(n∈N且n≥0)级命题而形成的两个相反命题而言,不矛盾律都成立;对于任意的肯定和否定同一个n(n∈N且n≥1)级命题而形成的两个相反命题而言,排中律成立,但对于任意的肯定和否定同一个0级命题而形成的两个相反命题而言,排中律不成立。以PC5为逻辑基础,反证法适用于论证n(n∈N且n≥1)级命题的肯定或否定命题,但不适用于论证0级命题的肯定或否定命题。

一个拒斥逻辑矛盾、容纳辩证矛盾的命题演算系统

逻辑矛盾是思维混乱的产物,辩证矛盾是对象的运动之观念中所必然包含着的矛盾。前者是同时既肯定又否定同一个n(n∈N且n≥1)级命题而形成的矛盾,后者是同时既肯定又否定同一个0级命题而形成的矛盾。经典命题演算没有区别辩证矛盾和逻辑矛盾,它拒斥逻辑矛盾,但不容纳辩证矛盾,因而不能合乎逻辑地表达对象的运动。命题演算系统PC6区别了辩证矛盾和逻辑矛盾,具有拒斥逻辑矛盾并容纳辩证矛盾的特征,且具有可靠性和完全性,可以合乎逻辑地表达对象的运动。

一个严格区分逻辑矛盾与辩证矛盾的辩证逻辑的命题演算系统

本文在严格区分逻辑矛盾与辩证矛盾的基础上建构了一个辩证逻辑的命题演算系统PC2,证明了PC2的可靠性和完全性,简要地讨论了几个与PC2相关的系统——形式逻辑的命题演算系统PC1、形而上学逻辑的命题演算系统PC3、怀疑论逻辑的命题演算系统PC4,并以此为基础进一步探讨了逻辑矛盾与辩证矛盾以及形式逻辑、辩证逻辑、形而上学逻辑、怀疑论逻辑之间的关系。

中介命题演算系统MP^M的公理完备集

本文基于中介逻辑命题演算系统 MP^M 构造了一个公理集合,证明了该公理集合的完备性。该公理集合中的公理均是由等式的形式给出,可以方便地对 MP^M、MF^M 系统上的等值公式进行推导和证明。本文还讨论了该公理集合在不完全信息数据库查询优化上的应用。

中介逻辑的命题演算系统（MP^＊）的一些特征

本文证明了MP~*中的完全析取范式定理及其两个推论。文中也给出了判别Γ(?)A在MP~*中是否成立的算法。由此MP~*是可判定的。文中推论2说明了MP~*与经典逻辑的命题演算系统(P~*)的关系。

Luk命题演算系统的析取范式逻辑不等式组的解法

在模糊逻辑不断走向成熟的过程中,众多学者对Lukasiewicz命题演算系统进行了大量研究并取得一些有价值的成果.对Lukasiewicz模糊逻辑析取范式不等式组的解法进行了初步探究.首先,引入了Lukasiewicz模糊逻辑析取范式不等式组的概念.然后,列举了所有的一维及二维模糊逻辑析取范式不等式组.最后,给出了它们的解的一般形式.

命题演算系统S的概率模型

概率模型P是为有效地检验命题演算系统之永真(假)函项、永真蕴涵关系;求取命题(合取、析取)范式及证明各重言式定理而特设的一种纯数学模型.其特征是,在运算中既保持概率运算的基本性质,又满足命题演算的逻辑要求,且运算关系简单(仅含算术运算+、-、×).

中介命题演算系统MP^M的代数系统

MP^M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP^M系统上建立一个代数系统,对MP^M系统进行了代数抽象,讨论了MP^M系统的代数性质．本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系．

概率命题逻辑是经典命题演算形式系统的随机事件语义

经典命题演算形式系统(CPC)中的公式只是一些形式符号,这些形式符号的意义是由具体的解释给出的.概率逻辑是在标准概率空间上建立的一种逻辑体系,是CPC的随机事件语义,对联结词的解释就是集合运算,对形式公式的解释就是事件函数,对逻辑蕴涵和逻辑等价的解释就是事件(集合)包含和事件相等=.由于不存在处处适用的真值函数(算子),概率逻辑不能在CPC内实现概率演算,但可在CPC内实现事件演算,CPC完全适用于概率命题演算.

集合代数是经典命题演算形式系统的语义解释

经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的。逻辑代数和集合代数都是布尔代数,都是CPC的解释。集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵、逻辑等价的解释就是集合包含和集合相等=。标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用。CPC完全适用于概率命题演算。

命题演算形式系统在Isabelle/HOL中的形式化

本文针对命题演算形式系统,在机器辅助定理证明系统Isabelle/HOL中为其建立逻辑模型,并分别形式化验证了PC和ND的主要性质,以及完备性定理的证明。通过对PC和ND的分析和验证表明,采用机器辅助定理证明系统,对以数理逻辑为平台的各种形式系统进行严格的分析和证明是可行的。

中介命题系统MP推理规则的简化

对中介逻辑命题演算系统 MP的 1 8条推理规则作了简化 ,从中删除了 5条不独立的推理规则 ,构成与原推理规则集 S等价的形式推理规则集 S1。

NBL^＊形式系统

将非交换BR0代数形式化,从而简化它的定义,使其更具有逻辑代数的特征.利用逻辑代数与其命题演算系统之间存在的完备性思想,通过对非交换BR0代数定义的进一步研究,得出与它相对应的形式系统NBL*的公理,进而得到其上的[F]完备性和广义演绎定理成立,即NBL*形式系统与非交换BR0代数之间具有一定的和谐性.

随机逻辑的词义问题

得出了在随机逻辑的词义问题中 ,标准命题演算系统的每条公理在随机逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 。

MP^M中的等值完全析取范式

主要讨论中介逻辑命题演算系统MPM中等值意义下的完全析取范式的存在性和唯一性,同时举例说明该范式的作用.该范式分为真值项与矛盾项两部分,形式简洁,为规范化研究该系统中的合式公式提供了一种工具.此外,还给出了构造中介逻辑命题演算系统MPM的联结词的归约.

(P(x),,,-)逻辑的语义问题

本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。

试论类比在现代逻辑发展中的作用

试论类比在现代逻辑发展中的作用陈爱华类比以其独特的思维方式在科学发展中发挥着重要的作用，因而许多有成就的科学家对类比方式分外推崇。天文学家开普勒说过，“我珍视类比胜于任何别的东西，它是我最可信赖的老师，它能揭示自然界的秘密。”①德国著名的科学家、哲学...

R_0代数的∨-半格蕴涵表示形式及其简化

通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。