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.
在形式逻辑方面,问题是一样的。
Formal logic is applied to proving correctness properties of programs in Chapter 8.
第八章介绍应用应用推理等价形式逻辑证明程序正确性。
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.
形式逻辑允许你检查合乎逻辑的索赔而没有考虑到索赔的意思。
While demonstration is the thinking manner of formal logic, argumentation is that of informal logic.
论证是一种非形式逻辑的思维方式。
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 .
三项条件中的第二项和第三项条件具有形式逻辑的假言判断性质。
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.
提出综合性的法律逻辑观点,认为法律逻辑应包括形式逻辑在法律中的运用理论和法律中的特殊逻辑理论两个层次。
There have been many different methods of art classification in the history, but most of them were resulted from the thinking pattern of formal logic.
在艺术分类史上,艺术分类方法多种多样,但大多数都是停留在形式逻辑的思考水平上。
In formal logic, a contradiction is the signal of defeat, but in the evolution of real knowledge it marks the first step in progress toward a victory.
——Alfred NorthWhitehead在形式逻辑中,矛盾是失败的信号,但是在真知的形成过程中,矛盾则标志着朝着胜利迈出的第一步。
The logistic form of resemble judgement, discursion were also into the Chinese ancient painterly theory , but it's different from western formal logic.
中国古代画论中同样存在类似判断、推理等逻辑形态,但它不同于西方的形式逻辑。
The unique feature of Mo-tse's education thoughts covers the aspects of moral education, practical education, formal logic and scientific technology, etc.
墨子教育思想的独特性涉及道德教育、实践教育、形式逻辑和科学技术等方面。
The structures of simple systems can be given a complete and consistent logical analysis and expression by formal logic, but those of complicated systems can not.
形式逻辑可以对简单系统的结构作出协调而完备的逻辑分析和逻辑表达,但不能对复杂系统的结构作出协调而完备的逻辑分析和逻辑表达。
The thinking method of formal logic is always emphasized by continental law system, and it's used to construct the internal system of civil law as a basic method.
大陆法系侧重于形式逻辑的思维方式,并在此基础上进行民法规范内部体系的构建。
Category for secondary process, ways of thinking, strictly follow the grammar and the formal logic, follow the space-time norms, alleviate their instincts impulse.
一类为继发过程,思维方式严格地遵循语法和形式逻辑,遵循时空规范,缓解自己本能的冲动。
Category for secondary process, ways of thinking, strictly follow the grammar and the formal logic, follow the space-time norms, alleviate their instincts impulse.
一类为继发过程,思维方式严格地遵循语法和形式逻辑,遵循时空规范,缓解自己本能的冲动。
应用推荐