也谈复合命题

我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题，有不同的观点。应从“真假决说”角度来定义复合命题；复合命题是其中还包含命题，而且其真假由所包含的命题决定的命题；应采取给联言命题、假言命题下定义同样的“反映说”方式来定义两种选言命题；相容选言命题是反映若干事物情况可以同存并且至少有一个存在的选言命题、不相容选言命题是反映若干事物情况不能同存，至少有一个而且至多有一个存在的选言命题；应持“两立说”来对待不相容选言命题，不能对V进行结合运算，这是f10这一真值函项本身的性质使然，不影响不相容选言命题的存在。     

全功能联结词集合的计算机实现

对数理逻辑中的各种联结词所构成的集合进行了讨论,并用计算机编程进行理论推导,把逻辑推理转化为计算机能够实现的0,1运算,用计算机实现了逻辑推理的全过程.得到的主要结果是:全功能联结词集合一共11个,其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合2个;没有四阶及四阶以上的全功能联结词集合.这便修正了近年来有关全功能联结词的一个错误结论.     

微格教学在离散数学中的应用

本文利用微格教学的思想．设计了离散数学课程中一节课的教学进程，以期揭示利用微格教学的作用和方法。     

基于二元域研究命题公式

简单讨论二元域F2及其性质。采用映射定义联结词和命题公式，把它们均抽象为F2上的多项式。基于F2研究命题公式的多项式范式和异或范式，给出全功能联结词集的判定条件。     

对数理逻辑中最小联结词组的扩展讨论

在数理逻辑中,对最小联结词组的研究,目前多限于讨论常见的五、六个词组。本文对一个二元联结词和两个二元联结词构成的联结词组进行了系统的分析论证,从中找全了九个最小联结词组。     

模糊错误逻辑事物分解转化联结词的研究

给出模糊错误逻辑事物分解转化联结词所涉及的概念、运算,并对模糊错误逻辑事物分解转化联结词与外延联结词∧合取,∨析取,∨bxr不相容析取等和模糊错误逻辑事物分解转化联结词与内涵联结词┓bz不只否定,内涵联结词┓bj不尽否定,内涵联结词┓bx不限否定,内涵联结词┓bd不断否定等的关系作了一些探索和研究。     

全功能联结词集合的一个注记

本文对数理逻辑中的各种联结词所构成的集合进行了讨论,得到全功能联结词集合,指出了12个全功能联结词集合.其中,一阶全功能联结词集合2个;二阶全功能联结词集合7个;三阶全功能联结词集合3个;没有四阶及四阶以上的全功能联结词集合.     

AGM系统的某些特性

在ＡＧＭ系统中，对于部分收缩函数－可以确定其对应和选择函数ｒ，使Ｂ∈ｒ（Ａ⊥ｘ）当且仅当Ａ－ｘ∈Ｂ且Ｂ∈⊥ｘ，进而－满足（－７）当且仅当（ｒ７）成立，－满足（－８）当且仞当（ｒ８）成立。     

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．     

浅谈对复合命题的理解

通过对简易逻辑学中一些基本概念的介绍和典型实例的具体分析,强调了准确理解复合命题的重要性,对中学数学中简易逻辑学的常规教学具有一定的参考价值.