Thus, according to the law of non-contradiction, p must be false.

Thus, according to the law of non-contradiction, " not p " must be false, and so, according to the law of the excluded middle, p is true.

0.046 seconds.