1)Metalogic[met?'l?d?ik]元逻辑
1.Both types of unorthodoxy result in contentious ways of doing metalogic,for instance through unfamiliar restrictions on deduction or unfamiliar freedoms of expression.两种类型的非正统导致在元逻辑研究方式上的争论。
英文短句/例句
1.logical algebraic equatin with two unknowns二元逻辑代数方程式
2.A Multicell-Type Logic (DYL) 12 bit×12 bit Super High Speed Multiplier多元逻辑12位×12位超高速乘法器
3.The arithmetic logic unit (ALU), which performs arithmetic and logical operations.算术逻辑单元，用来进行算术逻辑运算。
4.Josephson tunnel logic约瑟夫逊隧道逻辑元件
5.static logic diode element静态逻辑二极管元件
6.static logic transistor element静态逻辑晶体管元件
7.BILE (Balanced Inductor Logical Element)平衡式感应器逻辑元件
8.balanced inductor logical element平衡式感应逻辑元件
9.Logical Valid Concept:One-dimensional or Multi-dimensional--Toulmin's Logic Valid Thought Evaluation逻辑有效性概念:一元还是多元——图尔敏的逻辑有效性思想评析
10.a logic element that performs a threshold operation.能够进行开端操作的逻辑元件。
11.Logical failure is experienced when cell delineation is lost.而逻辑失效出现在信元轮廓丢失时。
12.Research on the logic of multiple modernities explained by Eisenstadt;论艾森斯塔特阐释多元现代性的逻辑
13.An Analysis of the Logical Semantics of the Content of the New Year s Day Editorials in "the Great Cultural Revolution;“文革”元旦社论话语的逻辑语义分析
14.Computing Most Specific Concept in Description Logic with n-Ary Existential Quantifier带n-元存在量词的描述逻辑MSC推理
15.Light Controlled MOBILE with the RTD/HPT StructureRTD/HPT光控单-双稳转换逻辑单元
16.logical consistency逻辑兼容，逻辑一致性
17.the quality of being consistent with or based on logic.基于逻辑或与逻辑相符。
18.logic of understanding and logic of reason知性逻辑与理性逻辑
相关短句/例句
duality logic二元逻辑
3)Logical elements逻辑元件
4)logical map u逻辑图元
1.By defining logical map units,the paper presents with a mechanism to correlate the map units to their information.引入了逻辑图元的概念 ,并建立了以逻辑图元为纽带的底图图元和图元属性信息的关联机
5)Logical NE逻辑网元
6)logic primitive逻辑基元
延伸阅读
元逻辑元逻辑meta-logic 元逻辑〔n犯怕确禅c;MeT姗『“Kal 在某种元理论(nrta~th“〕卿)的框架内对形式公理理论进行讨论所使用的逻辑.在数学基础中，人们时常对元理论加上一些特殊的要求，这关系到否定某些通常的数学抽象，目的是改进元理论在哲学上的可接受性.例如，实无穷的抽象(a比坛那tion of actual infil五-ty)，与悖论(ant丘旧my)的出现相关的抽象推理等都是受到批评的数学抽象.一般说来，这就导致使用不同于经典逻辑的逻辑，例如模态逻辑(m以为】10乡c)或者当元理论是建立在直觉主义(淑山石。n侣们n)框架中时，使用直觉主义逻辑. 另一方面，在证明论(proof theory)中，我们用不加任何限制的传统数学方法来研究直觉主义逻辑和其他非经典逻辑的理论，例如用集合论方法来研究它们.在这种情况下，经典逻辑就起着元逻辑的作用. A.r.八para亚皿撰卢景波译
