真值函数相关论文
本文运用认知语言学的识解理论,从详略度、聚焦、突显和视角四个识解维度系统考察了元语否定形成的认知机制。研究表明:1)元语否定......
非经典是模糊推理和模糊控制等的理论基础。在非经典数理逻辑不断走向成熟和完善的过程中，许多学者基于不同的蕴涵算子引入了各种逻......
在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.......
以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念。并在G(o)del逻辑系统中就形如τ(X→p)=α......
期刊
分别研究了GOdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论.......
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.......
期刊
本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻......
真值表对假言命题的真值形式的定义不符合假言命题的直观含义。真值表所刻画的是真值形式与其所含命题变元之间的真值函数关系，而假......
基于L＊系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价......
以模糊逻辑系统中公式的真度理论为基础，提出了模糊逻辑方程概念，从而实现了方程思想与模糊逻辑的结合；并在Godel逻辑系统中选取形如r......
在4个一元16个二元联结词的范围内，给出了由联结词构成的集合的可表出性的概念，处理了联结词集之间的关系并作了一些关于联结词的完......
作为逻辑联结关系的“偶然”是一种特殊的可能：同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能。......
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题,有不同的观点.应从"真假决说"角度来定义复......
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取......
现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特......
运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1▽p2▽p3在现实中没......
针对命题逻辑系统L^＊，以及增加一元联结词△后的系统L^＊Δ，研究了该逻辑系统有效集的特征，进而以有效集为工具得到公式集F（S）的一类分划，即......
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题（VDF问题）,即满足什么条件的函数可由逻辑公式......
联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函......
目的研究命题逻辑系统NMG的有效集。方法非经典逻辑的语义理论。结果得到了NMG有效集的特征,进而以有效集为工具得到了公式集F（S）的......
命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决......
