跳到主要内容

排中律是经典逻辑中的基本原则之一。

The law of excluded middle is one of the basic principles of classical logic.