Comment by hackandthink

>the law of the excluded middle, which says something can't be true and false at the same time

This is the not excluded middle, it is the "Law of noncontradiction"

Excluded middle means: either p is true or the negation of p is true

https://en.wikipedia.org/wiki/Law_of_noncontradiction