formal logic的例句大全

Though this formal logic verification, certain problems are found to do exist in SET. Solutions to these problems are also discussed.

该文在此基础上，对SET的整个业务流程进行了严格的逻辑验证，通过形式化逻辑方法的验证，发现了SET协议中存在的一些问题，并对如何解决这些问题进行了初步的探讨。

His analyses and interpretations of I Ching were also much of formal logic.

他对易之道德世界的分析与解释也是极其形式化的逻辑的.

then mojing started to use metalanguage to express their logic theories and the basic laws of formal logic.

后世诸子百家学术争鸣，自《墨经》始用元语言来表达逻辑理论和逻辑规律。

the reason we call it a necessary condition for " " because cadres'new " " may only exist in formal logic.

之所以称其为“必要条件”，是因为“必要条件”可能只存在于形式逻辑中。

You arrived at your conclusion using the methods of formal logic.

你这个结论是按照形式逻辑的方法推论出来的.

As a kind of professional mode of thinking, legal thinking is a reflective thinking using rules of formal logic and should not contravene the general rules of logic thinking.

法律思维是一种职业思维方式，它不能违背一般逻辑思维规律。法律思维是一种运用形式逻辑规则的反省性思维。

Formal Logic and the Translation of Scientific English

形式逻辑与科技英语翻译

subjecting the presumptive logic, the deontic logic and the formal logic embodied in the chinese law to a close analysis, this article explores the ways to retain the three logical structures in question in english translation of the articles of chinese law.

本文通过对汉语法律文本的假定逻辑、道义逻辑和形式逻辑的分析，提出了三种逻辑结构的情况下汉语法律条文的翻译方法。

Rather, he fully affirms the functions of formal logic and the law of identity.

黑格尔在《逻辑学》和《小逻辑》中并没有全盘否定形式逻辑同一律，而是对形式逻辑及同一律的作用给予了充分的肯定。

A graphical representation of a program using formal logic.

应用形式逻辑来图示一个程序。

Tautology, Basic Laws of Formal Logic and Semi-paradox of Logic

重言式、逻辑规律与准逻辑悖论

The formal logic is an basic subject with highly speciality and theory.

形式逻辑是一门专业性强、理论性强的基础学科，又是一门难理解较枯燥的课程。

Deductive reasoning, inductive reasoning, and analogical reasoning all belong to the reasoning methods of formal logic.

演绎推理、归纳推理和类比推理都是形式逻辑的推理方法。

The method of the truth table plays an important role in formal logic subject, especially in the field of compound assigning a topic, which is of judging function.

真值表方法在形式逻辑中占有着重要地位，特别在复合命题中，具有判定作用。

Formal Logic Will not Be Superseded by Mathematical Logic

数理逻辑不能取代形式逻辑

By means of stretching back the predicate judgment and comparing with the traditional formal logic, Husserl showed us a more extensive field of pre-predicative experience.

通过将谓词判断的明见性追溯到前谓词的经验领域，胡塞尔向我们展现了一个比传统形式逻辑范围更加广泛的前谓词经验的领域。

Function of truth value table in formal logic

真值表在形式逻辑中的功能

On the Basic Law Status of Implication Law in Formal Logic

论蕴涵规律在形式逻辑中的基本规律地位

Our normative accounting theory based on our traditional mode of thinking should be normed in formal logic.

基于中国传统思维方式的我国规范会计研究需要规范推理形式和规则。

The truth value table is both a kind of logic approach widely used in formal logic and a very useful tool.

真值表是形式逻辑中广泛使用的一种逻辑方法，也是一种非常有用的工具。