逻辑学

In the field of logic such a process is known as induction, in contradistinction to the deduction process that leads to f=ma.

在逻辑学领域中，这样的过程统称为归纳，它与导出f=ma的推演过程截然不同。

Mathematic and logic depend extensively on the deductive method of reasoning .

数学和逻辑学广泛地依靠推理的演绎方法。

Defeasible is mainly used in philosophy, legal philosophy , moral philosophy and logic etc.

可辩驳一词主要用在哲学、法哲学、道德哲学和逻辑学等学科。

In logic: a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident.

逻辑学中；不能证明或反证的命题；其真实性是不证自明的。

Studying and dissolving of these paradoxes will promote the development of decision-making logic as well as social sciences.

对这些悖论的研究和消解将推动社会科学的发展，当然也将推动逻辑学本身的发展。

The characteristics and contribution in this period primarily consist in: the logic merges into an integral whole, making progress from simple analogy to strict deduce, connotate-logic conversing denote-logic, Hetuvidyā handling the question of main phrase broken, its investigative point and dogmata background having variety with Hetuvidyā development.

这时期的特点及贡献主要在于：逻辑学与认知理论融为一体；从简单的类比进展到严格的演绎；内涵性逻辑转化为外延性逻辑；能够处理主词不存在的命题；其研究的侧重点和教理背景随因明理论的进展而有所变化。

It is very related among epistemology, logic and psychology while we are researching student's thinking.

研究儿童的思维活动时，认识论、逻辑学和心理学三者的关系是密切相关的。

The word Boolean is derived from the 19th-century British mathematician George Boole, which, if nothing else, is a great factoid for your next dinner party.

布尔逻辑学是以19世纪英国数学家George Boole的名字命名的。下次晚餐聚会时，如果你没有别的话题可谈的话，大可把这作为很好的谈资来显示你的博学多才。

It's not bound by rigorous standards of logic or formal methods.

它也不被严格的逻辑学或正式规则标准所束缚。

Formal theories such as predicate logic provides us with a powerful tool to guarantee sound reasoning and thinking.

以前的理论比如谓项逻辑学提供了一种合理的推理和思考的工具。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了