亚里士多德的工具论介入了他的三段论理论，它是带有严格形式的判断(judgement)的逻辑： 断言采用四种形式，“所有 Ps 都是 Q”，“有些 Ps 是 Q”，“没有 Ps 是 Q”，“有些 Ps 不是 Q”。这些断定是两对对偶的算子，并且每个算子都是另一个的否定，亚里士多德用他的对立四边形总结了它们之间的联系。亚里士多德明确的公式化表达了排中律和无矛盾律，尽管这些定律不能在三段论框架内作为断定来表达。
经典逻辑
网络释义专业释义
... 接通逻辑电路 Einschaltlogik 经典逻辑 Klassische Logik 晶体管晶体管逻辑 Transistortransistorlogik ...
基于12个网页-相关网页
-
classical logic - 引用次数：41
Non-classical logic is the theoretical basis of many-valued logic,fuzzy reasoning and fuzzy control. Fuzzy logic is the most active branch of non-classical logic.
非经典逻辑是多值逻辑、模糊推理及模糊控制等的理论基础，模糊逻辑是非经典逻辑中极具活力的一个分支。
参考来源 - 偏序集上的蕴涵代数 -
classical logic - 引用次数：14
Lattice-valued logic is an important kind of non-classical logic and an extension of both classical logic and fuzzy logic.
格值逻辑是一种重要的非经典逻辑，它是经典逻辑和模糊逻辑的推广。
参考来源 - 关于格值逻辑及自动推理的研究
·2,447,543篇论文数据，部分数据来源于NoteExpress
双语例句原声例句
-
这个称为基于经典逻辑的否定。
-
它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.
-
作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。
We believe it's a non-classical logic with philosophical purport or cause.
-
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.
因为与扑克筹码有关的联结,是通过经典条件作用建立的，所以按照这种逻辑,扑克筹码迟早会失去强化物的作用。
应用推荐
$firstVoiceSent
- 来自原声例句