众所周知,在古典逻辑中,逆否对称性是永真公式。
As we know, contrapositive symmetry is the tautology in classical logic.
排中律是思维的基本规律之一,它构成古典逻辑中所有证明的基础。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
提出了古典逻辑中的一些缺陷,分析指出这些缺陷最根本的原因是将实质蕴涵直接应用于推理。
While pointing out some defects of classical logic, the paper attributes them to substantial implication being directly applied to inference.
应用推荐