逻辑的

logical idealism

逻辑唯心论

logical ground 逻辑的根据 | logical idealism 逻辑唯心论 | logical identity 逻辑的同一

illogic

不合逻辑; 缺乏逻辑 (名)

illness 疾病; 生病 (名) | illogic 不合逻辑; 缺乏逻辑 (名) | illogical 不合逻辑的; 不合理的 (形)

illogicality

不合理/不和逻辑/矛盾

illogical /不合逻辑的/ | illogicality /不合理/不和逻辑/矛盾/ | illogically /不合逻辑地/

inconsistent

不一致的

一个WFF集为不一致的 (inconsistent) 当且仅当它并不是一致的--没有任何真值赋与可令集内的每一WFF同时为真. 逻辑系统有许多种. 不同的逻辑系统采用的人工语言也不同. 例如,谓词逻辑除包括语句逻辑的语汇外,还包括谓词 (predicates),

logic calculus

逻辑演算

"逻辑的计算机辅助设计","logic CAD" | "逻辑演算","logic calculus" | "逻辑能力","logic capability"

sequential logic circuit

顺序逻辑电路

1.著重於顺序逻辑电路(Sequential logic circuit)的研讨,并针对顺序逻辑基础理论,以浅言式重点说明,辅以实务范例为引导,以简单、迅速的方式,进入顺序逻辑的领域.

logical variable

逻辑变量 IN FOPC(一阶谓词演算)

115 LOGICAL OPERATORS 逻辑运算符/逻辑算子 | 116 LOGICAL VARIABLE 逻辑变量 IN FOPC(一阶谓词演算) | 117 LOGIC - BASED QUESTION ANSWERING 基于逻辑的问答

metalogic

元逻辑

至于专门讨论二者的关系的学问,殷海光认为则应当是"关于逻辑的哲学"( on the philosophy) ,但它却是"元逻辑"(metalogic) ,而非逻辑本身. 殷海光认为,如不能作这种划界,那么就势必会导致研究哲学与逻辑的关联,总是在研究哲学而不是在研究纯逻辑.

logical possibility

逻辑可能性

logical positivism 逻辑实证论 | logical possibility 逻辑可能性 | logical priority 逻辑的先在性

traditional logic

传统逻辑

按其历史发展的不同阶段,通常把它分为传统逻辑(traditional logic)和现代逻辑(modern logic)(吴家国等,1993). 传统逻辑是指从古希腊亚里士多德(Aristotle)开创至19世纪进入现代发展阶段以前所发展起来的形式逻辑体系和理论;现代逻辑的主流是数理逻辑,

Fix, Unfix,Group,Ungroup：(固定, 不固定,成组, 不成组)

Align Components(元件对准) 79 | Fix, Unfix,Group,Ungroup(固定, 不固定,成组, 不成组) 80 | Select Net(选择线网) 80

glycol monoacetate：乙二醇一乙酸酯

glycol lubricant 乙二醇润滑剂 | glycol monoacetate 乙二醇一乙酸酯 | glycol monobenzyl ether 乙二醇一苄醚