“自然推理系统”的意思、用法、组词造句及英语翻译-汉语字词典-修远网

字词	自然推理系统
释义	自然推理系统数理化力学卷自然推理系统　　亦称“自然推演系统”、“自然演绎系统”。采取自然推理的方式构造的形式系统。第一个现代逻辑的自然推理系统是根岑(GerhardGentzen,1909—1945)于20世纪30年代建立的。出处：数理化力学卷 • 数　　学 • 数理逻辑 • 数学基础
随便看	赶趟是什么意思赶路是什么意思赶闲是什么意思赶集是什么意思赶鞘是什么意思赶鸭子上架是什么意思起是什么意思起下钻是什么意思起义是什么意思起义者是什么意思起予是什么意思起事是什么意思起付标准是什么意思起付线是什么意思起付线法是什么意思起伏是什么意思起伏地是什么意思起伏式互换是什么意思起偏器是什么意思起偏角是什么意思起先是什么意思起兴是什么意思起兵是什么意思起初是什么意思起刮刀是什么意思 партийный的意思 партикулярный 的意思 партикулярный的意思 партитура 的意思 партитура的意思 партия的意思 партия 的意思 партия-плавка 的意思 партия-плавка的意思 партком 的意思 lest Lester lestobiosis lestobiotic lest ... should Lesvos -let let let-alone let ... alone

修远网汉语字词典收录72225条汉语词条，基本涵盖了全部常见汉语字词的翻译、注释及用法释义，是语文学习的有利工具。