You arrived at your conclusion using the methods of formal logic.
你这个结论是按照形式逻辑的方法推论出来的。
Many of these researchers study evolution and natural adaptation instead of formal logic and conventional computer programs.
这些研究人员中许多都研究进化和自然适应，而不是形式逻辑和传统的计算机程序。
In terms of formal logic, the problems are the same.
在形式逻辑方面，问题是一样的。
The study of this formal logic undoubtedly has its USES.
对这种形式逻辑的研究，无疑是有用的。
The classical proposition logic is the basis of modern formal logic.
经典命题逻辑是现代形式逻辑的基础。
Formal logic is applied to proving correctness properties of programs in Chapter 8.
第八章介绍应用应用推理等价形式逻辑证明程序正确性。
The division criteria is the formal logic of the roof, which is perfectly meaningless.
空间划分的标准与屋顶的形式逻辑一致，但屋顶的形式却是没有意义的。
People can reconsider various judgments of legal issues by using rules of formal logic.
人们可以运用形式逻辑规则反思关于法律问题的种种判断。
Formal logic allows you to check a logical claim without considering what the claim means.
形式逻辑允许你检查合乎逻辑的索赔而没有考虑到索赔的意思。
It complicates exposition that 'formal' in "formal logic" is commonly used in an ambiguous manner.
它复杂化博览会是'正规'的“形式逻辑”是常用的一种模棱两可的态度。
Formal logic is the study of inference with purely formal content, where that content is made explicit.
形式逻辑是推理的研究与纯粹形式上的内容，其中的内容是明确的。
Therefore, the training of formal logic thinking is a necessity in the teaching of the Western Economics.
因此，在西方经济学教学中，加强大学生的形式逻辑思维培养训练实属必要。
The truth value table is both a kind of logic approach widely used in formal logic and a very useful tool.
真值表是形式逻辑中广泛使用的一种逻辑方法，也是一种非常有用的工具。
Generally speaking, artistic languages more often than not surpass formal logic and stick to its special law.
艺术语言往往突破形式逻辑的规律而有自身特殊的规律。
A legal rule has certain logic in stating the meaning and is different from the formal logic in expressing Law.
法律规则有自身的意思表达逻辑，它不同于法律规定的形式表现逻辑。
There are three kinds of legal reasoning and argumentation paths and models: formal logic, rhetoric and dialogue.
法律论证主要有三种进路和论证模式：形式逻辑、修辞和对话。
The second and third condition in the three conditions have the character of hypothetis judgments of formal logic .
三项条件中的第二项和第三项条件具有形式逻辑的假言判断性质。
This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language.
这并不使这一概念的非形式逻辑空虚，因为没有正式的逻辑捕捉所有在细微的自然语言。
Initialsets of design patterns, styles, best practices, description languages, and formal logic were developed during that time.
最初套设计模式，风格，最佳做法，描述语言，并制定了形式逻辑在这段时间里。
Legal logic USES not only the knowledge of formal logic but the knowledge of dialectical logic language logic an debate logic etc.
法律逻辑不仅运用形式逻辑的知识，还运用辩证逻辑的知识，以及语言逻辑，论辩逻辑等逻辑知识。
Legal logic USES not only the knowledge of formal logic but the knowledge of dialectic al logic language logic an debate logic etc.
法律逻辑不仅运用形式逻辑的知识，还运用辩证逻辑的知识，以及语言逻辑，论辩逻辑等逻辑知识。
These questions do not test the rote recall of facts from outside that passage, isolated vocabulary items, or rules of formal logic.
这些问题不会考查文章以外的具体事例，生僻词句或过于正式逻辑的规则。
Legal logic USES not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识，还运用辩证逻辑的知识，以及语言逻辑，论辩逻辑等逻辑知识。
The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called) which has been discussed above.
在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。
The artistic feature of Franze Kafka's fiction is the conflict and unity between formal logic of narration and significant logic of history.
卡夫卡的小说艺术有一个奇妙的特征，那就是小说叙事形式逻辑与历史意蕴逻辑的对立统一。
An all-around view of legal logic is put forward. Legal logic should contain the application of formal logic in law and the special logic of law.
提出综合性的法律逻辑观点，认为法律逻辑应包括形式逻辑在法律中的运用理论和法律中的特殊逻辑理论两个层次。
Metaphysical method is a scientific method, and formal logic should be reformed by dialectical method as it is the outcome of metaphysical method.
形而上学方法是科学方法，形式逻辑是形而上学方法的产物，故需要接受辩证方法的改造。
We can find that "Needham Puzzle" is a completely worthless pseudo-problem under the strict analysis in line of formal logic with distinct concepts.
我们只要运用概念明晰的形式逻辑方法对之进行严密的逻辑分析，就会发现“李约瑟难题”完全是一个毫无研究价值的“伪问题”。
We can find that "Needham Puzzle" is a completely worthless pseudo-problem under the strict analysis in line of formal logic with distinct concepts.
我们只要运用概念明晰的形式逻辑方法对之进行严密的逻辑分析，就会发现“李约瑟难题”完全是一个毫无研究价值的“伪问题”。
应用推荐