This is called negation and is based on classical logic.
这个称为基于经典逻辑的否定。
The paraconsistent logic belongs to the unusual non- classical logic.
次协调逻辑属于异常型的非经典逻辑。
As we know, contrapositive symmetry is the tautology in classical logic.
众所周知，在古典逻辑中，逆否对称性是永真公式。
We believe it's a non-classical logic with philosophical purport or cause.
作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。
Human thinking, as many of us know, often fails to respect the principles of classical logic.
我们所知道的人类思考方式通常不遵守经典的逻辑理论中的原则。
Medium logic is an non-classical logic system about researching distinct objects and fuzzy objects.
中介逻辑是一种以清晰的和模糊的事物为研究对象的非经典逻辑系统。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
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.
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-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.
这个概念符合一些心理学家的观点，这些心理学家认为严谨的经典逻辑在人类想法中只占很小的部分。
Understanding argument as a semantic conception or as pragmatic conception is the watershed between informal logic and classical logic.
将论证理解为语义学概念还是语用学(辩证的)概念是非形式逻辑和经典逻辑的分水岭。
While pointing out some defects of classical logic, the paper attributes them to substantial implication being directly applied to inference.
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。
To inspecting the logic theory of "Jing xia" has also proved that it is very greatly and prosperously about Chinese classical logical thought.
《经下》中逻辑理论的考察也证明了中国古代逻辑思想的丰富。
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.
与此相关，考察经典逻辑和模态逻辑中的某些推理规则，讨论这些推理规则在日常推理中的有效性问题，是十分必要的。
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.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
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.
因为与扑克筹码有关的联结,是通过经典条件作用建立的，所以按照这种逻辑,扑克筹码迟早会失去强化物的作用。
That means search algorithms based on quantum logic could uncover meanings in masses of text more efficiently than classical algorithms.
这意味着基于量子逻辑的搜索算法能从大量的文字中比传统算法更高效的发现其中的含义。
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.
经典命题逻辑是现代形式逻辑的基础。
How to make classical mathematical logic more flexible to contain various uncertainties and evolution is a new challenge that logics faces.
如何使经典数理逻辑柔性化，以包容各种不确定性和演化，是逻辑学研究面临的新挑战。
This fascinating logic arcade perfectly combines a principle classical Bingo and a dynamical gameplay with destruction of multi-coloured balls.
这迷人的逻辑商场古典完美结合的原则，并与宾果多彩球毁灭动力的游戏。
Continuous first-order logic is an analog of classical first-order logic.
连续一阶逻辑是经典一阶逻辑的一个类比。
Predicate logic of first order is the most classical calculation system in modern 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.
证明了该算法是可判定的，而且在处理协调的本体时该推理系统与经典逻辑系统具有相等的推理能力。
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单电子逻辑单元在不同参数条件下的转移特性进行数值模拟。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
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.
新制度经济学是运用新古典经济学的逻辑和方法来研究人、制度与经济活动以及它们之间的相互关系的经济学。
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.
新制度经济学是运用新古典经济学的逻辑和方法来研究人、制度与经济活动以及它们之间的相互关系的经济学。
应用推荐