命题变元相关论文
命题变元及其否定统称为文字，文字的析取称为子句，子句的合取称为合取范式(CNF公式)。如果存在一个赋值使得公式的值为1，则称该公式可......
格值命题逻辑系统LP(X)中广义文字的α-归结域的研究,是基于格值命题逻辑系统LP(X)的α-归结原理研究的继续.该逻辑系统的逻辑真值......
本文讨论了两个命题公式的一次复合的主析(合)取范式与它们的主析(合)取范式之间的关系....
对"反对称关系"2个定义的等价性进行了证明,并讨论了其应用....
基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法，能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不......
蕴涵是逻辑学的一个关键性概念。本文引用逻辑史和自然语言中的材料,区分、澄清、阐明了七种不同意义的蕴涵:(1)实质蕴涵,(2)严格......
给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法,并给出了一般算法.......
<正> 计算机科学中有些高级的书籍,假设从读者已经了解的那些数学课题所组成的章节开始,对于这些课题的解说通常是很简单的,而所总......
<正>一、渗透集合的基本概念及其运算 (一)定义:渗透子集是由全集中那些既有某种属性、又具有同这种属性相反的属性的元素(外延角......
<正> 30多年前,波兰数学家、逻辑学家卢卡西维兹首次用现代逻辑的方法对亚氏三段论进行形式化的研究,并建立了亚氏三段论的形式系......
浙江省教育考试院给出的参考答案是D．笔者认为该答案有待商榷，只能说D是四个选项中最好的，严格来讲，这四个选项中无一妥当、合适，正确的......
