查询词典 classical logic

Traditional logic is a 2-valued logic, but there are a lot of problems that cannot be solved by it.

传统逻辑是二值的，对诸如未来偶然命题，这种逻辑是解决不了的，这说明传统逻辑具有一定的局限性。

In view of the difference on the basic standpoint, traditional logic was criticized and denied by experimental logic.

国人在二三十年代对试验逻辑的推崇以及对传统逻辑的排斥是有一定原因的

Traditional logic and modern logic have some defects in analyzing the hypothetical proposition of natural language.

传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。

According to the above frame of concept, this paper in detail carried out logic comparison of Chinese traditional ethics with market logic

按照以上概念框架，本文对中国传统伦理与市场逻辑进行了详尽的逻辑比较

In chapter 6, based on the analysis of traditional fuzzy logic control, a new fuzzy logic controller which is realized by DIFNN is proposed, and the training data acquirement, the on-line and off-line learning algorithm, the stability of control system is analyzed in detail.

在第六章，在分析传统模糊控制的基础上，提出了一种由模糊神经网络实现的自适应模糊控制器，详细分析了训练数据的获取方式，控制器的在线学习方法，离线学习方法和控制系统的稳定性，最后给出了一仿真实例。

First kind of logic is a logic that deals with conditionals with double conditions for aim and background knowledge.

第一类逻辑是处理以目的和背景知识为双条件的条件句的逻辑。

The complex situations brought about by the emendations of logic to history or the debate on the identity of logic and history will not affect it or change it.

逻辑对历史的&修正&的各种复杂情况，逻辑与历史是否一致的各种争论，都没有影响到或改变这一点。

Language righteousness checked without any error, we can get table name and the corresponding fields names. The paper adopts the stack to realize calculating the logic expressions type. Through the value of the logic expressions, we can check whether conditions in the QL establish or not.

语义检查无误后，经分析可以得到表名和相应的列名，用栈来实现布尔表达式的求值等，布尔表达式的计算结果，用以检查条件是否成立，为事务处理提供函数接口，以便进行正确的查询。

Language righteousness checked without any error, we can get table name and the corresponding fields names. The paper adopts the stack to realize calculating the logic expressions type. Through the value of the logic expressions, we can check whether conditions in the QL establish or not. And we pass the result to the tranction disposal layer which can deal with the right search.

语义检查无误后，经分析可以得到表名和相应的列名，用栈来实现布尔表达式的求值等，布尔表达式的计算结果，用以检查条件是否成立，为事务处理提供函数接口，以便进行正确的查询。

CPLD is a programmable logic device that includes a reprogrammable interconnect between the logic blocks.

&复杂可编程逻辑器件&是一种在逻辑模块之间具有可编程互联的可编程逻辑器件。

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？