laws of classical logic
经典逻辑定律
以上为机器翻译结果，长、整句建议使用 人工翻译 。
The law of excluded middle is one of the basic laws of thought, which underlies all demonstrations in the classical logic.
排中律是思维的基本规律之一，它构成古典逻辑中所有证明的基础。
youdao
应用推荐
模块上移
模块下移
不移动