So the consructine logic just negates the form which the law of exclueleel middlle is in the classical logic.

• 所以，构造性逻辑只是在形式上而非实质上否定了排中律。