查询词典 logical

The debater's argument failed of logical connection.

辩论者的论点缺少逻辑上的连贯性。

"I have studied the development of the last decennium and believe this is a logical development where I have tried to create shapes where controlled sculptural surfaces meets dynamic graphical break-ups", says Daniel Paulin , CEO and Creative Director of Paulin Motor Company.

"我学的发展上令人发指，并认为这是一个符合逻辑的发展，而我曾尝试创造形状如控制雕塑表面会见动态图形碎裂"，丹尼尔说，在会上，总裁兼创意总监在会上汽车公司。

Section 6.2 decidability of logical theories Section 6.2

其余未列出的部分要求深入掌握（能作题目或作难题，通过考试

All of the knowledge in CYC is represented declaratively in the form of logical assertions.

CYC中所有的知识都以逻辑声明的形式表示。

Declaratively packaging activities into the service enables us to consume our service by business logical model in the business-to-business fashion.

服务性声明的方式包装活动，使我们能够在商业消费的服务的商业逻辑模型对企业的方式。

Knowledge in CYC is represented declaratively in the form of logical assertions. CYC contains+ over 400; 000 significant assertions [45], which include simple statements of fact, rules about+ what conclusions to draw if certain statements of fact are satisfied, and rules about how

CYC包含400，000多个关键声明，这其中包含对事实的简单陈述，关于满足特定事实陈述时得出何种结论的规则，以及关于通过一定类型的事实和规则如何推理的标准。

On the second part, we investigate a decomposition formula of spectrum of a class of m-valued logical functions.

第二部分研究环上逻辑函数的谱分解式及其在多维广义Bent函数构造中的应用。

Logic an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another.

内部所有的命题都不具有可逆性一个逻辑系统所具有的属性。

Frege's thought of philosophy of logic is the theoretical support ofhis thought system.A new logical system created by Frege is the support of his thoughtof philosophy of logic.As a tool of proof and a deductive method,it is used not only tosolve the mathematical problems but also used as a tool to remould philosophy.

弗雷格的逻辑哲学思想是他的思想体系的理论支撑，他创造的一种新的逻辑体系是其逻辑哲学思想的支撑，作为论证工具、推论方法，不仅去解决数学问题，又把它作为改造哲学的有力工具。

Though analogical reasoning having a form of logical deduction,it is a defeasible and argumentative justification in essence.

因此，虽然类推适用具有逻辑推论的形式，但其实质是一种可辩驳的论辩性论证。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。