Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的,但是二者并不是在任何逻辑中都一致。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
排中律是思维的基本规律之一,它构成古典逻辑中所有证明的基础。
This idea fits with the views of some psychologists, who argue that strict classical logic only plays a small part in the human mind.
这个概念符合一些心理学家的观点,这些心理学家认为严谨的经典逻辑在人类想法中只占很小的部分。
Since the connection with the poker chips is established through classical conditioning, sooner or later by that logic the poker chips would lose their power to serve as reinforcers.
因为与扑克筹码有关的联结,是通过经典条件作用建立的,所以按照这种逻辑,扑克筹码迟早会失去强化物的作用。
Human thinking, as many of us know, often fails to respect the principles of classical logic.
我们所知道的人类思考方式通常不遵守经典的逻辑理论中的原则。
Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic.
将论证理解为语义学概念还是语用学(辩证的)概念是非形式逻辑和经典逻辑的分水岭。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论,正如经典逻辑是真理的形式理论。
The movement concerned itself with the logic of entire Classical volumes, unlike Classical revivalism, which tended to reuse Classical parts.
此一运动关注于整个古典体式的逻辑,而非古典复生主义倾向重新使用古典的成份。
The classical proposition logic is the basis of modern formal logic.
经典命题逻辑是现代形式逻辑的基础。
This paper also explores some rules of inference in classical logic and modal logic, and discusses the validity of these rules of inference in daily life.
与此相关,考察经典逻辑和模态逻辑中的某些推理规则,讨论这些推理规则在日常推理中的有效性问题,是十分必要的。
While pointing out some defects of classical logic, the paper attributes them to substantial implication being directly applied to inference.
提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。
The definition of establishment of mutually inverse proper implication in mutually-inversistic logic is the same as that of material implication in classical logic, but their meanings are different.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。
New institution economics is based on the study of people, system and economic activities and their relationship with the help of the logic and methods of neo-classical economy.
新制度经济学是运用新古典经济学的逻辑和方法来研究人、制度与经济活动以及它们之间的相互关系的经济学。
The paraconsistent logic belongs to the unusual non- classical logic.
次协调逻辑属于异常型的非经典逻辑。
Most musician of Romantic genre would rather emphasize harmonic color and simplex impression than the logic or the form of classical music.
浪漫主义时期的作曲家喜爱单一的效果,强调和声的色彩性,逐渐远离了古典的音乐逻辑和宏大形式。
On the model with reasonable isomorph suppose, a model-based diagnosis is used in program debbuging for logic errors, and compare this model to the other classical models on its advantages.
在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较。
Predicate logic of first order is the most classical calculation system in modern logic.
一阶谓词逻辑是现代逻辑中最为经典的演算系统。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
As we know, contrapositive symmetry is the tautology in classical logic.
众所周知,在古典逻辑中,逆否对称性是永真公式。
In this paper, we try to change an example in classical paradox into the model of analogical study, then discuss and give a solution of knowledge inconsistency using the thought of hypo-logic.
本文试图通过将经典悖论的一个例子转成类比学习中的模型,用次协调的思想对在类比学习中解决知识前后不一致性问题作一些探讨。
We proved that the new paraconsistent tableau algorithm is decidable and has the same reasoning ability with the classical Description Logic over consistent ontologies.
证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
Finn logician Von Wright published the classical essay Deontic Logic in 1951, which marked that modern deontic logic came into being.
1951年芬兰逻辑学家冯·赖特发表了经典性论文《道义逻辑》,标志着现代道义逻辑的诞生。
According to the semi classical model, the transfer characteristics of CMOS type single electron digital logic cells were analyzed by the Monte Carlo simulation.
根据单电子系统半经典模型,采用蒙特卡罗法单电子模拟程序对电容耦合的类CMOS单电子逻辑单元在不同参数条件下的转移特性进行数值模拟。
The theory of Aesthetic Liberation in German classical aesthetics has two characteristics: first, it is a logic result on the basis of the postulated rational essence in human being;
德国古典美学审美解放的理论有两个特点:一,它是基于对人的理性本质公设的逻辑结果;
To inspecting the logic theory of "Jing xia" has also proved that it is very greatly and prosperously about Chinese classical logical thought.
《经下》中逻辑理论的考察也证明了中国古代逻辑思想的丰富。
Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
Whether the classical predicate logic systems with the primitive rule of universal generalization have the strong semantic soundness depends on the restriction of the rule.
将全称概括规则作为初始规则的系统是否限制对该规则的使用可导致系统相对于通常的语义解释是否具有强可靠性。
应用推荐