This is called negation and is based on classical logic.
这个称为基于经典逻辑的否定。
Human thinking, as many of us know, often fails to respect the principles of 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.
这个概念符合一些心理学家的观点，这些心理学家认为严谨的经典逻辑在人类想法中只占很小的部分。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
The paraconsistent logic belongs to the unusual non- classical logic.
次协调逻辑属于异常型的非经典逻辑。
As we know, contrapositive symmetry is the tautology in classical logic.
众所周知，在古典逻辑中，逆否对称性是永真公式。
Material and logical implication coincide in the classical logic, however they do not coincide in every logics.
实质蕴涵与逻辑蕴涵在经典命题逻辑中是一致的，但是二者并不是在任何逻辑中都一致。
Now, studies about fuzzy logic, quantum logic and the corresponding algebra systems are very active in non-classical logic.
模糊逻辑与量子逻辑以及它们相应的代数系统是目前非经典逻辑体系中非常活跃的研究分支。
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.
提出了古典逻辑中的一些缺陷，分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。
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.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
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.
互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样，都是三真一假的真值表，但含义却不尽相同。
应用推荐