formal logic

na.形式逻辑

网络释义：形式逻辑学；正式逻辑；形式理则

网络释义

na.1.形式逻辑

n.1.the branch of logic concerned with the formal methods of deducing conclusions from propositions

1.形式逻辑 0528056 美术鉴赏 Artistic Appreciation 0528057 形式逻辑学 Formal Logic ...

3.正式逻辑形式演绎期(Formal Deduction)或 形式逻辑的(formal logic)层次。

6.正规逻辑 verification of software 软体验证 formal logic 正规逻辑 axiom 公理 ...

7.在形式逻辑中>在形式逻辑中（formal logic），>您的这个三段论是无效的。

1.The reason we call it a necessary condition for " " because cadres'new " " may only exist in formal logic.之所以称其为“必要条件”，是因为“必要条件”可能只存在于形式逻辑中。

2.Formal logic is one of the scientific methods that mature the earpest, and more widely used in all sciences than mathematics.形式逻辑的方法是最早成熟的一种科学方法，它比数学方法更广泛地运用于各门科学。

3.In this article, the point of combining formal logic with natural language is proposed.本文提出形式逻辑要与自然语言相结合的观点。

4.Reorganized to fit a grid of formal logic , and meaning was shorn off the appearance of objects in .然后进行重组来适应一个形式逻辑的框架；意义也脱离了所知道的客观物体的外观。

5.The Formal Logic itself confirms this assumption by laying down the supreme law of thought (so-called) which has been discussed above.在提出我们上面曾讨论过的（所谓）思维的最高规律时，形式逻辑却正好确认了这一前提。

6.In terms of formal logic, the problems are the same.这两个问题在形式逻辑上其实是同一个问题。

7.The manner in which Formal Logic estabpshes this law sets a bad example to other sciences.形式逻辑在阐明这条思维规律时，却对别的科学起了一个坏的榜样。

8.a graphical representation of a program using formal logic.应用形式逻辑来图示一个程序。

9.Formal logic is appped to proving correctness properties of programs in Chapter 8.第八章介绍应用应用推理等价形式逻辑证明程序正确性。

10.His analyses and interpretations of I Ching were also much of formal logic.他对易之道德世界的分析与解释也是极其形式化的逻辑的。