formal logic

formal logic什么意思,formal logic翻译

基本解释

na.: 形式逻辑
网络: 形式逻辑学；正式逻辑；形式理则

英汉解释

• 〔逻〕形式逻辑

• 形式选辑

例句

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

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

• Formal logic is one of the scientific methods that mature the earliest, and more widely used in all sciences than mathematics.

  形式逻辑的方法是最早成熟的一种科学方法，它比数学方法更广泛地运用于各门科学。

• In this article, the point of combining formal logic with natural language is proposed.

  本文提出形式逻辑要与自然语言相结合的观点。

• Reorganized to fit a grid of formal logic , and meaning was shorn off the appearance of objects in .

  然后进行重组来适应一个形式逻辑的框架；意义也脱离了所知道的客观物体的外观。

• The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called) which has been discussed above.

  在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。

• In terms of formal logic, the problems are the same.

  这两个问题在形式逻辑上其实是同一个问题。

• The manner in which Formal Logic establishes this law sets a bad example to other sciences.

  形式逻辑在阐明这条思维规律时，却对别的科学起了一个坏的榜样。

• a graphical representation of a program using formal logic.

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

• Formal logic is applied to proving correctness properties of programs in Chapter 8.

  第八章介绍应用应用推理等价形式逻辑证明程序正确性。

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

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