| EXAMPLE SENTENCES | ||
|---|---|---|
离散数学中的逻辑演算有着广泛的应用，特别是在信息处理方面。 Logic calculus of Discrete Mathematics has comprehensive application, in particular, on information handling. | ||
介绍了命题逻辑演算方法。 This paper introduces a method for propositional logic calculation. | ||
借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。 Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation. | ||
我不是仅仅讲一个会计演算。 I am not saying just an accounting exercise. | ||
因此我演算，它必须是我的爸爸。 So I figured it had to be my daddy. | ||
在数理逻辑中研究的主要对象是各种演算。 In mathematical logic in the study is the main target of all kinds of calculus. | ||
他的“逻辑”与凡间的逻辑相悖。 His "logic" defies mortal reason. | ||
古老的三体问题在进行充分的演算后，加以解决了。 The old three-body problem is solved by doing enough arithmetic. | ||
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。 Both one-predicate logic and the class logic can not express all characteristics of traditional lexical item logic. | ||
内容包括逻辑真值表，逻辑函数式，卡诺图。 The Maximum Formula of Logic Function and Its Simplification of Karnaugh Diagram; | ||
