逻辑依据

It innovates not only the contents of theoretical animadversion but also the internal foundation of theoretical system, and thus it is more profound and revolutionary.

这种指向理论的逻辑前提和逻辑基础的反思，属于对构成理论的依据和原则的反思，它不仅改变了理论批判的内容，而且变革了理论之所以为理论的内在根据，这种反思更具深刻性、革命性。

There were rival works of approximately equal capacity and similar organization.

，最符合逻辑的选择是D项，介绍一些可与之抗衡的工厂。D项中的时间也可做依据。

During the development of tools, it is evident that data flow diagram"tool is very necessary for rapidly carding the complex outer and inner data flow of function area, and for solving the problem of researching and analyzing the complex information flow toward the whole enterprise in deed, and for offering important basis and reference for building the information system"s logic model of entir enterprise.The paper especially designed and realized the visual tool of data flow based on Information Resource Planning system.In face visual tool is a strategic data-analysis tool and an important organic part of Information Resource Planning tools.It emphasizes wholly conformity with planning repository and brachylogy and practicality.

结合工具开发，认识到要迅速理清数据在企业各个职能领域之间和内部的复杂流动，要真正解决面向企业整体的复杂信息流调研和分析的问题，必须有数据流工具的支撑，为科学建立整个企业信息系统的逻辑层模型提供重要依据和参考，论文着重进行了基于信息资源规划体系的数据流可视工具的设计与实现，实质上是高层的数据分析工具和信息资源规划工具的有机组成，并且工具与规划元库充分整合，统一标准和规范，强调简明和实用。

The purpose of researching the expressive form of the time's existing in the two-dimensional image is to probe into the abstractive or conceptive expressive pattern when we watch the image, so that we can have a more concrete basis for visual analysis and logic.

而研究时间存在平面图像中的表现形式，其目的在探讨当我们在观看图像时，抽象或概念性的表现型态，能有较具体的依据来做为视觉的分析与逻辑的依循。

A hypothetical syllogism is a syllogism having a conditional statement for one or both of its premises.

定义：前提中包含着假言命题，并且依据假言命题的逻辑性质来进行推演的推理。

Trust is based on the logic,not be compelled and fancied .

信任是有逻辑依据的，不是被迫的和空想的。

In this paper the Karnaugh map for simplifying logic functions is used in computing canonical covers based on the equivalence between the theory of functional dependencies and logic algebra.

本文依据函数依赖理论与逻辑代数对应部分的等价性，引入化简逻辑函数的卡诺图法求函数依赖集的规范覆盖。

Firstly, it studies the definition of implication and its classification, basing on this, deeply analyzes the relations between implication and the connective "if, then" universally used in our ordinary life. Then the article points out that implication is logical abstract to the connective "If, then" used in the natural language. However, because of different understanding and mastering to it, implication may have different classification, it can't be given a right definition. We must master it by all kinds of concrete implications. According to different criterion, implication has different categories. This article mainly discusses its classification from two sides: Ancient Greece and Medieval's and metalogic's.

首先，论文简要地考察了蕴涵概念的界定，指出蕴涵是对自然语言中连接词"如果，则"的逻辑抽象，而对它的意义的不同理解和把握，则可以有不同种类的蕴涵，不能笼而统之地对蕴涵下一定义，只有通过各种具体蕴涵去掌握有关蕴涵的理论；依据不同的分类标准，蕴涵可以有不同的类型，本文主要讨论古希腊及中世纪对蕴涵所作的分类及从记号学这一元逻辑的角度出发对蕴涵作的分类。

We can see that they are both philosophers and logicians, so we may find the grounds of their different kinds of analysis of proper names in first-order and modal logics.

但是应看到，弗雷格、罗素和克里普克不但是哲学家而且也都是逻辑学家，他们的哲学理论都有他们各自的逻辑理论的支持，因此他们对专名的不同分析可以从一阶逻辑与模态逻辑中找到依据。

Trust is based on the logics , not be .

信任是有逻辑依据的，不是被迫的和空想的。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。