查询词典 predicate logic

But that is not true, the logic of the operation of the school support the logic of the operation of the Dan-wei. At the same time, the former also erode the latter's territory.

事实并不完全如此，作为单位的学校之运作逻辑支撑了作为学校的单位之运作逻辑的同时，前者也侵占了后者的&领地&。

According to trip-demand time and space distribution characteristics of urban citizens, the peak-hour trip factor and saturation of road network were chosen as the evaluation indexes, meanwhile the index calculation formulas were given; then on the basis of fuzzy logic theory and index characteristics, the membership functions were established by using fuzzy logic toolbox of MATLAB, and the evaluation results of two indexes were analyzed; Finally, the evaluation process was illustrated by a case study of Yangzhou and the results indicated the validity and practicability of the method presented in this paper.

根据城市居民出行需求的时间分布特性和空间分布特性，选用高峰小时出行系数和高峰小时路网饱和度作为评价指标，同时给出指标计算公式；进而以模糊逻辑理论和指标特性为基础，利用MATLAB中的模糊逻辑工具箱得到隶属度函数图形，并对指标值的评价结果进行了分析；最后，用本文提出的方法对扬州居民出行需求合理性进行评价，表明了该方法的有效性和实用性。

Probability logic is a branch of logic and its theoretical foundation is strictly probability theory, and it has been play a great role in the uncertainty reasoning.

概率逻辑作为逻辑学的一个分支，它以概率论作为其理论基础，在人工智能的不确定推理方面有着重要的应用价值。

Basic formal concepts are explained, the paraphrasing of words into symbols is treated at some length, and a testing procedure is given for truth-function logic along with a complete proof procedure for the logic of quantifiers.

基本形式的概念作了解释，并象征文字意译是处理一些长度，以及一个测试程序，给出了真理的逻辑功能与一个完整的量词逻辑的证明过程。

With regard to this problem, Traditional Logic and Modern Logic have different answers.

对这个问题传统逻辑和现代逻辑有不同的回答。

He explains that humor is based on a logic very different from traditional logic.

他解释说幽默是建立在与传统逻辑截然相反的逻辑上的。

He has broken the traditional logic system structure, and established the modern logic research system.

弗雷格打破了传统逻辑的体系结构，建立了现代逻辑研究体系，开创了对现代逻辑的研究。

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.

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

This matter overthrew all basises I learned from Sunday school .

这件事把我从周日学校学到的所有道理都颠覆了。

It's one of the cruel ironies of aging: if you want to remember your favorite restaurants, the less you should eat at them.

这是一个老化的残酷讽刺：如果你想记住你最喜欢的餐馆，你应该更少吃到它们。