查询词典 classical logic

Fuzzy logic articulate boundaries are not clear qualitative knowledge and experience, which by means of the membership function concept to distinguish between fuzzy sets to deal with fuzzy relations, simulated human brain implementation of the rule-based reasoning, address the "law of excluded middle," the logic of breaking produced by various non-...

模糊逻辑善于表达界限不清晰的定性知识与经验，它借助于隶属度函数概念，区分模糊集合，处理模糊关系，模拟人脑实施规则型推理，解决因"排中律"的逻辑破缺产生的种种不。。。

To the at present prevailing invalid view in three value logic of three law about the thinking law, this text set out from dialectics about the dialectical relation principle of the universality and particularity , think the law of identity , law of contradiction , law of excluded middle are for guaranteeing the universal law of people's correct thinking has general guidance functions to human thinking , will not lose efficiency in this concrete scientific field of thinking of three value logic

针对时下流行的关于思维规律前三律在三值逻辑中失效的观点，本文从辩证法关于普遍性与特殊性的辩证关系原理出发，认为同一律、矛盾律、排中律是为了保证人们正确思维的普遍规律对人类思维具有普遍指导作用，不会在三值逻辑这一具体的思维科学领域内失效

The generally acknowledged truth of traditional logic isn′t the generally acknowledged truth of the traditional logic syllogism ;It isn′t get the law of identity,the law of contradiction,the law of excluded middle and the law of sufficient reason;It isn′t still the two complete formula of Celarent in Aristotle′s system.

传统逻辑的公理不是传统逻辑的三段论的公理，也不是同一律、矛盾律、排中律和充足理由律，还不是亚里士多德系统中第一格的两个全称式。

In studying English, the following basic logic laws should be mastered: Syllogism, Deductive Reasoning, Law of Identity, Law of Contradiction, Law of Excluded Middle, Law of Sufficient Reason. One should avoid making the following logic errors: four terms, the undistributed middle term, looking on one-sidedne...

在英语学习中，要掌握最基本的逻辑规律：三段论；演绎推理；归纳推理；同一律；矛盾律；排中律和充分理由律，就能避免犯以下逻辑错误：四名词；中项不周延；以偏概全；偷换概念；自相矛盾；两不可；虚假理由。

Quantifier is one of key conceptions in logic, especially in modern logic. It always plays an important role in logical analysis and linguistical analysis.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

Expressing constraints by logic formulae, we can reason the other constrains of system through logic calculus.

遵循SOP方法学原则，我们设计了抽象数据定义语言ADL和过程控制语言PCL。

In order to describe the dynamic and complicated process model exactly, we propose the logic situation calculus based on the expanding the situation calculus and describe the virtual enterprise in this formal logic framework.

为了准确地描述虚拟企业这种动态的、复杂的建模过程，我们对情景演算这种形式化逻辑框架进行扩展，提出了逻辑情景演算，并以逻辑情景演算来描述虚拟企业的运作过程。

In chapter 2, to meet the application requirements of incomplete information system, based on propositional connectives ∧、∨、→、ヲ、～ and ～, we construct medium logic propositional calculus system MP〓 and medium logic predicate calculus system MF〓.

第一章：简要说明不完全信息数据库和模糊数据库研究的目的和意义，介绍中介逻辑和模糊数据库的发展、模糊数据库系统的特性以及本文的主要研究工作。

The similarity logic calculus systems based on incomplete information and incomplete case knowledge is constructed by using a first order modal logic and a simplified second order predicate calculus. The grammar、semantics and inference rule are described.

采用传统的一阶模态谓词逻辑和简化的二阶谓词逻辑分别构建了基于信息不完整和实例知识不完整的相似性逻辑演算系统IISL和IKSL，给出了系统的语法、语义和推理规则。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

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天中的每一天。