“相干逻辑”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

相干逻辑　　现代逻辑分支之一。它的一个重要特性是可以清除蕴涵怪论。为了消除蕴涵怪论,1950年中国逻辑学家莫绍揆提出了一个纯蕴涵系统,1951年丘奇(A.Church,1903—1995)建立了另一个与之等价的系统,它们是以后发展起来的相干命题逻辑系统R的纯蕴涵部分。相干逻辑正式建立于20世纪60年代,逻辑学家安德森(A.R.Anderson)和贝尔纳普(N.D.Belnap)先后构造了相干命题逻辑系统R和带量词的系统RQ。由于相干逻辑顾及到蕴涵式前、后件之间(由命题变元的共同出现所体现的)内容上的联系,因而能避免各种蕴涵怪论。然而相干逻辑并没有顾及蕴涵式前、后件之间的必然联系,选言推理((p∨q)∧7p)→q亦不是系统R的定理。相干逻辑的语义于20世纪70年代建立,它既有克里普克语义,亦有代数语义。80年代又证明了系统R的不可判定性。

出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础

字词	相干逻辑
释义	相干逻辑数理化力学卷相干逻辑　　现代逻辑分支之一。它的一个重要特性是可以清除蕴涵怪论。为了消除蕴涵怪论,1950年中国逻辑学家莫绍揆提出了一个纯蕴涵系统,1951年丘奇(A.Church,1903—1995)建立了另一个与之等价的系统,它们是以后发展起来的相干命题逻辑系统R的纯蕴涵部分。相干逻辑正式建立于20世纪60年代,逻辑学家安德森(A.R.Anderson)和贝尔纳普(N.D.Belnap)先后构造了相干命题逻辑系统R和带量词的系统RQ。由于相干逻辑顾及到蕴涵式前、后件之间(由命题变元的共同出现所体现的)内容上的联系,因而能避免各种蕴涵怪论。然而相干逻辑并没有顾及蕴涵式前、后件之间的必然联系,选言推理((p∨q)∧7p)→q亦不是系统R的定理。相干逻辑的语义于20世纪70年代建立,它既有克里普克语义,亦有代数语义。80年代又证明了系统R的不可判定性。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	德库罗是什么意思德弗罗是什么意思德弗里斯是什么意思德彪西是什么意思德心是什么意思德怀特是什么意思德性之后是什么意思德性之知是什么意思德惠是什么意思德意是什么意思德意同盟条约是什么意思德意志是什么意思德意志一八四八年革命是什么意思德意志与尼德兰绘画史是什么意思德意志人是什么意思德意志保守党是什么意思德意志全国同盟是什么意思德意志共和国宪法是什么意思德意志关税同盟是什么意思德意志农民战争是什么意思德意志制造联盟是什么意思德意志劳动阵线是什么意思德意志国家党是什么意思德意志帝国是什么意思德意志帝国党是什么意思 разрыхлитель 的意思 разрыхлитель-аэратор 的意思 разрыхлитель-аэратор的意思 разрыхлитель-дезинтегратор 的意思 разрыхлитель-дезинтегратор的意思 разрыхлить 的意思 разрыхлить的意思 разрыхлять 的意思 разрыхлять的意思 разряд 的意思元勋元宝元宵元宵节元帅元数学元旦元朝元气元气大伤