真值表等数理逻辑方法的判定功能

真值表，归谬赋值，真值树，演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。     

命题公式的一种演绎判定方法

命题公式的判定是人工智能领域中的一个核心问题。目前命题公式的判定方法大都是基于语义的,不能给出演绎过程,而这种演绎过程是许多推理性应用的重要依据,本文针对命题演算系统L,给出了一种可同时给出演绎过程的判定方法——演绎判定方法。首先提出了消解复杂性的两种范式：最简范式和文字范式,在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P(F),并基于ML语言设计了基于P(F)的演绎判定机DMBD。     

用C程序求解命题公式中的若干问题

本文利用C语言程序实现了对离散数学的数理逻辑中任意命题公式根据其真值表判断其类型、求其主析取范式和主合取范式。在计算机专业的教学中可以培养学生的理论和计算机操作相结合的学习能力。     

范式的PROLOG程序实现

本文使用PROLOG语言程序,对一阶逻辑中命题公式的真值表和谓词公式的前束范式进行了处理。文章分为两个部份:     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

MXX和MARG中公式改名的复杂性

研究了判定问题“对于命题CNF公式F和H,是否存在一个变元(或文字)改名(?),使得(?)(F)=H?”的复杂性．对于极小不可满足公式的子类MAX和MARG,我们证明了:其变元改名和文字改名的复杂性等价于图同构问题GI．     

基于二元域研究命题公式

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

命题模糊逻辑系统中公式的理论可证度

在命题模糊逻辑系统MTL的扩张系统Luk,God,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路.首先引入了刻画理论Γ推出公式Β的程度的一种指标--称为公式Β的理论Γ可证度,然后研究了它的性质.最后给出了命题模糊逻辑系统Luk中公式的理论可证度的计算公式.     

MU(1)内公式改名的多项式可判定性

研究判定合取范式公式F和H之间是否存在一个改名φ使得φ(F)＝H的计算复杂性。公式的改名是将命题变元映到变元本身或变无的否定的一个映射，对于极小不可满足公式的子类射MU／(1)中的公式，我们证明了其改名判定问题在多项式时间内是可判定的。     

命题逻辑简化功能的应用

命题逻辑学中,命题公式等值演算和真值表技术具有强大的简化功能。本文从逻辑电路、逻辑网络、计算机编程和日常生活中的几个例子出发,从一个侧面阐述了命题逻辑简化功能的应用。     

量子力学中的守恒量

文章论述了量子力学中的守恒量与对称性的关系,具体讨论了空间平移不变性与动量守恒、空间转动不变性与角动量守恒、时间平移不变性与能量守恒的关系.     

命题逻辑判定系统中基本真值矩阵的生成算法

给出了求含任意n个命题变元的命题公式F的基本真值矩阵的四个算法，从而为利用计算机处理命题逻辑的判定问题莫定了核心基础。     

真值表方法的用途及相关规则

真值表方法是命题逻辑中的一种重要方法。在命题逻辑中运用真值表方法,可以在有限的步骤内直观地显示任意一个真值形式的真值情况,判定任意一个真值形式的一些重要性质,因此,真值表方法是一种有力的逻辑工具。学习和掌握真值表方法,特别是掌握用真值表方法进行相关操作的规则,对逻辑学学习者和逻辑学研究工作者来说,是一项必须掌握的逻辑技...     

形式布尔算子的命题逻辑

在定量的意义下使模糊命题演算完全包容经典命题逻辑是不可能的。布尔算子命题逻辑用算子和算子的演算定性地描述和处理模糊命题的不确定性，将经典命题逻辑作为其特例。在布尔算子命题逻辑中给出了其公理系统和求公式恒真水平的机械推导算法。     

三值命题逻辑中公式的概率真度

将三值命题逻辑系统的真度概念引入到概率逻辑,定义公式的期望,给出反映公式之间内在联系的相关系数,研究无限公式收敛时所遵循的规律及特点,引入度量不确定性的特征值-熵.     

四值非全序R0命题逻辑上的随机伪度量

 通过引入随机化映射和真度权函数等概念,在四值非全序R₀命题逻辑系统中提出了公式的可变随机真度,得到可变随机真度的一些基本性质,提出了2公式间的随机相似度和随机伪度量,建立了四值非全序R₀命题逻辑系统上的随机逻辑伪度量空间,为在四值非全序命题逻辑系统上进行近似推理提供了一种可能的框架.     

标准序列逻辑系统S3中命题的真度值之集在[0,1]上的分布

利用势为3的均匀概率空间的无穷乘积在三值标准序列逻辑系统中引入了公式的真度概念,给出了真度推理规则,证明了全体公式的真度值之集在[0,1]上是稠密的,并给出了公式真度的表达通式,为进一步建立三值命题逻辑的近似推理理论奠定了基础.     

二值命题逻辑中的蕴涵度量与近似推理

在二值命题逻辑系统中引入公式的真度、条件真度和蕴涵真度概念,为二值命题逻辑系统的程度化研究和近似推理提供了数值化工具.为了讨论基于真度、条件真度和蕴涵真度的近似推理模式的关系问题,以真度概念为基础,在二值命题逻辑系统中引入蕴涵度量概念,并通过蕴涵度量的真度表示式,给出了与有限理论相关的分别基于真度、条件真度和蕴涵真度的伪距离的蕴涵度量表示式,证明了分别基于真度、条件真度和蕴涵真度的近似推理问题可以转化为基于蕴涵度量的近似推理讨论,并给出了蕴涵度量在近似推理中的应用,为二值命题逻辑系统的基于不同真度的近似推理研究提供数值化方法.