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

衍推逻辑　　现代逻辑分支之一。它的一个重要特性是可以消除各种蕴涵怪论。衍推逻辑的早期工作至少可追溯到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有共同的命题变元”),而且可以由衍推“→”来定义模态概念“必然”,从而使得每一个定理都是必然真的命题。因此,衍推逻辑就是相干与必然的逻辑,它既顾及了蕴涵式前、后件之间内容上的联系,也顾及了前、后件之间的必然联系。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	全日制高等教育是什么意思全日本航空公司是什么意思全日潮是什么意思全日照间歇喷雾育苗法是什么意思全明散曲是什么意思全明星赛是什么意思全明词是什么意思全景是什么意思全景山水是什么意思全景画是什么意思全景畸变是什么意思全曲率是什么意思全有全无分配法是什么意思全权代理是什么意思全权代表是什么意思全权许可证是什么意思全权证书是什么意思全权限数字式发动机控制系统是什么意思全桥是什么意思全桥连接是什么意思全椒是什么意思全概率公式是什么意思全横向通风是什么意思全民健身计划纲要是什么意思全民公决是什么意思 автосъём的意思 автосъём 的意思 автосьем 的意思 автосьем的意思 автотаймер 的意思 автотаймер的意思 автотачка的意思 автотачка 的意思 автотележка 的意思 автотележка的意思 in the year dot in the year of our Lord 1999 in the year one in-thing in this behalf in this case in this connection in this context in this regard in this way