formal logic

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

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

互联网摘选

The development of formal logic and its implementation in computing machinery is fundamental to computer science.

发展形式逻辑和其执行情况的计算机是计算机科学的基础。

互联网摘选

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

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

互联网摘选

This does not render the notion ofinformal logic vacuous, because no formal logic captures all of thenuance of natural language.

这并不使这一概念的非形式逻辑空虚，因为没有正式的逻辑捕捉所有在细微的自然语言。

互联网摘选

Function of truth value table in formal logic

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

互联网摘选

Modern formal logic holding guide ideology of the philosophy that is about dialectical materialism and object theory about logic reveals two independence of apodeictic relation about reasoning between premise and conclusion.

持辩证唯物论逻辑客体说哲学指导思想的当代形式逻辑揭示了推理的前提与结论间的必然关系的两个独立性。

互联网摘选

Formal Logic and the Translation of Scientific English

形式逻辑与科技英语翻译

互联网摘选

And I prove the formal axiomatic system of prepositional logic that is made up of Axiomatic Mode and the Rule of Detachment does not possess syntactic perfectibility.

证明：由公理模式和分离规则构成的命题逻辑公理系统不具有语法完全性。

互联网摘选

Formal Logic Will not Be Superseded by Mathematical Logic

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

互联网摘选

Model checking is a formal method for verifying the temporal logic properties of finite state systems.

模型检测是一种验证有限状态系统的时序逻辑属性的形式化方法。

互联网摘选

The development of the modern formal logic has provided us with an untraditional way to be in search of truth.

现代形式逻辑的发展为我们提供了一种不同于传统的求真方式。

互联网摘选

On the Basic Law Status of Implication Law in 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.

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

互联网摘选

Deductive reasoning, inductive reasoning, and analogical reasoning all belong to the reasoning methods of formal 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.

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

互联网摘选

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

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

互联网摘选

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

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

《现代汉英综合大词典》

A graphical representation of a program using formal logic.

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

互联网摘选

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

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

互联网摘选

In the investigation, first, the description logic is used to express the syntax and semantic of domain ontology and to implement the formal translation of domain onto-logy.

首先采用描述逻辑表达领域本体的语法和语义，实现领域本体的形式化转换；

互联网摘选

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.

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

互联网摘选

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

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

互联网摘选

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

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

互联网摘选