真值函数相关论文
解决“实质蕴涵怪论”问题,须首先在逻辑语义学视域之中厘清蕴涵关系的层级,进而再从语用学上考察各类条件句“是否”或“如何”表达......
一、问题的提出(一) 在命题演算中讨论的联结词有下列五种: 1、非,由它可以从A作出“非A”,“非A”叫做A的否定式,记为(?)。
Fir......
本文运用认知语言学的识解理论,从详略度、聚焦、突显和视角四个识解维度系统考察了元语否定形成的认知机制。研究表明:1)元语否定......
各种近似推理和Fuzzy推理理论的逻辑基础就是各种概率逻辑和模糊逻辑系统,而逻辑系统的核心是联结词的定义。各种概率逻辑、模糊逻......
以G(o)del系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数叮由逻辑公式导出,或逻辑公式的真值函数......
冯.诺依曼和毕克霍夫创立的量子逻辑是关于量子力学的测量语言的逻辑,它被认为揭示了弱于经典否定关系的正交补关系、经典逻辑的分......
本论文着力于分析逻辑语义学中的基本概念,尤其是命题逻辑以及真值函数中的合取和析取,并对其逻辑意义,举例进行分析。
This thes......
基于乏信息失效数据,提出了机械产品可靠性的最大熵评估模型.根据可靠性经验值公式,获得失效数据的可靠性经验值向量,并逆推出离散......
本文将化简布尔代数式的卡诺图法移植到 GF(2)上,得到一种化简S盒表达式的新方法。这种新方法简明、直观,具有较大的实用价值。
I......
本文针对G(o)del系统中由三个原子生成的公式,给出了其真值函数的特征和真度的分布.进而按照真度的不同将由三原子生成的公式集进......
本文详细介绍了在概率推理中,为了获取直值函数的效果而引入的影响范围计算.这种方法使得概率与公式不发生直接联系,而由特定的可......
本文详细介绍了一医疗诊断专家系统的知识库组成,并提出了一种近似推理方法。知识库由模糊关系矩阵和推理规则集所组成。近似推理......
近年来,大量的学者从事基于三角模的非经典逻辑(包括命题逻辑和谓词逻辑)的研究(其中著名的逻辑系统Lukasiewicz逻辑,Product逻辑,God......
非经典是模糊推理和模糊控制等的理论基础。在非经典数理逻辑不断走向成熟和完善的过程中,许多学者基于不同的蕴涵算子引入了各种逻......
在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.......
以模糊逻辑系统中公式的真度概念为基础,提出了基于真度理论的模糊逻辑方程的概念。并在G(o)del逻辑系统中就形如τ(X→p)=α......
期刊
分别研究了GOdel,Luk,L*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[0,1]∩Q的重要结论.......
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.......
期刊
本文以L*系统为背景,针对由单个原子生成的公式,解决了王国俊教授在文[2]中提出的函数决定公式的问题:即满足什么条件的函数可由逻......
【正】 一、前言波普尔(Karl R.Popper,1902—)的基本陈述句(basic statement)在他的科学哲学中扮演极重要的角色。然而,波普尔本......
真值表对假言命题的真值形式的定义不符合假言命题的直观含义。真值表所刻画的是真值形式与其所含命题变元之间的真值函数关系,而假......
在数理逻辑中,对最小联结词组的研究,目前多限于讨论常见的五、六个词组。本文对一个二元联结词和两个二元联结词构成的联结词组进行......
基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价......
以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Godel逻辑系统中选取形如r......
在4个一元16个二元联结词的范围内,给出了由联结词构成的集合的可表出性的概念,处理了联结词集之间的关系并作了一些关于联结词的完......
作为逻辑联结关系的“偶然”是一种特殊的可能:同时也可能不的可能,即,可能不如此的可能,或者说是,有与之不相容的可能情况的可能。......
我国逻辑界对复合命题的定义、选言命题的定义以及不相容选言命题的身份这三个理论问题,有不同的观点.应从"真假决说"角度来定义复......
在Goedel系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类。......
利用纯代数的方法,通过命题公式与多项式方程组的对应关系,再由方程组的解转化为相应的极大项、极小项,最后得到命题公式的主析取......
通过给出Godel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.......
For real-valued functions defined on Cantor triadic ,set. a derivative with corresponding formula of Newton-Leihniz'......
现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特......
<正> 一、客观世界的逻辑结构制约逻辑语义学所讲的客观世界的逻辑结构,如下表:1.个体——真值函数与真值函数关系......
运用逻辑知识分析选言命题的形式及意义,区别3种不同的析取运算,讨论多元不相容命题的逻辑意义。从理论上讲,p1▽p2▽p3在现实中没......
<正> 多值逻辑是二十世纪二十年代出现的一个新的逻辑分支。它与二值逻辑在系统上和应用上有所不同,反应了更复杂的现实关系。也......
针对命题逻辑系统L^*,以及增加一元联结词△后的系统L^*Δ,研究了该逻辑系统有效集的特征,进而以有效集为工具得到公式集F(S)的一类分划,即......
以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式......
分别研究了Godel,Luk,L^*逻辑系统中公式的真度的分布情况,得到了公式的真度集均为[O,1]∩Q的重要结论。......
本文试图以网络描述人的思维过程。在日常推理或专家系统中,规则以不同形式互相连接,一些前提或结论常以“与”关系或者“或”关系相......
<正> 纯真值联结关系是一种客观存在的关系。本文重点讨论客观存在的纯真值联结关系对真值函数关系的完全性问题。真值即真假值,在......
联结词的本质是命题的运算,只有对所有命题都适用的真值函数才能用于定义联结词.概率逻辑中由于命题的内涵相关性,任何[0,1]上的函......
目的研究命题逻辑系统NMG的有效集。方法非经典逻辑的语义理论。结果得到了NMG有效集的特征,进而以有效集为工具得到了公式集F(S)的......
命题的属性包括结构属性和值属性.命题的结构决定了命题之间的关系,决定了命题之间的逻辑运算.命题的真值只是一个由命题的结构决......