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

衍推逻辑　　现代逻辑分支之一。它的一个重要特性是可以消除各种蕴涵怪论。衍推逻辑的早期工作至少可追溯到1956年阿克曼(WilhelmAckermann,1896—1962)在《严密蕴涵基础》一文中建立的几个逻辑系统。在修改阿克曼系统的基础之上,20世纪50年代末逻辑学家安德森(A.R.Anderson)和贝尔纳普(N.D.Belnap)建立了衍推命题逻辑系统E和带量词的系统EQ。在衍推逻辑中,不仅“相干原理”成立(即“A→B作为定理的必要条件是A、B有共同的命题变元”),而且可以由衍推“→”来定义模态概念“必然”,从而使得每一个定理都是必然真的命题。因此,衍推逻辑就是相干与必然的逻辑,它既顾及了蕴涵式前、后件之间内容上的联系,也顾及了前、后件之间的必然联系。

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

字词	衍推逻辑
释义	衍推逻辑数理化力学卷衍推逻辑　　现代逻辑分支之一。它的一个重要特性是可以消除各种蕴涵怪论。衍推逻辑的早期工作至少可追溯到1956年阿克曼(WilhelmAckermann,1896—1962)在《严密蕴涵基础》一文中建立的几个逻辑系统。在修改阿克曼系统的基础之上,20世纪50年代末逻辑学家安德森(A.R.Anderson)和贝尔纳普(N.D.Belnap)建立了衍推命题逻辑系统E和带量词的系统EQ。在衍推逻辑中,不仅“相干原理”成立(即“A→B作为定理的必要条件是A、B有共同的命题变元”),而且可以由衍推“→”来定义模态概念“必然”,从而使得每一个定理都是必然真的命题。因此,衍推逻辑就是相干与必然的逻辑,它既顾及了蕴涵式前、后件之间内容上的联系,也顾及了前、后件之间的必然联系。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	纳米氧化锌是什么意思纳米涂层是什么意思纳米生物学是什么意思纳米生物技术是什么意思纳米电子学是什么意思纳米矿物学是什么意思纳米硅是什么意思纳米碳储氢是什么意思纳米碳管是什么意思纳米管是什么意思纳米管力学是什么意思纳米纤维是什么意思纳米荧光粉是什么意思纳米陶瓷是什么意思纳米颗粒是什么意思纳粟是什么意思纳粹主义是什么意思纳粹党是什么意思纳粹教育是什么意思纳纳是什么意思纳维是什么意思纳维-斯托克斯方程是什么意思纳罕是什么意思纳罗科夫是什么意思纳聘是什么意思 высмотреть 的意思 высов 的意思 высов的意思 высовывать 的意思 высовывать的意思 высовываться的意思 высовываться 的意思 высокая的意思 высокая 的意思 высокий 的意思 have two faces have two left feet have two strikes against one have two strings to one's bow have ... under observation have up have ... up one's sleeve have ... upon one's mind have what it takes have wide interests