One of the basic principles of logic, the law of excluded middle states that either one of two contradicting statements must be true. There is no third, middle option.
