Much constructive mathematics uses intuitionistic logic, which is essentially classical logic without the law of the excluded middle which states that for any proposition, either that proposition is true, or its negation is.
Much constructive mathematics uses intuitionistic logic. Intuitionistic logic is essentially classical logic without the law of the excluded middle. This excluded middle states. Proposition is true. This is what these middle states for any proposition. This is either. Its negation is.