查询词典 deduction

JOBBER：股票经销商

1979 income deduction 收益扣减项目 | 2192 jobber 股票经销商 | 2193 job-order costing 订单成本计算法

law of cosines：余弦定律

law of composition 合成律 | law of cosines 余弦定律 | law of deduction 演绎定律

law of deduction：演绎定律

law of cosines 余弦定律 | law of deduction 演绎定律 | law of double negation 双重否定律

logarithmic table：对 表

logarithmic scale 对 尺,对 尺 | logarithmic table 对 表 | logical deduction 辑推断, 辑演绎

minimum wage：保底工资

浮动工资 floating wage | 保底工资 minimum wage | 提成工资 deduction wage

Nativism and Nativistic Movement：本土主义与本土运动,排外主义与排外运动

Native Exegesis 土著释义895 | Nativism and Nativistic Movement 本土主义与本土运动,排外主义与排外运动22 | Natural Deduction 自然演绎,自然推理,自然推导1228

natural isomorphism：自然同构

"最小距离","minimum distance" | "自然同构","natural isomorphism" | "自然推理系统","natural deduction system"

perform, play：演奏

演绎,deduction | 演奏,perform, play | 引渡,delivery

predicate logic：述詞邏輯

本课程置重点於命题逻辑(prepositional logic)及述词逻辑(predicate logic)中自然演绎法(natural deduction)上. 在本课程中,学者们将会学到一些逻辑的基本观念与技巧,诸如有效性(validity)、真值表(truth-table)、语意树枝及推论规则等等.

ratiocination：推理

● 推理(Ratiocination)法:推理是由一个或几个已知的判断推出一个新的判断的思维形式. ● 归纳(Induction)法:归纳是从个别对象中概括出一般的原理的逻辑方法. ● 演绎(Deduction)法:演绎是从一般的原理中推断出个别结论的逻辑方法.

at sb.'s disposal; in sb's disposal：任某人处理

at rest 宁静的,安静的,过世了的 | at sb.'s disposal; in sb's disposal 任某人处理 | at sb's service 听某人吩咐

Unionism：工会主义;工联主义

Unionist:工会主义者 | Unionism: 工会主义;工联主义 | Unitive:团结的,倾向于团结的