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

衍推逻辑　　现代逻辑分支之一。它的一个重要特性是可以消除各种蕴涵怪论。衍推逻辑的早期工作至少可追溯到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有共同的命题变元”),而且可以由衍推“→”来定义模态概念“必然”,从而使得每一个定理都是必然真的命题。因此,衍推逻辑就是相干与必然的逻辑,它既顾及了蕴涵式前、后件之间内容上的联系,也顾及了前、后件之间的必然联系。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	基督教存在主义是什么意思基督教学生运动是什么意思基督教家庭运动是什么意思基督教巴西利卡是什么意思基督教慈善服务是什么意思基督教救世派是什么意思基督教民主主义是什么意思基督教民主党是什么意思基督教民主党国际是什么意思基督教民主/社会联盟是什么意思基督教的本质是什么意思基督教社会主义是什么意思基督教神学是什么意思基督教科学派是什么意思基督教科学派母教堂是什么意思基督教科学箴言报是什么意思基督教艺术是什么意思基督教诺斯替派是什么意思基督教进化论是什么意思基督教青年会是什么意思基督普在论是什么意思基督的代表是什么意思基督纪元是什么意思基督联合教会是什么意思基督论是什么意思 громкий 的意思 громкоговоритель的意思 громкоговоритель 的意思 громкоголосный的意思 громкоголосный 的意思 громкоголосый 的意思 громкоголосый的意思 громкость 的意思 громкость的意思 громовой 的意思深谈深谋远虑深谋远虑的深造深陷的深黄褐色的淳淳厚淳朴淳风