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

相干逻辑　　现代逻辑分支之一。它的一个重要特性是可以清除蕴涵怪论。为了消除蕴涵怪论,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的不可判定性。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	潜意识是什么意思潜意识冲突理论是什么意思潜手性是什么意思潜抑是什么意思潜无穷是什么意思潜服是什么意思潜望镜是什么意思潜水是什么意思潜水井是什么意思潜水作业是什么意思潜水医务保障是什么意思潜水医学是什么意思潜水含水层是什么意思潜水员是什么意思潜水呼吸器是什么意思潜水器是什么意思潜水器视觉系统是什么意思潜水服是什么意思潜水泵是什么意思潜水用电子手表是什么意思潜水病是什么意思潜水艇医学是什么意思潜水运动是什么意思潜水钟是什么意思潜水面是什么意思 мятый 的意思 мять 的意思 мять的意思 мяться的意思 мяться 的意思 мяуканье的意思 мяуканье 的意思 мяукать 的意思 мяукать的意思 мяукнуть 的意思 pipeful pipe in pipelaying pipeline pipelined pipelines to the effect to the effect that to the end to the end of time