命题变元相关论文
Godel不完全性定理的发表,是本世纪以来数学领域中所取得的重大成就之一,对数学基础的研究起了巨大的推动作用。这一定理的证明和......
1 预备知识谁都知道汉语、英语等这些自然语言是人们交流思想的工具,它既可以表达精确而深刻的思想;又能表达模棱两可的糊涂观念.......
在心理测验过程中，有些受试者往往会说谎，作假答案，导致测验结果失真。本文使用逻辑推理的理论，探讨了在测验量表中设置“逻辑陷阱”来......
命题逻辑公式是由命题变元和逻辑连结词(Φ)(否定)、∧(合取)、∨(析取)、→ (蕴涵)以及括号按照一定的规则组成的表达式.其中命题......
会议
作者考虑具有优先代表资格的NP完全问题——析取范式的永真性判定问题。该文从全局性构造的角度对它作了某种分析，结果是在由n个确......
命题变元及其否定统称为文字，文字的析取称为子句，子句的合取称为合取范式(CNF公式)。如果存在一个赋值使得公式的值为1，则称该公式可......
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值......
本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系....
对"反对称关系"2个定义的等价性进行了证明,并讨论了其应用....
【正】 二难推理在传统逻辑里亦称假言选言推理,它是由一个包含两个选言肢的选言判断和两个假言判断为前提而进行的推理。人们在习......
基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不......
蕴涵是逻辑学的一个关键性概念。本文引用逻辑史和自然语言中的材料,区分、澄清、阐明了七种不同意义的蕴涵:(1)实质蕴涵,(2)严格......
<正> 引言数学研究的是数学结构的性质。本文将研究数学推理,这种推理是用以证明这些性质的方法。数学结构用一套公理来定义。根据......
假言判断是一种条件判断,有充分条件假言判断、必要条件假言判断和充分必要条件假言判断。那么,什么是充分条件?什么是必要条件?对......
给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法,并给出了一般算法.......
刘新文,祝瑞,可能世界的名字,2017年,北京:中国社会科学出版社混合逻辑(hybrid logic)是模态逻辑中一个十分活跃的分支,它为模态逻......
<正> 计算机科学中有些高级的书籍,假设从读者已经了解的那些数学课题所组成的章节开始,对于这些课题的解说通常是很简单的,而所总......
<正>一、渗透集合的基本概念及其运算 (一)定义:渗透子集是由全集中那些既有某种属性、又具有同这种属性相反的属性的元素(外延角......
<正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系......
浙江省教育考试院给出的参考答案是D．笔者认为该答案有待商榷，只能说D是四个选项中最好的，严格来讲，这四个选项中无一妥当、合适，正确的......
