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

衍推逻辑　　现代逻辑分支之一。它的一个重要特性是可以消除各种蕴涵怪论。衍推逻辑的早期工作至少可追溯到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有共同的命题变元”),而且可以由衍推“→”来定义模态概念“必然”,从而使得每一个定理都是必然真的命题。因此,衍推逻辑就是相干与必然的逻辑,它既顾及了蕴涵式前、后件之间内容上的联系,也顾及了前、后件之间的必然联系。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	远期外汇是什么意思远期外汇合约是什么意思远期差价是什么意思远期汇率是什么意思远期结售汇是什么意思远期股票合约是什么意思远期贴水是什么意思远期运费协议是什么意思远来和尚好看经是什么意思远水不救近火是什么意思远水不解近渴是什么意思远洋捕捞是什么意思远洋捕捞业是什么意思远洋船是什么意思远洋进攻战略是什么意思远游是什么意思远游冠是什么意思远点是什么意思远猷是什么意思远生遗著是什么意思远略是什么意思远眺是什么意思远祖是什么意思远离众人是什么意思远程仓储是什么意思 резьбонакатывание 的意思 резьбонакатывание的意思 резьбонарезание的意思 резьбонарезание 的意思 резьбонарезной的意思 резьбонарезной 的意思 резьбообрабатывающий的意思 резьбообрабатывающий 的意思 резьборез的意思 резьборез 的意思 How often? how old How on earth ...? Howrah how's How so? how so howsoever How's that? How's tricks?